]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95f6ebc) | patch
in projection of residual goals, mark considered propagators as processed
authorMarkus Triska <[email protected]>
Wed, 22 Feb 2023 20:05:31 +0000 (21:05 +0100)
committerMarkus Triska <[email protected]>
Wed, 22 Feb 2023 23:05:27 +0000 (00:05 +0100)
commit2a04d5e799fbb599931b93b25fc9afd4a52ce6da
tree9d7242031dc7a2499342183a38c088f63461698ctree | snapshot
parent95f6ebc0002778b71d402e149e01b2031f74083acommit | diff
in projection of residual goals, mark considered propagators as processed

This is to avoid duplicated goals with the new projection mechanism.
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust