]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 099d9aa) | patch
FIXED: CLP(B): Delay BDD restriction until after the instantiation.
authorMarkus Triska <[email protected]>
Wed, 12 Aug 2020 17:51:25 +0000 (19:51 +0200)
committerMarkus Triska <[email protected]>
Wed, 12 Aug 2020 17:51:25 +0000 (19:51 +0200)
commite185b626bdf1a99ab8188ae39875f645c0de90f0
tree1ebb36feb0f3f50c4b07b9bfa0046d566a35c17etree | snapshot
parent099d9aaca6509496ccb28c522659b990f42037f0commit | diff
FIXED: CLP(B): Delay BDD restriction until after the instantiation.

This is necessary to actually take the new value into account.

Example:

    ?- sat(A*B>=C*D), A=1,B=0,C=1,D=1.
    false.

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