]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c5257b) | patch
fix bugs in call_with_inference_limit
authorMark Thom <[email protected]>
Fri, 23 Feb 2018 07:16:40 +0000 (00:16 -0700)
committerMark Thom <[email protected]>
Fri, 23 Feb 2018 07:16:40 +0000 (00:16 -0700)
commit8d182b3f0217d1727062442fe1c7d5e9ecf5ee66
tree2b08efd30409fbfbf2e789b32a8df0a99eae08fctree | snapshot
parent5c5257bdbdeaf0dbeb236911f3d2ec23038d5b44commit | diff
fix bugs in call_with_inference_limit
src/prolog/ast.rs diff | blob | history
src/prolog/builtins.rs diff | blob | history
src/prolog/io.rs diff | blob | history
src/prolog/machine/machine_state.rs diff | blob | history
src/prolog/machine/machine_state_impl.rs diff | blob | history
src/prolog/macros.rs diff | blob | history
src/tests.rs diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust