'\=' 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 :).
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment