Repositorios git - scryer-prolog.git/shortlog

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

2019-03-04	Mark Thom	refactor to actual modules	commit \| commitdiff \| tree \| snapshot
2019-03-04	Mark Thom	remove unification from dif/2	commit \| commitdiff \| tree \| snapshot
2019-03-04	Mark Thom	condense reverse even further	commit \| commitdiff \| tree \| snapshot
2019-03-03	Mark Thom	tighten reverse/2	commit \| commitdiff \| tree \| snapshot
2019-03-03	Mark Thom	improve reverse/2	commit \| commitdiff \| tree \| snapshot
2019-03-03	Mark Thom	eliminate redundant set_p function	commit \| commitdiff \| tree \| snapshot
2019-03-03	Mark Thom	do not hard code arity in builtins.pl	commit \| commitdiff \| tree \| snapshot
2019-03-03	Mark Thom	correct inlining calling in last call context	commit \| commitdiff \| tree \| snapshot
2019-03-02	Mark Thom	correct inlined calling bug in last call, add dynamic...	commit \| commitdiff \| tree \| snapshot
2019-03-02	Mark Thom	add assertz/1 and asserta/1	commit \| commitdiff \| tree \| snapshot
2019-03-01	Mark Thom	start enabling the dynamic database	commit \| commitdiff \| tree \| snapshot
2019-02-26	Mark Thom	remove defunct dependency from reif.pl	commit \| commitdiff \| tree \| snapshot
2019-02-24	Mark Thom	make better use of can_be in between library	commit \| commitdiff \| tree \| snapshot
2019-02-24	Mark Thom	evacuate when allocating anon vars	commit \| commitdiff \| tree \| snapshot
2019-02-24	Mark Thom	remove redundancy positivity check in repeat/1	commit \| commitdiff \| tree \| snapshot
2019-02-24	Mark Thom	use can_be and must_be in library(between)	commit \| commitdiff \| tree \| snapshot
2019-02-24	Mark Thom	begin work on between library	commit \| commitdiff \| tree \| snapshot
2019-02-24	Mark Thom	add numlist/3	commit \| commitdiff \| tree \| snapshot
2019-02-24	Mark Thom	begin work on between library	commit \| commitdiff \| tree \| snapshot
2019-02-23	Mark Thom	add correct error sources to bagof/3, setof/3, findall/4	commit \| commitdiff \| tree \| snapshot
2019-02-23	Mark Thom	add examples from the power of prolog	commit \| commitdiff \| tree \| snapshot
2019-02-23	Mark Thom	add findall/4, bagof/3, setof/3	commit \| commitdiff \| tree \| snapshot
2019-02-23	Mark Thom	properly report deterministically successful queries	commit \| commitdiff \| tree \| snapshot
2019-02-23	Mark Thom	use acyclic iteration when projecting onto query vars	commit \| commitdiff \| tree \| snapshot
2019-02-22	Mark Thom	add findall/3	commit \| commitdiff \| tree \| snapshot
2019-02-21	Mark Thom	change project_attributes to use attribute vars queue	commit \| commitdiff \| tree \| snapshot
2019-02-20	Mark Thom	remove clone from unwind_trail in copier.rs	commit \| commitdiff \| tree \| snapshot
2019-02-20	Mark Thom	refactor parts of machine_state_impl.rs that consume...	commit \| commitdiff \| tree \| snapshot
2019-02-20	Mark Thom	refactor copier.rs	commit \| commitdiff \| tree \| snapshot
2019-02-19	Mark Thom	add call_residue_vars/2	commit \| commitdiff \| tree \| snapshot
2019-02-17	Mark Thom	sort attribute goals before deduplicating them linearly	commit \| commitdiff \| tree \| snapshot
2019-02-17	Mark Thom	do not count calls to $reify_switch as inferences	commit \| commitdiff \| tree \| snapshot
2019-02-17	Mark Thom	ensure stdin is not being locked more than once	commit \| commitdiff \| tree \| snapshot
2019-02-17	Mark Thom	fix term expansion bug	commit \| commitdiff \| tree \| snapshot
2019-02-16	Mark Thom	add library(reif)	commit \| commitdiff \| tree \| snapshot
2019-02-16	Mark Thom	cleanup accessors, various other things	commit \| commitdiff \| tree \| snapshot
2019-02-16	Mark Thom	polish freeze.pl and dif.pl	commit \| commitdiff \| tree \| snapshot
2019-02-16	Mark Thom	correct attribute_goals/2 bug, add freeze/2, update...	commit \| commitdiff \| tree \| snapshot
2019-02-16	Mark Thom	correct attribute_goals/2 bug, add freeze/2, update...	commit \| commitdiff \| tree \| snapshot
2019-02-15	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2019-02-15	Mark Thom	correct project_attributes, correct compare_term_test...	commit \| commitdiff \| tree \| snapshot
2019-02-14	Mark Thom	fix needless check in dif/2 implementation	commit \| commitdiff \| tree \| snapshot
2019-02-14	Mark Thom	fix bug in dif/2 implementation	commit \| commitdiff \| tree \| snapshot
2019-02-14	Mark Thom	remove extraneous [ from dif.pl	commit \| commitdiff \| tree \| snapshot
2019-02-14	Mark Thom	fix attribute_goals/2 display bugs, cycle detection bug	commit \| commitdiff \| tree \| snapshot
2019-02-13	Mark Thom	prepare to add project_attributes/2 and attribute_goals/2	commit \| commitdiff \| tree \| snapshot
2019-02-13	Mark Thom	call verify_attributes/3 once per module	commit \| commitdiff \| tree \| snapshot
2019-02-12	Mark Thom	fix attributed variables dealing with NeckCut on return	commit \| commitdiff \| tree \| snapshot
2019-02-12	Mark Thom	bracket verify_attributes/3 interrupts with allocation...	commit \| commitdiff \| tree \| snapshot
2019-02-10	Mark Thom	correct and update README	commit \| commitdiff \| tree \| snapshot
2019-02-10	Mark Thom	correct and update README	commit \| commitdiff \| tree \| snapshot
2019-02-10	Mark Thom	cut when finished verify_attributes/3 calls	commit \| commitdiff \| tree \| snapshot
2019-02-09	Mark Thom	correct error catching in call_verify_attributes/4	commit \| commitdiff \| tree \| snapshot
2019-02-09	Mark Thom	call goals in one batch after rebinding variables,...	commit \| commitdiff \| tree \| snapshot
2019-02-09	Mark Thom	correct bugs in verify_attributes handling	commit \| commitdiff \| tree \| snapshot
2019-02-08	Mark Thom	add preliminary support for verify_attributes/3	commit \| commitdiff \| tree \| snapshot
2019-02-07	Mark Thom	add verify_attributes driver code	commit \| commitdiff \| tree \| snapshot
2019-02-07	Mark Thom	flatten CompiledQuery and CompiledFact in Code, remove...	commit \| commitdiff \| tree \| snapshot
2019-02-06	Mark Thom	correct misspelled AttrVar in copier.rs	commit \| commitdiff \| tree \| snapshot
2019-02-05	Mark Thom	properly copy already-copied attributed variables as...	commit \| commitdiff \| tree \| snapshot
2019-02-05	Mark Thom	add support for copying attributed variables in copy_term	commit \| commitdiff \| tree \| snapshot
2019-02-05	Mark Thom	add support for copying attributed variables in copy_term	commit \| commitdiff \| tree \| snapshot
2019-02-05	Mark Thom	add support for copying attributed variables in copy_term	commit \| commitdiff \| tree \| snapshot
2019-02-04	Mark Thom	use bind to write constants to variables	commit \| commitdiff \| tree \| snapshot
2019-02-03	Mark Thom	copy attribute list in get_atts	commit \| commitdiff \| tree \| snapshot
2019-02-03	Mark Thom	introduce a better binding scheme for attributed variables	commit \| commitdiff \| tree \| snapshot
2019-02-03	Mark Thom	fix bug in DeleteAttribute	commit \| commitdiff \| tree \| snapshot
2019-02-02	Mark Thom	record perm vars only while resident stack frame is...	commit \| commitdiff \| tree \| snapshot
2019-02-02	Mark Thom	add Addr::AttVar to address ordering	commit \| commitdiff \| tree \| snapshot
2019-02-02	Mark Thom	expand goals in queries and queues	commit \| commitdiff \| tree \| snapshot
2019-01-31	Mark Thom	fix Cargo.toml	commit \| commitdiff \| tree \| snapshot
2019-01-31	Mark Thom	add atts.pl, various fixes	commit \| commitdiff \| tree \| snapshot
2019-01-27	Mark Thom	add AttrVar variant to Addr	commit \| commitdiff \| tree \| snapshot
2019-01-27	Mark Thom	add TrailRef type for trail	commit \| commitdiff \| tree \| snapshot
2019-01-26	Mark Thom	flatten bracketed commas in dcgs	commit \| commitdiff \| tree \| snapshot
2019-01-25	Mark Thom	fix unsafe variable handling	commit \| commitdiff \| tree \| snapshot
2019-01-23	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2019-01-23	Mark Thom	fix printer	commit \| commitdiff \| tree \| snapshot
2019-01-23	Mark Thom	prepare for improved (?) ambiguity checks	commit \| commitdiff \| tree \| snapshot
2019-01-21	Mark Thom	prepare to add bracketing conditions to heap_print	commit \| commitdiff \| tree \| snapshot
2019-01-20	Mark Thom	add op info to structures and atoms	commit \| commitdiff \| tree \| snapshot
2019-01-20	Mark Thom	clone in situ compiled terms	commit \| commitdiff \| tree \| snapshot
2019-01-17	Mark Thom	fix setup_hook	commit \| commitdiff \| tree \| snapshot
2019-01-17	Mark Thom	delete trailing whitespace in compile.rs	commit \| commitdiff \| tree \| snapshot
2019-01-17	Mark Thom	drop_expansions whenever a compilation error occurs	commit \| commitdiff \| tree \| snapshot
2019-01-16	Mark Thom	clear out expansions from code_repo if code entry fails	commit \| commitdiff \| tree \| snapshot
2019-01-06	Mark Thom	add dynamic module resolution calls	commit \| commitdiff \| tree \| snapshot
2019-01-06	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2019-01-06	Mark Thom	add module-level goal_expansion and term_expansion	commit \| commitdiff \| tree \| snapshot
2019-01-06	Mark Thom	add read support for user:term_expansion and user:goal_...	commit \| commitdiff \| tree \| snapshot
2019-01-04	Mark Thom	do not add expansions behind module boundaries until...	commit \| commitdiff \| tree \| snapshot
2018-12-28	Mark Thom	correct write_canonical/2 bug	commit \| commitdiff \| tree \| snapshot
2018-12-23	Mark Thom	fix unification on string lists.	commit \| commitdiff \| tree \| snapshot
2018-12-20	Mark Thom	fix ambiguity_check	commit \| commitdiff \| tree \| snapshot
2018-12-19	Mark Thom	make insert_from_end work correctly	commit \| commitdiff \| tree \| snapshot
2018-12-19	Mark Thom	correct space formatting in heap_print	commit \| commitdiff \| tree \| snapshot
2018-12-19	Mark Thom	eliminate ambiguity check on structs with non-zero...	commit \| commitdiff \| tree \| snapshot
2018-12-19	Mark Thom	convert append to push_char when applicable	commit \| commitdiff \| tree \| snapshot
2018-12-19	Mark Thom	remove lifetime on ReverseHeapVarDict	commit \| commitdiff \| tree \| snapshot
2018-12-15	Mark Thom	correct non-termination of expand_goal and expand_term	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom