有没有人懂 Prolog？

[starvedcat]

我现在有如下程序：

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 ，应该怎么做呢？

[starvedcat]

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 ，应该怎么做？