From 7f024f3b8dbfee71e9110e568444e89fc72c7a4f Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Tue, 15 Aug 2023 21:50:15 +0200 Subject: [PATCH] use pneq/2 --- src/lib/clpz.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl index 7d1dd7ab..a6655687 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -2819,7 +2819,7 @@ matches([ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% m(var(X) #\= integer(Y)) => [g(neq_num(X, Y))], - m(var(X) #\= var(Y)) => [g(neq(X,Y))], + m(var(X) #\= var(Y)) => [p(pneq(X,Y))], m(var(X) #\= var(Y) + var(Z)) => [p(x_neq_y_plus_z(X, Y, Z))], m(var(X) #\= var(Y) - var(Z)) => [p(x_neq_y_plus_z(Y, X, Z))], m(var(X) #\= var(Y)*var(Z)) => [p(ptimes(Y,Z,P)), g(neq(X,P))], -- 2.54.0