]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9dbadac) | patch
add unify_with_occurs_check/2
authorMark Thom <[email protected]>
Mon, 29 Apr 2019 04:23:34 +0000 (22:23 -0600)
committerMark Thom <[email protected]>
Mon, 29 Apr 2019 04:23:34 +0000 (22:23 -0600)
commit14d629492dd9ac892a80f5f236b8c3689b9abab6
tree43e9a40ef09cd028dd6cf930127e24bfb813d367tree | snapshot
parent9dbadac14fc38925abee4de3ab36aabe7829dcb8commit | diff
add unify_with_occurs_check/2
Cargo.toml diff | blob | history
README.md diff | blob | history
src/prolog/clause_types.rs diff | blob | history
src/prolog/lib/builtins.pl diff | blob | history
src/prolog/machine/machine_state_impl.rs diff | blob | history
src/prolog/machine/system_calls.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust