From: Markus Triska Date: Tue, 15 Aug 2023 19:50:15 +0000 (+0200) Subject: use pneq/2 X-Git-Tag: v0.9.2~4^2~2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7f024f3b8dbfee71e9110e568444e89fc72c7a4f;p=scryer-prolog.git use pneq/2 --- 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))],