]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51c00fc) | patch
FIXED: variables in reified propagators must share the same queue
authorMarkus Triska <[email protected]>
Sun, 8 Oct 2023 07:43:10 +0000 (09:43 +0200)
committerMarkus Triska <[email protected]>
Sun, 8 Oct 2023 07:45:20 +0000 (09:45 +0200)
commit4d910f6bfe346ac4e0af20644a6ab6d0bb99f6fd
tree1e70851dcf60ae268ffc5c98a7a67fd9850ec1b7tree | snapshot
parent51c00fce5762a28ac3bc3dc07b18611890fd4fd1commit | diff
FIXED: variables in reified propagators must share the same queue

Otherwise, propagation steps may be inadvertently omitted, if
propagators are scheduled in a different queue.

This addresses #2084.
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust