]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9db7172) | patch
start enabling the dynamic database
authorMark Thom <[email protected]>
Fri, 1 Mar 2019 04:49:07 +0000 (21:49 -0700)
committerMark Thom <[email protected]>
Fri, 1 Mar 2019 04:49:07 +0000 (21:49 -0700)
commit818a9718335a2de29a9309fe6cab227f786cd5ff
tree82efd57f8628fe5976b59d6709109ad50097dcf7tree | snapshot
parent9db7172bfe5c5b0c21895c77f0de1f840ae9bc5bcommit | diff
start enabling the dynamic database
16 files changed:
src/prolog/compile.rs diff | blob | history
src/prolog/copier.rs diff | blob | history
src/prolog/heap_print.rs diff | blob | history
src/prolog/instructions.rs diff | blob | history
src/prolog/lib/builtins.pl diff | blob | history
src/prolog/machine/machine_errors.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
src/prolog/machine/term_expansion.rs diff | blob | history
src/prolog/macros.rs diff | blob | history
src/prolog/read.rs diff | blob | history
src/prolog/toplevel.rs diff | blob | history
src/prolog/write.rs diff | blob | history
src/tests.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust