diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl index ed01f079a..2d991af6c 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -7488,9 +7488,15 @@ propagator_init_trigger([A,B], pzcompare(Order, A, B)) ). -zcompare_(=, A, B) :- #A #= #B. -zcompare_(<, A, B) :- #A #< #B. -zcompare_(>, A, B) :- #A #> #B. +zcompare_(O, A, B) :- + ( member(O, "<=>") -> true + ; domain_error(order, O, zcompare/3) + ), + zcompare__(O, A, B). + +zcompare__(=, A, B) :- #A #= #B. +zcompare__(<, A, B) :- #A #< #B. +zcompare__(>, A, B) :- #A #> #B. %% chain(+Relation, +Zs) %