Schrijf een predicaat unify/2 die zijn 2 argumenten unificeert met occurs check.
unify/2
?- 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.