]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e0fa56) | patch
ENHANCED: Suspend propagation during filtering in scalar product constraints.
authorMarkus Triska <[email protected]>
Sat, 30 Dec 2023 09:30:25 +0000 (10:30 +0100)
committerMarkus Triska <[email protected]>
Sat, 30 Dec 2023 09:30:25 +0000 (10:30 +0100)
commit62b61107e0f2ea886f8becd2f1fa60d22c4dcba7
tree53e28881dd4531494af84685736c5a79ee3127dftree | snapshot
parent1e0fa56786becc094d65be7c9bcc15e9178e9129commit | diff
ENHANCED: Suspend propagation during filtering in scalar product constraints.

This allows subsequently invoked constraints to take the entire
filtering results into account, instead of being invoked when the
obtained information is not yet entirely used.

It speeds up programs such as the one in:

    https://github.com/triska/clpz/issues/26
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust