]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 818a971) | patch
add assertz/1 and asserta/1
authorMark Thom <[email protected]>
Sat, 2 Mar 2019 07:27:40 +0000 (00:27 -0700)
committerMark Thom <[email protected]>
Sat, 2 Mar 2019 07:27:40 +0000 (00:27 -0700)
commit2fb5408ab5db850817cbf3580f085df71684573a
treed35e7c26b37dd28bbb3a6c8bf7671bb6dbfac4fdtree | snapshot
parent818a9718335a2de29a9309fe6cab227f786cd5ffcommit | diff
add assertz/1 and asserta/1
README.md diff | blob | history
src/prolog/instructions.rs diff | blob | history
src/prolog/lib/builtins.pl diff | blob | history
src/prolog/machine/dynamic_database.rs [new file with mode: 0644] blob
src/prolog/machine/machine_errors.rs diff | blob | history
src/prolog/machine/mod.rs diff | blob | history
src/prolog/machine/system_calls.rs diff | blob | history
src/prolog/read.rs diff | blob | history
src/prolog/toplevel.rs diff | blob | history
src/tests.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust