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

Question

我是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？

有谁知道问题是什么？

Answer 1

在显示第一个结果后不要按Enter键,而是使用空格键

• [Enter] 即使回溯尚未完成,也会停止执行
• [Spacebar]或[;]继续从您的上一个结果回溯到下一个结果,或者false如果没有剩下其他结果.