Repositorios git - scryer-prolog.git/commit

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

complete call_with_inference_limit/3

FORK: A modern Prolog implementation written mostly in Rust

README.md		diff \| blob \| history
src/prolog/ast.rs		diff \| blob \| history
src/prolog/codegen.rs		diff \| blob \| history
src/prolog/compile.rs		diff \| blob \| history
src/prolog/io.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/toplevel.rs		diff \| blob \| history
src/tests.rs		diff \| blob \| history