Prolog donne une erreur «procédure non définie» lorsque vous essayez d'utiliser: -

Question

J'utilise Swi-Prolog sous Windows et j'obtiens l'erreur suivante:

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

Je ne suis pas tout à fait sûr de ce qui se passe, car cela a fonctionné la semaine dernière et je commence à apprendre à apprendre Prolog.

Answer 1

La FAQ dit tout: http://www.swi-polog.org/faq/toplevelmode.html

Vous devez créer un fichier et écrire votre programme avec des règles. La ligne de commande de niveau supérieur vous permettra uniquement d'émettre des requêtes.

Answer 2

Tu peux l'essayer de cette façon

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

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