Merge pull request #1689 from triska/clpb_doc

DOC: preliminary CLP(B) documentation in DocLog format
2023-01-24 22:51:35 +01:00
parent ec55765cb2 1c08b56e05
commit df266378c4
2 changed files with 283 additions and 31 deletions
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -5842,6 +5842,10 @@ run_propagator(preified_slash(X, Y, D, R), MState) -->
        (   Y == 0 ->
            kill(MState),
            D = 0
+        ;   Y == 1 ->
+            kill(MState),
+            D = 1,
+            R = X
        ;   nonvar(X),
            nonvar(Y) ->
            kill(MState),