search

mattiasw2 / teyjus

Automatically exported from code.google.com/p/teyjus
GNU General Public License v3.0
0 stars 0 forks source link

Trivial disagreement pairs #80

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
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>

Original issue reported on code.google.com by fafounet@gmail.com on 26 Aug 2013 at 4:09