我是 Prolog 的新手。我只是在尝试简单的例子来学习。我有.pl
这些行的文件:
parent(pam,bob).
parent(tom,bob).
parent(tom,lio).
parent(bob,ann).
parent(bob,pat).
parent(pat,jim).
经过咨询和测试,它只显示第一个答案。例如:
5 ?- parent(X,Y).
X = pam,
Y = bob .
难道不应该给出满足关系的所有组合parent
吗?
有谁知道问题是什么?