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

155 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 best solutions below

0
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