rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #1963 from triska/master

Browse Source 
ENHANCED: domain error in zcompare/3 (#1723)
This commit is contained in:
Mark Thom
2023-08-14 12:18:45 -06:00
committed by GitHub
parent a36df33a67 f02cd0ad3c
commit 2e811de0f5
1 changed files with 9 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/lib/clpz.pl
View File

@@ -7488,9 +7488,15 @@ zcompare(Order, A, B) :-
propagator_init_trigger([A,B], pzcompare(Order, A, B)) propagator_init_trigger([A,B], pzcompare(Order, A, B))
). ).
zcompare_(=, A, B) :- #A #= #B. zcompare_(O, A, B) :-
zcompare_(<, A, B) :- #A #< #B. ( member(O, "<=>") -> true
zcompare_(>, A, B) :- #A #> #B. ; 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) %% chain(+Relation, +Zs)
% %