]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c2f626) | patch
add preliminary support for verify_attributes/3
authorMark Thom <[email protected]>
Fri, 8 Feb 2019 06:33:55 +0000 (23:33 -0700)
committerMark Thom <[email protected]>
Fri, 8 Feb 2019 06:33:55 +0000 (23:33 -0700)
commit661f9b7414930e3a408a9e6fe03ce3e3d3628e8d
tree7e9f2b80c3d4c461c7c0fb5ced5b342bf90a2453tree | snapshot
parent7c2f626d56ff93703349cfd900a4c5da5800e7d1commit | diff
add preliminary support for verify_attributes/3
src/prolog/compile.rs diff | blob | history
src/prolog/instructions.rs diff | blob | history
src/prolog/machine/attributed_variables.rs diff | blob | history
src/prolog/machine/machine_state.rs diff | blob | history
src/prolog/machine/machine_state_impl.rs diff | blob | history
src/prolog/machine/mod.rs diff | blob | history
src/prolog/machine/system_calls.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust