]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 83268f5) | patch
Enhanced the implementation
authornotoria <[email protected]>
Wed, 1 Jul 2020 11:14:12 +0000 (13:14 +0200)
committernotoria <[email protected]>
Wed, 1 Jul 2020 11:14:12 +0000 (13:14 +0200)
commitbf13700a9531b3991e047c44e5e06c12bd57c13c
tree62389e9ef1690350e239758e2a4a344b0bd9b11atree | snapshot
parent83268f5ff6ede831cd7bf7d897d1701c1a7cc642commit | diff
Enhanced the implementation

The restriction has been removed by using read_library_path from
cfd15f4e027b4df216e723bbd35facac28a09a1c.
src/lib/tabling.pl diff | blob | history
src/lib/tabling/batched_worklist.pl diff | blob | history
src/lib/tabling/table_data_structure.pl diff | blob | history
src/lib/tabling/table_link_manager.pl diff | blob | history
src/machine/toplevel.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust