schrijf een predicaat not_unify/2 dat aangeeft dat zijn argumenten niet unificeerbaar zijn.

?- not_unify(42,42).
false.

?- not_unify(hug(panda,_),hug(_,octopus)).
false.

?- not_unify(42,1337).
true.

?- not_unify(hug(panda,_),hug(prolog,_)).
true.

Gebruik geen \+, \= of =.