support (#=)/3 and (#<)/3 also in the monotonic execution mode

2023-12-02 22:33:56 +01:00
parent e667abb143
commit eb575b9882
1 changed files with 2 additions and 2 deletions
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -7968,11 +7968,11 @@ coeff_var_term(C-V, T) :- ( C =:= 1 -> T = #V ; T = C * #V ).
 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */

 #=(X, Y, T) :-
-        X #= Y #<==> B,
+        X #= Y #<==> #B,
        zo_t(B, T).

 #<(X, Y, T) :-
-        X #< Y #<==> B,
+        X #< Y #<==> #B,
        zo_t(B, T).

 zo_t(0, false).