Пролог дает ошибку "undefined procedure" при попытке использования: -

Я использую SWI-Prolog для Windows и получаю следующую ошибку:

14 ?- parent(X, Y) :- child(Y, X).
ERROR: toplevel: Undefined procedure: (:-)/2 (DWIM could not correct)

Я не совсем уверен, что происходит, поскольку это работало на прошлой неделе, и я только начинаю изучать Prolog.

Ответы

Ответ 1

В FAQ часто говорится: http://www.swi-prolog.org/FAQ/ToplevelMode.html

Вам нужно создать файл и написать свою программу там. Командная строка верхнего уровня позволит вам выдавать запросы.

Ответ 2

Вы можете попробовать это так.

1 ?- assert(a(A,B):-A=B).
true.

2 ?- a(B,c).
B = c.