]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ae029b) | patch
binding attributed variables more eagerly after each implementation of verify_attribu...
authorMark Thom <[email protected]>
Thu, 5 Dec 2019 07:33:46 +0000 (00:33 -0700)
committerMark Thom <[email protected]>
Thu, 5 Dec 2019 07:33:46 +0000 (00:33 -0700)
commit018b076835fd0044e88ccae48b29367bdb72f317
tree360f0d5cb13657f221e3d167b72cf8ea95fb9702tree | snapshot
parent9ae029b04dbf59d1579ecdea99afd5a77fb26274commit | diff
binding attributed variables more eagerly after each implementation of verify_attributes/3 has been called (#248)
src/prolog/clause_types.rs diff | blob | history
src/prolog/lib/atts.pl diff | blob | history
src/prolog/machine/attributed_variables.pl diff | blob | history
src/prolog/machine/compile.rs diff | blob | history
src/prolog/machine/system_calls.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust