序言：含有断言规则只添加了第一个结果，以事实

Question

我试图预先计算一些东西和我的节目开始将结果保存为事实：（简化代码）

:- dynamic cost/2. 
%recipe(Id,Cost) 
recipe(1,20). 
recipe(2,40). 

assert_all :- recipe(Id,Cost), assert(cost(Id,Cost)). 

但只有第一结果，当我在协商的Prolog SICStus文件成本（1,20）被断言​​：

| ?- assert_all. 
yes 
| ?- cost(Id,Cost). 
Id = 1, 
Cost = 20 ? ; 
no 
| ? 

然而，当我输入直接在SICStus序言控制台assert_all的右手侧，两者的成本/ 2事实就在那里。

| ?- recipe(Id,Cost), assert(cost(Id,Cost)). 
Id = 1, 
Cost = 20 ? ; 
Id = 2, 
Cost = 40 ? ; 
no 
| ?- cost(Id,Cost).       
Id = 1, 
Cost = 20 ? ; 
Id = 2, 
Cost = 40 ? ; 
no 

我觉得这种行为很混乱，发生了什么事？

Answer 1

将一个fail/0原来的条款中，并补充说，只是成功的一个条款：

assert_all:- 
    recipe(Id,Cost), 
    assert(cost(Id,Cost)), 
    fail. 
assert_all. 

怎么回事是你的程序，你写的断言第一成本为配方并留下了一个选择点。在回溯时，它最终会断言其他事实（如果它回退，当您在Sicstus控制台中按;要求更多替代方法时发生的情况）。

这个答案的失败驱动循环只是回溯每个解决方案recipe/2并声称其成本。那么第二条就成功了。