Prolog fornisce l'errore "procedura indefinita" quando si tenta di utilizzare:-
-
28-10-2019 - |
Domanda
Sto usando SWI-PROLOG su Windows e sto ottenendo il seguente errore:
14 ?- parent(X, Y) :- child(Y, X).
ERROR: toplevel: Undefined procedure: (:-)/2 (DWIM could not correct)
Non sono del tutto sicuro di cosa stia succedendo, dato che ha funzionato la scorsa settimana e sto appena iniziando a imparare Prolog.
Soluzione
Le FAQ dicono tutto: http://www.swi-prolog.org/faq/toplevelmode.html
Devi creare un file e scrivere il tuo programma con regole lì. La riga di comando di livello superiore ti permetterà solo di emettere domande.
Altri suggerimenti
Puoi provarlo in questo modo
1 ?- assert(a(A,B):-A=B).
true.
2 ?- a(B,c).
B = c.
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a StackOverflow