Opgepast! De pagina kon niet volledig ingeladen worden, waarschijnlijk door een netwerkprobleem. Het kan zijn dat niet alle functionaliteit beschikbaar is. Probeer de pagina te verversen.

Schrijf een predicaat unify/2 die zijn 2 argumenten unificeert met occurs check.

?- unify(X,X).
true .

?- unify(X,Y).
X = Y .

?- unify(X,eten(X)).
false.

?- unify(eten(X),eten(X)).
true .

?- unify(eten(pikant(X)),eten(X)).
false.