]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f7b401b) | patch
correct verify_attributes/3 for variables that have no CLP(ℤ) attribute attached...
authorMarkus Triska <[email protected]>
Thu, 30 Apr 2020 16:10:09 +0000 (18:10 +0200)
committerMarkus Triska <[email protected]>
Thu, 30 Apr 2020 16:10:09 +0000 (18:10 +0200)
commita39f4b4487588f4ca7e43dbd92ea9503b830fa4b
treeea1a295e748759e1318e412ff45536cb46911c63tree | snapshot
parentf7b401b9b65ca1dc7a0b64cca907d40076f4aa5fcommit | diff
correct verify_attributes/3 for variables that have no CLP(ℤ) attribute attached (#373)

Example:

    ?- freeze(B, queen_value_truth(C,N,B)), Q #= N #<==> B.
       clpz:(Q#=N#<==>B), clpz:(B in 0..1), freeze:freeze(B,queen_value_truth(C,N,B))
    ;  false.
src/prolog/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust