Подтвердить что ты не робот

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

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

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

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

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

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

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

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