Repositorios git - scryer-prolog.git/commit

]> Repositorios git - scryer-prolog.git/commit

add call_with_inference_limit/3

FORK: A modern Prolog implementation written mostly in Rust

Cargo.lock		diff \| blob \| history
Cargo.toml		diff \| blob \| history
src/prolog/ast.rs		diff \| blob \| history
src/prolog/iterators.rs		diff \| blob \| history
src/prolog/lib/builtins.pl		diff \| blob \| history
src/prolog/machine/machine_state.rs		diff \| blob \| history
src/prolog/machine/machine_state_impl.rs		diff \| blob \| history
src/prolog/machine/system_calls.rs		diff \| blob \| history
src/tests.rs		diff \| blob \| history