Repositorios git - scryer-prolog.git/commit

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

defer installation of inference counter for call_with_inference_limit til after goals expanded

FORK: A modern Prolog implementation written mostly in Rust

src/clause_types.rs		diff \| blob \| history
src/lib/builtins.pl		diff \| blob \| history
src/lib/iso_ext.pl		diff \| blob \| history
src/loader.pl		diff \| blob \| history
src/machine/system_calls.rs		diff \| blob \| history
src/tests/call_with_inference_limit.pl		diff \| blob \| history