merge

diff --cc src/prolog/toplevel.pl
index 0e571189d5ff894939598f903a78aa45bdb3812e,9e4573959be7f31bd13e340fb4d1a326dc4a404e..6bece8605b9ffd30226bfe7e0ff6df0370cb0ed9
--- 1/src/prolog/toplevel.pl
--- 2/src/prolog/toplevel.pl
+++ b/src/prolog/toplevel.pl
@@@ -295,10 -295,10 +295,10 @@@ gather_query_vars([], [])
  
  is_a_different_variable([_ = Binding | Pairs], Value) :-
      (  Value == Binding, !
-     ;  is_a_different_variable(Pairs, Var)
+     ;  is_a_different_variable(Pairs, Value)
      ).
  
 -eq_member(X, [Y|_]) :- X == Y, !.
 +eq_member(X, [Y|_])  :- X == Y, !.
  eq_member(X, [_|Ys]) :- eq_member(X, Ys).
  
  gather_equations([], _, Goals, Goals).