From f458d1267637c5824e6a0e8fc07dcd0ad0a01af3 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 3 Mar 2019 18:14:05 -0700 Subject: [PATCH] remove unification from dif/2 --- src/prolog/lib/dif.pl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/prolog/lib/dif.pl b/src/prolog/lib/dif.pl index 72101b82..e830a206 100644 --- a/src/prolog/lib/dif.pl +++ b/src/prolog/lib/dif.pl @@ -37,8 +37,7 @@ verify_attributes(Var, Value, Goals) :- % suggestions for improvement. dif(X, Y) :- X \== Y, - ( X \= Y -> true - ; term_variables(X, XVars), term_variables(Y, YVars), + ( term_variables(X, XVars), term_variables(Y, YVars), dif_set_variables(XVars, X, Y), dif_set_variables(YVars, X, Y) ). -- 2.54.0