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.
Asked
Active
Viewed 116 times
1
-
yes I think so but I'm not very sure so I ask for help. so it can be solved and thanks – zhang rui Dec 06 '20 at 13:34
-
I put it up as an answer so we can close this question. – David Tonhofer Dec 06 '20 at 13:37
-
The two can not be unified, since if you "peal" both terms, the two functors are different. – Willem Van Onsem Dec 06 '20 at 19:19
1 Answers
1
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
David Tonhofer
- 14,559
- 5
- 55
- 51