]> Repositorios git - scryer-prolog.git/commit
add call_with_inference_limit
authorMark Thom <[email protected]>
Tue, 20 Feb 2018 05:34:56 +0000 (22:34 -0700)
committerMark Thom <[email protected]>
Tue, 20 Feb 2018 05:34:56 +0000 (22:34 -0700)
commit7313472a70ad10bd3bfc718ee6e323824c888626
treea55989cecfb3468738cc3d38064698675f43e3c0
parent8b566ab4e54da3b3493e2b3fbf49875ee5080e07
add call_with_inference_limit
12 files changed:
README.md
src/prolog/ast.rs
src/prolog/builtins.rs
src/prolog/codegen.rs
src/prolog/io.rs
src/prolog/iterators.rs
src/prolog/lib/lists.rs
src/prolog/machine/machine_state.rs
src/prolog/machine/machine_state_impl.rs
src/prolog/machine/mod.rs
src/prolog/macros.rs
src/prolog/parser