Repositorios git - scryer-prolog.git/commit

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

projects / scryer-prolog.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 7313472) | patch

author	Mark Thom <[email protected]>
	Thu, 22 Feb 2018 02:46:15 +0000 (19:46 -0700)
committer	Mark Thom <[email protected]>
	Thu, 22 Feb 2018 02:46:15 +0000 (19:46 -0700)
commit	5de03444eb51c1c5ba6d2aa14c05bef7592493a4
tree	37ff18b4b1c42dce660008083cc2fac0e1b17f9c	tree \| snapshot
parent	7313472a70ad10bd3bfc718ee6e323824c888626	commit \| diff

fix bugs in call_with_inference_limit

13 files changed:

src/main.rs		diff \| blob \| history
src/prolog/ast.rs		diff \| blob \| history
src/prolog/builtins.rs		diff \| blob \| history
src/prolog/io.rs		diff \| blob \| history
src/prolog/lib/control.pl	[new file with mode: 0644]	blob
src/prolog/lib/control.rs	[deleted file]	blob \| history
src/prolog/lib/lists.pl	[new file with mode: 0644]	blob
src/prolog/lib/lists.rs	[deleted file]	blob \| history
src/prolog/lib/mod.rs	[deleted file]	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/prolog/mod.rs		diff \| blob \| history

FORK: A modern Prolog implementation written mostly in Rust