]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99bd3d3) | patch
remove clpb_max/1 attribute for residual goal projection
authorMarkus Triska <[email protected]>
Sun, 3 Sep 2023 19:47:58 +0000 (21:47 +0200)
committerMarkus Triska <[email protected]>
Sun, 3 Sep 2023 19:56:15 +0000 (21:56 +0200)
commit1c33d2a2edb85ca235f4958f7db35bcb5bf61a21
tree3e0c00d726c6dd24e08ab711ac4be2e3d0dc3d37tree | snapshot
parent99bd3d3b1ace06b08849d80696864dd7f2a87b9fcommit | diff
remove clpb_max/1 attribute for residual goal projection

Example:

    ?- sat(A+B), weighted_maximum([1,1], [A,B], Max).
       A = 1, B = 1, Max = 2.
src/lib/clpb.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust