09.02. negierte Matching- und Vergleichsoperatoren

Was antwortet Prolog auf die folgenden Anfragen?

Über den ‚Programmieren‘-Button kannst du es ausprobieren.

?- a \= A.
?- a =\= A.
?- a \= 'a'.
?- food(a) =\= food(b).
?- 3+45 \= +(3,(4,5)).
?- 3+4*5 =\= *(+(3,4),5).
?- [ha,X,ho] =\= [ha,hu|[ho]].
?- [ha,X,ho] \= [ha,hu|[ho]].
?- 3+45 =\= 23.
?- 6=X, X =\= 20.
?- 6\=X, 7=X.
?- (X is 3+4) \= is(8,3+4).
?- X=b, (X==a) =\= ==(b,a).