Repositorios git - scryer-prolog.git/shortlog

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

2021-02-09	Mark Thom	correct faulty removal of clauses in abolish/1	commit \| commitdiff \| tree \| snapshot
2021-02-08	Mark Thom	clean up implementation of (->)/2, (;)/2, and (,)/2	commit \| commitdiff \| tree \| snapshot
2021-02-07	Mark Thom	remove tidy_trail	commit \| commitdiff \| tree \| snapshot
2021-02-07	Mark Thom	append .pl to names of files that do not exist in loader.pl	commit \| commitdiff \| tree \| snapshot
2021-02-07	Mark Thom	use parent() instead of ancestors().next() in load_cont...	commit \| commitdiff \| tree \| snapshot
2021-02-07	Mark Thom	Merge branch 'Skgland-clean_up' into rebis-dev	commit \| commitdiff \| tree \| snapshot
2021-02-06	Bennet Bleßmann	change reposity url	commit \| commitdiff \| tree \| snapshot
2021-02-06	Skgland	rename `prolog_parser_rebis` to `prolog_parser`	commit \| commitdiff \| tree \| snapshot
2021-02-06	Skgland	fix incorrect rug path	commit \| commitdiff \| tree \| snapshot
2021-02-06	Skgland	more clippy lints	commit \| commitdiff \| tree \| snapshot
2021-02-06	Skgland	more clippy lints	commit \| commitdiff \| tree \| snapshot
2021-02-06	Skgland	fix clippy lint match\|if let looks like matches! macro	commit \| commitdiff \| tree \| snapshot
2021-02-06	Skgland	fix clippy lint `Manual RangeInclusive::contains implem...	commit \| commitdiff \| tree \| snapshot
2021-02-06	Skgland	fix some clippy lint warnings	commit \| commitdiff \| tree \| snapshot
2021-02-06	Skgland	fix macro hygien	commit \| commitdiff \| tree \| snapshot
2021-02-06	Skgland	change prolog_parse_rebis to use 2018 edition rust	commit \| commitdiff \| tree \| snapshot
2021-02-06	Skgland	remove use statements from main.rs that temporary repla...	commit \| commitdiff \| tree \| snapshot
2021-02-06	Skgland	remove extern crate declaration and fix outfall (macros...	commit \| commitdiff \| tree \| snapshot
2021-02-06	Mark Thom	set rustyline to check the cursor position (#802),...	commit \| commitdiff \| tree \| snapshot
2021-02-06	Mark Thom	remove dynamic clause declaration for clause internal	commit \| commitdiff \| tree \| snapshot
2021-02-06	Mark Thom	shed module names from arguments of the (->)/2, (,...	commit \| commitdiff \| tree \| snapshot
2021-02-06	Mark Thom	collate paths as atoms in loader.pl (#778)	commit \| commitdiff \| tree \| snapshot
2021-02-06	Mark Thom	gather initialization goals and call them once load...	commit \| commitdiff \| tree \| snapshot
2021-02-06	Mark Thom	implement abolish/1	commit \| commitdiff \| tree \| snapshot
2021-02-06	Mark Thom	Merge branch 'rebis-dev' of https://github.com/mthom...	commit \| commitdiff \| tree \| snapshot
2021-02-06	Mark Thom	bootstrap the top-level by calling ''/1 as in master...	commit \| commitdiff \| tree \| snapshot
2021-02-06	Mark Thom	delay premature set_switch_var_offset_* calls in retrac...	commit \| commitdiff \| tree \| snapshot
2021-02-05	Mark Thom	Merge pull request #798 from triska/rebis-dev	commit \| commitdiff \| tree \| snapshot
2021-02-05	Mark Thom	make load_context_path/2 handle .pl file extensions...	commit \| commitdiff \| tree \| snapshot
2021-02-05	Markus Triska	ENHANCED: Enable goal expansion for CLP(ℤ).	commit \| commitdiff \| tree \| snapshot
2021-02-05	Markus Triska	Revert "preliminary workaround for #788"	commit \| commitdiff \| tree \| snapshot
2021-02-05	Mark Thom	implement dynamic, multifile, and discontiguous propert...	commit \| commitdiff \| tree \| snapshot
2021-02-05	Mark Thom	remove defunct reset function (#782)	commit \| commitdiff \| tree \| snapshot
2021-02-05	Mark Thom	modify rightmost_power/2 to ignore module qualification...	commit \| commitdiff \| tree \| snapshot
2021-02-05	Mark Thom	perform goal expansion in call/N (#788, #797)	commit \| commitdiff \| tree \| snapshot
2021-02-04	Mark Thom	Merge pull request #793 from triska/rebis-dev	commit \| commitdiff \| tree \| snapshot
2021-02-04	Markus Triska	preliminary workaround for #788	commit \| commitdiff \| tree \| snapshot
2021-02-03	Mark Thom	respect module context in expand_module_names (#788)	commit \| commitdiff \| tree \| snapshot
2021-02-03	Mark Thom	resolve calls to tranpose_ and same_length in lists...	commit \| commitdiff \| tree \| snapshot
2021-02-03	Mark Thom	introduce cuts over indexed (:)/2 of dcgs:phrase_/3...	commit \| commitdiff \| tree \| snapshot
2021-02-03	Mark Thom	Merge pull request #787 from triska/rebis-dev	commit \| commitdiff \| tree \| snapshot
2021-02-03	Markus Triska	add meta_predicate declaration for must_succeed/1	commit \| commitdiff \| tree \| snapshot
2021-02-03	Mark Thom	enable phrase_ rules for module resolved grammars ...	commit \| commitdiff \| tree \| snapshot
2021-02-03	Markus Triska	add meta_predicate declaration for with_local_attributes/3	commit \| commitdiff \| tree \| snapshot
2021-02-03	Mark Thom	manually expand module names in higher-order predicates...	commit \| commitdiff \| tree \| snapshot
2021-02-03	Markus Triska	Use term expansion for generated predicates.	commit \| commitdiff \| tree \| snapshot
2021-02-03	Mark Thom	restore cut after dcg_constr check (#784)	commit \| commitdiff \| tree \| snapshot
2021-02-03	Mark Thom	add meta-predicate declarations to reif library	commit \| commitdiff \| tree \| snapshot
2021-02-03	Mark Thom	Merge branch 'master' into rebis-dev	commit \| commitdiff \| tree \| snapshot
2021-02-03	Mark Thom	restore prolog_parser test files (#782)	commit \| commitdiff \| tree \| snapshot
2021-02-03	Mark Thom	do not traverse data structures when binding to local...	commit \| commitdiff \| tree \| snapshot
2021-02-03	Mark Thom	use find_inner_choice_instr when appending an indexed...	commit \| commitdiff \| tree \| snapshot
2021-02-03	Mark Thom	expand attributed variable goals	commit \| commitdiff \| tree \| snapshot
2021-02-03	Mark Thom	replace Char '!' with QueryTerm::BlockedCut	commit \| commitdiff \| tree \| snapshot
2021-02-03	Mark Thom	set target_pos' clause_start correctly in append_compil...	commit \| commitdiff \| tree \| snapshot
2021-02-03	Mark Thom	Merge pull request #774 from brightly-salty/re-add...	commit \| commitdiff \| tree \| snapshot
2021-02-03	Caden Haustein	Add prolog_parser	commit \| commitdiff \| tree \| snapshot
2021-02-02	Mark Thom	export loader's public predicates from builtins, handle...	commit \| commitdiff \| tree \| snapshot
2021-02-02	Mark Thom	add built_in to predicate_property	commit \| commitdiff \| tree \| snapshot
2021-02-02	Mark Thom	add meta-predicate declarations before their definitions	commit \| commitdiff \| tree \| snapshot
2021-02-01	Mark Thom	move term expansion logic entirely into loader.pl	commit \| commitdiff \| tree \| snapshot
2021-02-01	Mark Thom	add module scoping to predicate_property, expand subgoa...	commit \| commitdiff \| tree \| snapshot
2021-02-01	Mark Thom	call attribute variable goals with module resolution	commit \| commitdiff \| tree \| snapshot
2021-02-01	Mark Thom	replace (:) with 0 in meta-predicate declarations,...	commit \| commitdiff \| tree \| snapshot
2021-01-31	Mark Thom	Merge branch 'master' into rebis-dev	commit \| commitdiff \| tree \| snapshot
2021-01-31	Mark Thom	Merge pull request #771 from notoria/args	commit \| commitdiff \| tree \| snapshot
2021-01-31	Caden Haustein	Fix errors, move prolog_parser	commit \| commitdiff \| tree \| snapshot
2021-01-31	Caden Haustein	Add prolog_parser to scryer_prolog	commit \| commitdiff \| tree \| snapshot
2021-01-31	notoria	Handled the empty case (#770)	commit \| commitdiff \| tree \| snapshot
2021-01-31	Mark Thom	fix bug in append_compiled_clause, generalize merging...	commit \| commitdiff \| tree \| snapshot
2021-01-31	Mark Thom	properly thread functors whose first subterm is a varia...	commit \| commitdiff \| tree \| snapshot
2021-01-31	Mark Thom	target prolog_parser_rebis on crates.io	commit \| commitdiff \| tree \| snapshot
2021-01-31	Mark Thom	explain motive for Rebis development branch in README.md	commit \| commitdiff \| tree \| snapshot
2021-01-31	Mark Thom	move to a predicate-based module system, move to loader...	commit \| commitdiff \| tree \| snapshot
2021-01-30	Mark Thom	Merge pull request #766 from aarroyoc/http-form	commit \| commitdiff \| tree \| snapshot
2021-01-30	Mark Thom	Merge pull request #769 from notoria/between	commit \| commitdiff \| tree \| snapshot
2021-01-30	notoria	Removed redundant choicepoint from between/3	commit \| commitdiff \| tree \| snapshot
2021-01-27	Adrián Arroyo...	Test against macOS 10.15	commit \| commitdiff \| tree \| snapshot
2021-01-27	Adrián Arroyo...	urlencoded forms and some syntax improvements	commit \| commitdiff \| tree \| snapshot
2021-01-23	Mark Thom	Merge pull request #762 from aarroyoc/gh-action	commit \| commitdiff \| tree \| snapshot
2021-01-16	Adrián Arroyo...	Fix Beta	commit \| commitdiff \| tree \| snapshot
2021-01-16	Adrián Arroyo...	Disable Windows	commit \| commitdiff \| tree \| snapshot
2021-01-16	Adrián Arroyo...	Minor fix	commit \| commitdiff \| tree \| snapshot
2021-01-16	Adrián Arroyo...	Delete Travis CI	commit \| commitdiff \| tree \| snapshot
2021-01-16	Adrián Arroyo...	GitHub Actions	commit \| commitdiff \| tree \| snapshot
2020-12-29	Mark Thom	Merge pull request #747 from triska/determinism	commit \| commitdiff \| tree \| snapshot
2020-12-29	Markus Triska	reflect better determinism thanks to #732	commit \| commitdiff \| tree \| snapshot
2020-12-29	Mark Thom	Merge pull request #726 from aarroyoc/http-server	commit \| commitdiff \| tree \| snapshot
2020-12-28	Adrián Arroyo...	PR feedback	commit \| commitdiff \| tree \| snapshot
2020-12-28	Adrián Arroyo...	URL Decode	commit \| commitdiff \| tree \| snapshot
2020-12-27	Adrián Arroyo...	Log time	commit \| commitdiff \| tree \| snapshot
2020-12-27	Adrián Arroyo...	Improve docs & Route matching	commit \| commitdiff \| tree \| snapshot
2020-12-27	Adrián Arroyo...	File response	commit \| commitdiff \| tree \| snapshot
2020-12-27	Adrián Arroyo...	Use phrase instead of forall	commit \| commitdiff \| tree \| snapshot
2020-12-27	Adrián Arroyo...	Queries	commit \| commitdiff \| tree \| snapshot
2020-12-27	Adrián Arroyo...	Merge branch 'master' into http-server	commit \| commitdiff \| tree \| snapshot
2020-12-27	Adrián Arroyo...	Redirections, default status code, rout matching 1.0	commit \| commitdiff \| tree \| snapshot
2020-12-27	Mark Thom	fix bug in code walker causing entire clauses to be...	commit \| commitdiff \| tree \| snapshot
2020-12-23	Mark Thom	Merge pull request #743 from triska/determinism	commit \| commitdiff \| tree \| snapshot
2020-12-23	Markus Triska	reflect determinism improvement thanks to the latest...	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom