02.01.01. Matching Tester

Schaue dir die folgenden Anfragen an.

Welche der folgenden Paare von Termen matchen?

?- bread = bread.
?- 'Bread' = bread.
?- 'bread' = bread.
?- Bread = bread.
?- bread = sausage.
?- food(bread) = bread.
?- food(bread) = X.
?- food(X) = food(bread).
?- food(bread,X) = food(Y,sausage).
?- food(bread,X,beer) = food(Y,sausage,X).
?- food(bread,X,beer) = food(Y,kahuna_burger).
?- food(X) = X.
?- meal(food(bread),drink(beer)) = meal(X,Y).
?- meal(food(bread),X) = meal(X,drink(beer)).

_{Achtung bei Anfrage 12, das Ergebnis unterscheidet sich je nach Compiler!}