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

Merge pull request #2194 from triska/clpz_monotonic

Browse Source 
support (#=)/3 and (#<)/3 also in the monotonic execution mode
This commit is contained in:
Mark Thom
2023-12-02 20:16:59 -07:00
committed by GitHub
parent e667abb143 eb575b9882
commit b0b1efcc49
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/lib/clpz.pl
View File

@@ -7968,11 +7968,11 @@ coeff_var_term(C-V, T) :- ( C =:= 1 -> T = #V ; T = C * #V ).
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
#=(X, Y, T) :- #=(X, Y, T) :-
X #= Y #<==> B, X #= Y #<==> #B,
zo_t(B, T). zo_t(B, T).
#<(X, Y, T) :- #<(X, Y, T) :-
X #< Y #<==> B, X #< Y #<==> #B,
zo_t(B, T). zo_t(B, T).
zo_t(0, false). zo_t(0, false).