Repositorios git - scryer-prolog.git/commit

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

author	Mark Thom <[email protected]>
	Sat, 30 Jan 2021 21:32:47 +0000 (14:32 -0700)
committer	Mark Thom <[email protected]>
	Sun, 31 Jan 2021 04:07:51 +0000 (21:07 -0700)
commit	a4d15bfb88876ccf1707a8e59535daa6a4436911
tree	079ca1d880ab420402deab6e528e159228d346c1	tree \| snapshot
parent	b33158b92e573e88b50015f55420c7f4a24cd456	commit \| diff

move to a predicate-based module system, move to loader.[rs|pl]-based compilation, add support for incremental clause compilation

55 files changed:

Cargo.lock		diff \| blob \| history
Cargo.toml		diff \| blob \| history
build.rs		diff \| blob \| history
src/clause_types.rs		diff \| blob \| history
src/codegen.rs		diff \| blob \| history
src/forms.rs		diff \| blob \| history
src/heap_iter.rs		diff \| blob \| history
src/heap_print.rs		diff \| blob \| history
src/indexing.rs		diff \| blob \| history
src/instructions.rs		diff \| blob \| history
src/iterators.rs		diff \| blob \| history
src/lib/atts.pl		diff \| blob \| history
src/lib/builtins.pl		diff \| blob \| history
src/lib/clpb.pl		diff \| blob \| history
src/lib/dcgs.pl		diff \| blob \| history
src/lib/diag.pl		diff \| blob \| history
src/lib/dif.pl		diff \| blob \| history
src/lib/error.pl		diff \| blob \| history
src/lib/iso_ext.pl		diff \| blob \| history
src/lib/lists.pl		diff \| blob \| history
src/lib/ops_and_meta_predicates.pl	[new file with mode: 0644]	blob
src/lib/pairs.pl		diff \| blob \| history
src/lib/tabling/wrapper.pl		diff \| blob \| history
src/lib/time.pl		diff \| blob \| history
src/loader.pl	[new file with mode: 0644]	blob
src/machine/attributed_variables.pl		diff \| blob \| history
src/machine/attributed_variables.rs		diff \| blob \| history
src/machine/code_repo.rs		diff \| blob \| history
src/machine/code_walker.rs		diff \| blob \| history
src/machine/compile.rs		diff \| blob \| history
src/machine/dynamic_database.rs	[deleted file]	blob \| history
src/machine/heap.rs		diff \| blob \| history
src/machine/load_state.rs	[new file with mode: 0644]	blob
src/machine/loader.rs	[new file with mode: 0644]	blob
src/machine/machine_errors.rs		diff \| blob \| history
src/machine/machine_indices.rs		diff \| blob \| history
src/machine/machine_state.rs		diff \| blob \| history
src/machine/machine_state_impl.rs		diff \| blob \| history
src/machine/mod.rs		diff \| blob \| history
src/machine/modules.rs	[deleted file]	blob \| history
src/machine/partial_string.rs		diff \| blob \| history
src/machine/preprocessor.rs	[new file with mode: 0644]	blob
src/machine/project_attributes.pl		diff \| blob \| history
src/machine/stack.rs		diff \| blob \| history
src/machine/streams.rs		diff \| blob \| history
src/machine/system_calls.rs		diff \| blob \| history
src/machine/term_expansion.rs	[deleted file]	blob \| history
src/machine/term_stream.rs	[new file with mode: 0644]	blob
src/machine/toplevel.rs	[deleted file]	blob \| history
src/macros.rs		diff \| blob \| history
src/main.rs		diff \| blob \| history
src/read.rs		diff \| blob \| history
src/term_and_goal_expansion.pl	[new file with mode: 0644]	blob
src/toplevel.pl		diff \| blob \| history
src/write.rs		diff \| blob \| history

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom