Prolog Falsche Zusammenstellung?

Question

Ich bin sehr neu in Prolog. Versuchen Sie es so viel wie möglich in so kurzer Zeit wie möglich zu lernen. Jede Hilfe wird sehr geschätzt. Ich benutze übrigens MacOS Sierra.

ich zur Eingabe versuchen diese Zeilen:

nextto(_A,_B). 
nextto(_B,_C). 

Wenn ich Prolog Befehlsfenster-Test, und führen Sie diesen Befehl:

?- nextto(A,C). 

Ist es falsch zurück eigentlich nicht?

Weil meine Kompilierungsergebnissen in wahr, wie folgt aus:

?- nextto(A,C). 
true 

Answer 1

In Prologs _ betrachtet so etwas wie Großbuchstaben zu sein, und es hat seine eigene besondere Bedeutung, die anonyme Variable zu bezeichnen ist, so _A, _B sind (anonyme) Variablen (was auch immer mit dem Kapital in Prolog beginnt, ist variabel und kein Atom). Ihre Klauseln:

nextto(_A,_B). nextto(_B,_C). 

bedeutet eigentlich, dass Prädikat nexxto mit zwei Variablen erfolgreich ist. Also, wenn Sie neexto abfragen (A, C). es kehrt wahr zurück. Es würde auch wahr zurückgeben, wenn Sie neben (a, b) abfragen. wo jetzt a, b sind Atome und keine Variablen, weil es prüft, ob es eine Klausel neben (a, b) gibt. in deinen Klauseln. Wie gesagt, Ihre Klausel ist jedoch mit jeder Vereinigung von A, B erfolgreich. Auch da Ihr Prädikat nexxto gelingt es immer wieder würden Sie auch das gleiche Ergebnis mit nur Schreiben der eine Klausel:

nextto(_A,_B). 

statt:

nextto(_A,_B). nextto(_B,_C).