shithub: pprolog

Info  •  Files  •  Log

When binding two variables to eachother, always bind to the one with the lowest clause number

--- a/eval.c

+++ b/eval.c

@@ -194,6 +194,11 @@

 				left = right;

 				right = tmp;

 			}

+			if(left->tag == VariableTerm && right->tag == VariableTerm && right->clausenr > left->clausenr){

+				Term *tmp = left;

+				left = right;

+				right = tmp;

+			}

 			if(runestrcmp(left->text, L"_") == 0)

 				continue; /* _ doesn't introduce a new binding */