09.01. Matching- und Vergleichsoperatoren

Was antwortet Prolog auf die folgenden Anfragen?

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

?- food(a) == food(a).
?- food(a) =:= food(a). 
?- 3+4*5 == +(3,*(4,5)). 
?- 3+4*5 == *(+(3,4),5). 
?- [ha,hu] == '[|]'(ha,'[|]'(hu,[])). 
?- [ha,hu,ho] == [ha,hu|[ho]]. 
?- [ha,X,ho] == [ha,hu|[ho]]. 
?- [ha,X,ho] = [ha,hu|[ho]]. 
?- (3<4) == <(3,4). 
?- 3+4*5 == X. 
?- 3+4*5 = X. 
?- 3+4*5 =:= X. 
?- 3+4*5 = X+Y. 
?- 3+4*5 = X*Y. 
?- 3+4*5 =:= 35. 
?- 3+4*5 =:= 23. 
?- 3+4*5 = 23. 
?- 6=X, X*5 =:= 30. 
?- 6=X, X == 6. 
?- 6=X, 7=X.