Issue 80 in teyjus: Trivial disagreement pairs

[tey...@googlecode.com]

Status: Accepted
Owner: fafo...@gmail.com
Labels: Priority-Low

New issue 80 by fafo...@gmail.com: Trivial disagreement pairs
http://code.google.com/p/teyjus/issues/detail?id=80

I think that trivial disagreement pairs should be discarded, as in the
following example:

[toplevel] ?- X Y = X Y.

The answer substitution:
Y = Y
X = X

The remaining disagreement pairs list:
<X Y, X Y>



--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings