]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e6a89b) | patch
add occurs_check flag (#309)
authorMark Thom <[email protected]>
Sun, 28 Feb 2021 17:41:32 +0000 (10:41 -0700)
committerMark Thom <[email protected]>
Sun, 28 Feb 2021 17:41:32 +0000 (10:41 -0700)
commita36781234890f26085d8fa79a9a541ad2a49ace4
tree69ec1aadbee02d841dec61cef90973f6790e45aetree | snapshot
parent8e6a89b2792bd03c6ef09c16d08185dffd964a6ecommit | diff
add occurs_check flag (#309)
src/clause_types.rs diff | blob | history
src/lib/builtins.pl diff | blob | history
src/machine/loader.rs diff | blob | history
src/machine/machine_state.rs diff | blob | history
src/machine/machine_state_impl.rs diff | blob | history
src/machine/system_calls.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust