]> Repositorios git - scryer-prolog.git/commit
implement logical update semantics for dynamic database predicates
authorMark Thom <[email protected]>
Sun, 28 Feb 2021 05:51:32 +0000 (22:51 -0700)
committerMark Thom <[email protected]>
Sun, 28 Feb 2021 06:33:10 +0000 (23:33 -0700)
commit064d261357f7aa27c96be561b8b0eb22b57074ae
treec87942c805e06559e050f46b8fe2d2419db5ed72
parentadb96710bfef18c8b4d3167858c6b5cd8360632b
implement logical update semantics for dynamic database predicates
16 files changed:
src/codegen.rs
src/indexing.rs
src/instructions.rs
src/lib/builtins.pl
src/machine/code_repo.rs
src/machine/code_walker.rs
src/machine/compile.rs
src/machine/load_state.rs
src/machine/loader.rs
src/machine/machine_indices.rs
src/machine/machine_state.rs
src/machine/machine_state_impl.rs
src/machine/mod.rs
src/machine/system_calls.rs
src/macros.rs
src/write.rs