]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02328d8) | patch
FIXED: do not attach constraint if the propagator is already entailed and killed
authorMarkus Triska <[email protected]>
Wed, 2 Aug 2023 22:26:40 +0000 (00:26 +0200)
committerMarkus Triska <[email protected]>
Wed, 2 Aug 2023 22:26:40 +0000 (00:26 +0200)
commit0ddda0a864109f69273dc2d056986f9d240a83de
treeefd12f62fe5c07ae5c15909c422b5d7cadc61c69tree | snapshot
parent02328d818cf678b83fb38f4e9e51ae6aede4bbaacommit | diff
FIXED: do not attach constraint if the propagator is already entailed and killed

Example:

    ?- A#=A//A#==>B,A-B=1-1.
       A = 1, B = 1.

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