]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87abcd6) | patch
FIXED: CLP(B): weighted_maximum/3 with repeated variables
authorMarkus Triska <[email protected]>
Fri, 5 Mar 2021 17:35:19 +0000 (18:35 +0100)
committerMarkus Triska <[email protected]>
Fri, 5 Mar 2021 17:35:19 +0000 (18:35 +0100)
commit0fb74b56b378b3518bb1201099c3953ad677a8d2
tree00f265e9645bca13cda10d2db746f92b1a9dc352tree | snapshot
parent87abcd6a5252ff809d6b598677006786046df754commit | diff
FIXED: CLP(B): weighted_maximum/3 with repeated variables

Many thanks to @jburse for reporting this issue:

    https://github.com/triska/clpz/issues/15

Example:

    ?- sat(~(Y*X)), sat(Z=:=Y), weighted_maximum([7,2,5],[X,Y,Z],W).
       W = 7, Y = 0, X = 1, Z = 0
    ;  W = 7, Y = 1, X = 0, Z = 1
    ;  false.
src/lib/clpb.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust