Why does SWI-Prolog only give me the first answer?

2019-02-17 03:15发布

I'm new to Prolog. I'm just trying simple examples to learn. I have this .pl file with these lines:

parent(pam,bob).
parent(tom,bob).
parent(tom,lio).
parent(bob,ann).
parent(bob,pat).
parent(pat,jim).

After consulting and testing, it only shows the first answer. For example:

5 ?- parent(X,Y).
X = pam,
Y = bob .

Isn't it supposed to give all the combinations that satisfy the relation parent?

Do anyone have idea what the problem is?

1条回答
冷血范
2楼-- · 2019-02-17 03:49

don't hit enter after your first results shows, use spacebar instead

  • [Enter] stops execution even if the backtracking is not completed yet
  • [Spacebar] or [;] continues with backtracking from your last result to the next result or false if there are no other results left.
查看更多
登录 后发表回答