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

strengthen reified division for divisor == 1

Browse Source
This commit is contained in:
Markus Triska
2023-01-21 16:01:30 +01:00
parent 6cb8020f62
commit 1c08b56e05
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/lib/clpz.pl
View File

@@ -5842,6 +5842,10 @@ run_propagator(preified_slash(X, Y, D, R), MState) -->
( Y == 0 -> ( Y == 0 ->
kill(MState), kill(MState),
D = 0 D = 0
; Y == 1 ->
kill(MState),
D = 1,
R = X
; nonvar(X), ; nonvar(X),
nonvar(Y) -> nonvar(Y) ->
kill(MState), kill(MState),