为什么SWI-Prolog只会给出第一个答案？

Question

12

我是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的所有组合吗？

有人知道问题出在哪里吗？

- Sahar Alsadah

4

在第一次显示结果后，请勿按回车键，改用空格键。 - Sam Segers

完美。感谢帮助。 - Sahar Alsadah

2

我已将此添加为答案，因为我感觉你不是唯一遇到这个问题的人。 - Sam Segers

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Sam Segers · Accepted Answer

第一次显示结果后，不要按回车键，请改为使用空格键。