Prolog Operator =: =

?- 2+3 =:= 6-1.
true.

?- 2+3 is 6-1.
false.

Bitte auch docs http://www.swi-prolog.org/pldoc/man?predicate=is/2

InformationsquelleAutor der Antwort Xonix

Ergänzung der bestehenden Antworten, ich möchte ein paar weitere Punkte:

Ein operator ist ein operator

Zunächst die Betreiber =:= ist, wie der name schon sagt, ein Betreiber. In Prolog können wir das Prädikat current_op/3 erfahren Sie mehr über die Betreiber. Zum Beispiel:

?- current_op(Prec, Typ, =:=). 
Prec = 700, 
Type = xfx. 

Dies bedeutet, dass der Betreiber =:= hat Vorrang 700 und ist von Typ xfx. Dies bedeutet, dass es sich um eine binäre infix Betreiber.

Dies bedeutet, dass Sie kannwenn Sie wollenschreiben einen Begriff wie =:=(X, Y) gleichbedeutend als X =:= Y. In sowohl Fällendie Funktor der Begriff ist =:=und die stelligkeit der Begriff ist 2. Sie können write_canonical/1 um dies zu überprüfen:

?- write_canonical(a =:= b). 
=:=(a,b) 

Ein Prädikat ist nicht ein Betreiber

So weit, So gut! Dies wurde alles rein syntaktische Funktion. Allerdings ist, was Sie eigentlich Fragen ist die Prädikat (=:=)/2dessen name =:= - und das dauert 2 Argumente.

Wie andere bereits erklärt haben, das Prädikat (=:=)/2 bezeichnet arithmetische Gleichheit von zwei arithmetischen  - Ausdrücken. Es ist wahr iff seine Argumente bewerten der gleichen Anzahl.

Zum Beispiel, lassen Sie uns versuchen, die Allgemeine Abfrage, durch die wir bitten, für jede Lösung auch immer, mit Variablen als Argumente:

?- X =:= Y. 
FEHLER: Argumente sind nicht ausreichend instanziiert 

Daher, dieses Prädikat ist nicht eine wirkliche Beziehung, da wir Sie nicht nutzen es für generieren Ergebnisse! Das ist eine ganz schwere Nachteil dieses Prädikat, Zusammenstößen mit, was man im Allgemeinen als "deklarative Programmierung".

Das Prädikat, das funktioniert nur im sehr bestimmten situation, dass beide Argumente sind komplett instanziert. Zum Beispiel:

?- 1 + 2 =:= 3. 
richtig. 

Nennen wir solche Prädikate veraltetendenn Sie können nur verwendet werden, insbesondere Modi der Nutzung. Für die überwiegende Mehrheit der Anfänger, veralteten Prädikaten sind ein Alptraum zu zu verwenden, weil Sie verlangen, dass Sie überlegen, Ihre Programme prozeduraldas ist ganz hart an der erste und bleibt hart, auch später. Auch, veralteten Prädikaten stark Grenze der Allgemeingültigkeit Ihre Programme, weil Sie nicht verwenden können Sie auf allen Richtungen, in denen Sie könnte Verwendung der reinen Prädikate.

Einschränkungen sind eine Allgemeine alternative

Prolog bietet auch viel mehr Allgemeine arithmetische Prädikate in form von arithmetischen Einschränkungen.

Beispielsweise im Fall von Ganzzahlenversuchen Sie Ihr Prolog-system CLP(FD)  - Einschränkungen. Eine der wichtigsten CLP(FD) constraints bezeichnet arithmetische Gleichheit und heißt (#=)/2. In völliger Analogie zu (=:=)/2die Betreiber (#=)/2 ist auch definiert als ein infix Betreiber, und so können Sie zum Beispiel schreiben:

| ?- 1 + 2 #= 3. 

ja 

Ich benutze GNU Prolog als ein spezielles Beispiel, und viele andere Prolog-Systeme bieten auch CLP(FD)  - Implementierungen.

Eine große Attraktion der Einschränkungen findet sich in Ihrer Allgemeingültigkeit. Zum Beispiel, im Gegensatz zu (=:=)/2 bekommen wir mit der Prädikat (#=)/2:

| ?- X + 2 #= 3. 

X = 1 

 -|? - 1 + Y #= 3. 

Y = 2 

Und wir können sogar Fragen, die die meisten Allgemeinen - Abfrage:

| ?- X #= Y. 

X = _#0(0..268435455) 
Y = _#0(0..268435455) 

Hinweis, wie selbstverständlich diese Prädikate mischen in Prolog und Akt als Beziehungen zwischen integer  - Ausdrücken abgefragt werden können, in alle Richtungen.

Je nach domain von Interesse, meine recommendition ist die Verwendung von CLP(FD), CLP(Q), CLP(B) etc. statt von mehr low-level-Arithmetik Prädikate.

Siehe auch clpfdclpq und clpb für mehr Informationen.

Zufällig die Betreiber =:= wird von CLP(B) mit einem komplett andere Bedeutung:

?- sa(A =:= B+1). 
A = 1, 
sat(B=:=B). 

Zeigt dies, dass Sie müssen unterscheiden zwischen Betreiber und Prädikate. In der oben Fall, die Prädikat sat/1 hat, interpretiert den gegebenen Ausdruck als eine aussagenlogische Formel, und in diesem Zusammenhang =:= kennzeichnet die Gleichheit von booleschen  - Ausdrücken.

InformationsquelleAutor der Antwort mat

=:= ist ein Vergleichsoperator.A1 =:= A2 dann erfolgreich, wenn die Werte der Ausdrücke A1 und A2 gleich sind.
A1 == A2 erfolgreich, wenn der Bezug auf A1 und A2 identisch sind;

InformationsquelleAutor der Antwort Ayyappa Boligala