From: Markus Triska <triska@metalevel.at>
Date: Wed, 8 Mar 2023 20:16:54 +0000 (+0100)
Subject: FIXED: Take all variables into account during goal projection.
X-Git-Tag: v0.9.2~170^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=884b0ca10eac28e300dbfddb1455f3cfd7ad0aa6;p=scryer-prolog.git

FIXED: Take all variables into account during goal projection.

This addresses #1751.
---

diff --git a/src/lib/dif.pl b/src/lib/dif.pl
index 20842b27..73d65518 100644
--- a/src/lib/dif.pl
+++ b/src/lib/dif.pl
@@ -65,7 +65,7 @@ dif(X, Y) :-
 
 gather_dif_goals(_, []) --> [].
 gather_dif_goals(V, [(X \== Y) | Goals]) -->
-    (  { term_variables(X, [V0 | _]),
+    (  { term_variables(X-Y, [V0 | _]),
          V == V0 } ->
        [dif:dif(X, Y)]
     ;  []