]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 740bd52) | patch
add tabling library, update README, make Cargo.toml non-local
authorMark Thom <[email protected]>
Mon, 3 Feb 2020 05:24:48 +0000 (22:24 -0700)
committerMark Thom <[email protected]>
Mon, 3 Feb 2020 05:24:48 +0000 (22:24 -0700)
commitd83c5cf5f148f0479dddb8ac958903bec449e2ff
treeb1bcfffb22b4e06816f3c0235fe6fef7dc867ce1tree | snapshot
parent740bd528c48392e6881838e7766e4ff516dde885commit | diff
add tabling library, update README, make Cargo.toml non-local
Cargo.toml diff | blob | history
README.md diff | blob | history
src/prolog/lib/tabling.pl [new file with mode: 0644] blob
src/prolog/lib/tabling/batched_worklist.pl [new file with mode: 0644] blob
src/prolog/lib/tabling/double_linked_list.pl [new file with mode: 0644] blob
src/prolog/lib/tabling/global_worklist.pl [new file with mode: 0644] blob
src/prolog/lib/tabling/table_data_structure.pl [new file with mode: 0644] blob
src/prolog/lib/tabling/table_link_manager.pl [new file with mode: 0644] blob
src/prolog/lib/tabling/trie.pl [new file with mode: 0644] blob
src/prolog/lib/tabling/wrapper.pl [new file with mode: 0644] blob
FORK: A modern Prolog implementation written mostly in Rust