Prolog proporciona un error "procedimiento indefinido" al intentar usar:-

Question

Estoy usando SWI-Prolog en Windows y recibo el siguiente error:

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

No estoy completamente seguro de lo que está pasando, ya que esto funcionó la semana pasada y estoy empezando a aprender Prolog.

Answer 1

Las preguntas frecuentes lo dicen todo: http://www.swi-prolog.org/faq/toplevelmode.html

Debe crear un archivo y escribir su programa con reglas allí. La línea de comandos de nivel superior solo le permitirá emitir consultas.

Answer 2

Puedes probarlo de esta manera

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

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