Thursday, January 29, 2009

Ch3, Ex7 (to be revisited)

'\=' tries to do the entailment which is implemented as doing the unification and returning false if unification completes successfully, so X\=_|_ just hangs as underscore is just an anonymous variable and can't be bound and hence unification algorithm gets stuck.

Note: Please give a better answer as I'm not really very convinced with mine :).

No comments:

Post a Comment