这是一个创建于 2844 天前的主题，其中的信息可能已经有所发展或是发生改变。
我现在有如下程序：
location_set(1, 2).
location_set(1, 3).
location_set(1, 4).
init :-
location_set([X, Y]),
assert( location([X, Y]) ).
然而这样执行了以后， KB 里只有 location(1, 2).。那么，如果我想把所有符合 location_set([X, Y]).的都 assert ，应该怎么做呢？
location_set(1, 2).
location_set(1, 3).
location_set(1, 4).
init :-
location_set([X, Y]),
assert( location([X, Y]) ).
然而这样执行了以后， KB 里只有 location(1, 2).。那么，如果我想把所有符合 location_set([X, Y]).的都 assert ，应该怎么做呢？
1 条回复 • 2017-03-10 14:29:12 +08:00
 |
1
starvedcat OP http://www.swi-prolog.org/pldoc/doc_for?object=asserta/1
Term is asserted as the first fact or clause of the corresponding predicate. 这里写的很明确了，只对第一条 fact or clause 进行操作 如果我想 assert 所有的 fact ，应该怎么做？ |
Select Language