假设我有这些事实:
parent(bob, sam). %bob is sam's parent
parent(sara, sam). %sara is sam's parent
我想知道谁是山姆的父母并将他们归还给一份清单,因此使用:
list_parents(P, L) :- findall(Parent, parent(Parent, P), L).
我现在要做的是问同样的问题,但只有一个论点:
findParents(sam).
我试过了:
findParents(Name) :- list_parents(Name, L).
但这样Prolog只会回答"True".