most general unifier of n(a,b) and f(x,y)

137 views Asked by At

I know what means unification and I solved most questions but I could't really understand the mean of this questions. how can I unify these two functions. it looks a little weird.

1

There are 1 answers

0
David Tonhofer On

If this Prolog notation, you can't unify them. There are only constant symbols and already the root is different, i.e. the functor names are different: n \= f