]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ffb40e) | patch
add, implement and use the Unifier trait
authorMark Thom <[email protected]>
Sun, 26 Feb 2023 04:52:18 +0000 (21:52 -0700)
committerMark Thom <[email protected]>
Sun, 26 Feb 2023 19:21:22 +0000 (12:21 -0700)
commit04ba58067aedc8e79f6220a5ea0b28d9656b5051
treef976e3edc607956025ebcc53be546465b9624759tree | snapshot
parent7ffb40e0ad6b5ac2ffb84269654e95f99c0dcbf7commit | diff
add, implement and use the Unifier trait
Cargo.lock diff | blob | history
Cargo.toml diff | blob | history
src/machine/machine_state_impl.rs diff | blob | history
src/machine/mod.rs diff | blob | history
src/machine/system_calls.rs diff | blob | history
src/machine/unify.rs [new file with mode: 0644] blob
FORK: A modern Prolog implementation written mostly in Rust