i have ab(f(Z,X),h(Z,t)) and ab(f(Z,Z),h(likes(b,c),t))
how do i test they unifiable?
can somebody tell me the step?
or give me a site which teaches this?
How do you test if 2 forumlars are unifiable?
The unification algorithm is too long to describe here, but see the slides at:
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment