]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff63eac) | patch
ENHANCED: avoid pending residual constraints in disentailed reified (div)/2
authorMarkus Triska <[email protected]>
Sun, 8 Oct 2023 09:53:06 +0000 (11:53 +0200)
committerMarkus Triska <[email protected]>
Sun, 8 Oct 2023 09:53:06 +0000 (11:53 +0200)
commit5cce8ddd7da6414a3e0c29b9085c637c98c0ad3f
treeabc589b942da0e9d6163e3a04d0dd619ee06e7aetree | snapshot
parentff63eacf2cfcc53db81e96d7917a552748270bc4commit | diff
ENHANCED: avoid pending residual constraints in disentailed reified (div)/2

This addresses #2083:

    ?- #\0#=0//0 div 2.
       true.
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust