获取 Prolog 中的解决方案列表

我正在学习 Prolog，并且正在阅读一本名为《人工智能 Prolog 编程》的书。作为练习，我想学习如何扩展本书中的示例之一。有人可以帮忙吗？

假设您有以下事实：

parent(pam, bob). %pam is a parent of bob
parent(george, bob). %george is a parent of bob

我将如何编写一个序言谓词来为我提供 bob 父母的列表？例如：

list_parents(bob, L).

L = [pam, george] ;
L = [george, pam] ;
true.

像这样的全解谓词findall/3可能会解决这个问题：

list_parents(P, L) :-
    findall(Parent, parent(Parent, P), L).

简单的说，findall/3查找所有绑定Parent在“可回溯”目标中parent(Parent, P)，并将所有绑定Parent进入列表L。请注意，这不会删除重复项，但您可以执行以下操作sort/2 to L在返回它以创建集合之前。执行这个：

?- list_parents(bob, L).
L = [pam, george].

如果你没有findall/3在您的 PROLOG 实现中，您可以像这样手动执行：

list_parents(P, L) :-
    list_parents(P, [], L).

list_parents(P, Acc, L) :-
    parent(Parent, P),
    \+ member(Parent, Acc), !,
    list_parents(P, [Parent|Acc], L). 
list_parents(_, L, L).

此版本将呼叫发送至list_parents/2到累加器版本，list_parents/3。后者试图收集Parent绑定也是如此，只要我们以前没有见过它们（因此\+ member检查），并返回没有新的列表Parent绑定累积到Acc可以找到列表。执行此命令会得到与第一个选项相同的结果：

?- list_parents(bob, L).
L = [pam, george].