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

Question

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

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

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

Answer 1

В FAQ все сказано: http://www.swi-prolog.org/FAQ/ToplevelMode.html

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

Answer 2

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

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

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