根据规则添加元素列表？

Question

我明白它允许写了很多事实和可能性树created-是有可能做到这一点：

我想增加价值取决于规则是否返回true或false名单？

可能有人请给我看一些可以解释这个的小代码吗？

谢谢

Answer 1

假设你想生成一个所有凡人的列表。它可以用下面的代码来完成：

% facts 
human(victor). 
human(peroni). 
human(hugo). 

% rule 
mortal(X) :- 
     human(X). 

% add X to a list only if rule mortal(X) is true. 
add(X,L,[X|L]) :- 
     mortal(X). 

例

? add(victor, [hugo], Result). 
Result = [victor, hugo]. 

? add(peroni, [], Result). 
Result = [peroni].