Repositorios git - scryer-prolog.git/commit

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

author	Mark Thom <[email protected]>
	Fri, 3 Apr 2020 16:22:46 +0000 (10:22 -0600)
committer	Mark Thom <[email protected]>
	Fri, 3 Apr 2020 16:22:46 +0000 (10:22 -0600)
commit	141f3bcec31d131c001d99e125b02b1e72eff95a
tree	beca2771c9ad6576bb9d07781a056feeaf481405	tree \| snapshot
parent	cac76d47397760b15a7cf82a178259bf293ac7e1	commit \| diff

harmonize partial strings with complete strings (#276), make Addr a copyable type

33 files changed:

Cargo.lock		diff \| blob \| history
Cargo.toml		diff \| blob \| history
src/prolog/forms.rs		diff \| blob \| history
src/prolog/heap_iter.rs		diff \| blob \| history
src/prolog/heap_print.rs		diff \| blob \| history
src/prolog/instructions.rs		diff \| blob \| history
src/prolog/lib/atts.pl		diff \| blob \| history
src/prolog/lib/builtins.pl		diff \| blob \| history
src/prolog/lib/cont.pl		diff \| blob \| history
src/prolog/lib/tabling.pl		diff \| blob \| history
src/prolog/lib/tabling/double_linked_list.pl		diff \| blob \| history
src/prolog/lib/tabling/global_worklist.pl		diff \| blob \| history
src/prolog/lib/tabling/trie.pl		diff \| blob \| history
src/prolog/machine/arithmetic_ops.rs		diff \| blob \| history
src/prolog/machine/attributed_variables.pl		diff \| blob \| history
src/prolog/machine/attributed_variables.rs		diff \| blob \| history
src/prolog/machine/copier.rs		diff \| blob \| history
src/prolog/machine/dynamic_database.rs		diff \| blob \| history
src/prolog/machine/heap.rs		diff \| blob \| history
src/prolog/machine/machine_errors.rs		diff \| blob \| history
src/prolog/machine/machine_indices.rs		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/partial_string.rs		diff \| blob \| history
src/prolog/machine/raw_block.rs		diff \| blob \| history
src/prolog/machine/stack.rs		diff \| blob \| history
src/prolog/machine/system_calls.rs		diff \| blob \| history
src/prolog/machine/term_expansion.rs		diff \| blob \| history
src/prolog/macros.rs		diff \| blob \| history
src/prolog/read.rs		diff \| blob \| history
src/prolog/toplevel.pl		diff \| blob \| history
src/prolog/write.rs		diff \| blob \| history
src/tests/facts.pl		diff \| blob \| history

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom