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

Correct arithmetic inequalities accidentally broken in f5d9a67f36.

Browse Source 
Example:

    ?- X #>= Y.
    %@    clpz:(X#>=Y).
This commit is contained in:
Markus Triska
2024-01-07 09:31:33 +01:00
parent 92b85d4ba6
commit 2f783f0aef
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/clpz.pl
View File

@@ -2759,7 +2759,7 @@ geq(A, B) -->
( { fd_get(B, BD, _) } -> ( { fd_get(B, BD, _) } ->
{ domain_supremum(BD, BS) }, { domain_supremum(BD, BS) },
( { AI cis_geq BS } -> true ( { AI cis_geq BS } -> true
; propagator_init_trigger(pgeq(A,B)) ; { propagator_init_trigger(pgeq(A,B)) }
) )
; ( { AI cis_geq n(B) } -> true ; ( { AI cis_geq n(B) } -> true
; { domain_remove_smaller_than(AD, B, AD1) }, ; { domain_remove_smaller_than(AD, B, AD1) },