скачать Почему SWI-Prolog дает мне первый ответ?



swi prolog скачать (1)

Я новичок в 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 ?

Кто-нибудь знает, в чем проблема?


не нажимайте enter после того, как вы увидите первые результаты, вместо этого используйте пробел

  • [Enter] прекращает выполнение, даже если обратное отслеживание еще не завершено
  • [Spacebar] или [;] продолжается с возвратом от вашего последнего результата до следующего результата или false если других результатов не осталось.