Repositorios git - scryer-prolog.git/shortlog

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

2021-04-14	Mark Thom	assertz/1, asserta/1, retract/1, retractall/1 are meta...	commit \| commitdiff \| tree \| snapshot
2021-04-13	Mark Thom	Merge pull request #897 from panasenco/master	commit \| commitdiff \| tree \| snapshot
2021-04-13	panasenco	Switched to cargo-chef for preparing the Docker image	commit \| commitdiff \| tree \| snapshot
2021-04-12	Mark Thom	add missing standard predicates (#896)	commit \| commitdiff \| tree \| snapshot
2021-03-24	Mark Thom	call '$erase_ball' before running cleanup code in setup...	commit \| commitdiff \| tree \| snapshot
2021-03-24	Mark Thom	stop unifying ! to free variables in control_functor...	commit \| commitdiff \| tree \| snapshot
2021-03-23	Mark Thom	make retract_local_clauses safe, remove warning about...	commit \| commitdiff \| tree \| snapshot
2021-03-23	Mark Thom	use occurs check when enabled in UnifyValue (#885)	commit \| commitdiff \| tree \| snapshot
2021-03-23	Mark Thom	reorder declaration matching in loader.pl	commit \| commitdiff \| tree \| snapshot
2021-03-22	Mark Thom	flush loader term queue before compiling declarations...	commit \| commitdiff \| tree \| snapshot
2021-03-22	Mark Thom	remove redundant retraction records for incremental...	commit \| commitdiff \| tree \| snapshot
2021-03-22	Mark Thom	compare the tails of partial string prefixes in compare...	commit \| commitdiff \| tree \| snapshot
2021-03-21	Mark Thom	copies only those attributes planted by the calling...	commit \| commitdiff \| tree \| snapshot
2021-03-21	Mark Thom	remove vestigial attribute goals struct field and relat...	commit \| commitdiff \| tree \| snapshot
2021-03-20	Mark Thom	rename issue841-occure-check.pl to issue841-occurs...	commit \| commitdiff \| tree \| snapshot
2021-03-19	Mark Thom	recognize cuts in (->)/(,)/(;) calling contexts (#878)	commit \| commitdiff \| tree \| snapshot
2021-03-18	Mark Thom	Merge pull request #872 from notoria/charsio	commit \| commitdiff \| tree \| snapshot
2021-03-18	Mark Thom	fix findall/4 (#873)	commit \| commitdiff \| tree \| snapshot
2021-03-18	Mark Thom	restore deleted parts of number_chars/2 and number_code...	commit \| commitdiff \| tree \| snapshot
2021-03-18	Mark Thom	print floating point zero as 0.0 (#859)	commit \| commitdiff \| tree \| snapshot
2021-03-18	Mark Thom	make chars callable (#713)	commit \| commitdiff \| tree \| snapshot
2021-03-18	Mark Thom	always print variable bindings before names (#865)	commit \| commitdiff \| tree \| snapshot
2021-03-18	Mark Thom	check that a load context path is a filename before...	commit \| commitdiff \| tree \| snapshot
2021-03-18	Mark Thom	findall/4 should be declared as a meta-predicate (...	commit \| commitdiff \| tree \| snapshot
2021-03-17	Mark Thom	issue an imcomplete reduction error if stream ends...	commit \| commitdiff \| tree \| snapshot
2021-03-17	notoria	Extend alnum, add forgotten graphic_token	commit \| commitdiff \| tree \| snapshot
2021-03-17	Mark Thom	remove operators declared at user-level from files...	commit \| commitdiff \| tree \| snapshot
2021-03-16	Mark Thom	clear user-level definitions when reloading a file...	commit \| commitdiff \| tree \| snapshot
2021-03-15	Mark Thom	don't warn about overwriting a clause asserted to a...	commit \| commitdiff \| tree \| snapshot
2021-03-14	Mark Thom	remove intra-module predicates from module code directo...	commit \| commitdiff \| tree \| snapshot
2021-03-13	Mark Thom	Merge pull request #866 from Skgland/add_tests	commit \| commitdiff \| tree \| snapshot
2021-03-11	Skgland	fix expected output for syntax_error test	commit \| commitdiff \| tree \| snapshot
2021-03-11	Skgland	address problems brought up in review	commit \| commitdiff \| tree \| snapshot
2021-03-11	Skgland	add more tests	commit \| commitdiff \| tree \| snapshot
2021-03-11	Skgland	improve comment	commit \| commitdiff \| tree \| snapshot
2021-03-11	Skgland	clean up tests/	commit \| commitdiff \| tree \| snapshot
2021-03-10	Mark Thom	fix is_cyclic_term (#864)	commit \| commitdiff \| tree \| snapshot
2021-03-10	Mark Thom	Merge pull request #861 from notoria/mod	commit \| commitdiff \| tree \| snapshot
2021-03-10	notoria	Added a test for mod in CLP(Z)	commit \| commitdiff \| tree \| snapshot
2021-03-09	Mark Thom	Merge pull request #862 from notoria/xor	commit \| commitdiff \| tree \| snapshot
2021-03-07	notoria	Use functional notation in CLP(Z) for compatibility	commit \| commitdiff \| tree \| snapshot
2021-03-07	notoria	Implemented a propagator for xor in CLP(Z)	commit \| commitdiff \| tree \| snapshot
2021-03-07	notoria	Small improvement for mod in CLP(Z)	commit \| commitdiff \| tree \| snapshot
2021-03-05	Mark Thom	Merge pull request #858 from triska/master	commit \| commitdiff \| tree \| snapshot
2021-03-05	Markus Triska	is is --> is	commit \| commitdiff \| tree \| snapshot
2021-03-05	Markus Triska	FIXED: CLP(B): weighted_maximum/3 with repeated variables	commit \| commitdiff \| tree \| snapshot
2021-03-05	Markus Triska	adapt comment to Scryer Prolog	commit \| commitdiff \| tree \| snapshot
2021-03-05	Mark Thom	qualify '$print_project_attributes_exception' call...	commit \| commitdiff \| tree \| snapshot
2021-03-04	Mark Thom	call project_attributes from top-level (#846)	commit \| commitdiff \| tree \| snapshot
2021-03-04	Mark Thom	Merge pull request #856 from triska/master	commit \| commitdiff \| tree \| snapshot
2021-03-04	Markus Triska	ENHANCED: more readable indentation of nested disjunctions	commit \| commitdiff \| tree \| snapshot
2021-03-04	Markus Triska	remove unnecessary argument	commit \| commitdiff \| tree \| snapshot
2021-03-03	Mark Thom	Merge pull request #854 from triska/master	commit \| commitdiff \| tree \| snapshot
2021-03-03	Markus Triska	use the new portray_clause/1 output for generated defin...	commit \| commitdiff \| tree \| snapshot
2021-03-03	Markus Triska	separate side-effects from declarative description...	commit \| commitdiff \| tree \| snapshot
2021-03-03	Markus Triska	ENHANCED: more readable indentation of nested ( If...	commit \| commitdiff \| tree \| snapshot
2021-03-03	Mark Thom	catch exceptions thrown from initialization goals ...	commit \| commitdiff \| tree \| snapshot
2021-03-03	Mark Thom	has_tail must be false for use as a filename from open...	commit \| commitdiff \| tree \| snapshot
2021-03-03	Mark Thom	Merge pull request #851 from Skgland/fix_num_test2	commit \| commitdiff \| tree \| snapshot
2021-03-03	Skgland	workaround to make num tests work	commit \| commitdiff \| tree \| snapshot
2021-03-02	Mark Thom	Merge pull request #849 from triska/master	commit \| commitdiff \| tree \| snapshot
2021-03-02	Markus Triska	remove min_/3 and max_/3 which are also defined elsewhere	commit \| commitdiff \| tree \| snapshot
2021-03-02	Markus Triska	remove group_pairs_by_key/2, which is now provided...	commit \| commitdiff \| tree \| snapshot
2021-03-02	Mark Thom	warn when overwriting a predicate (#848)	commit \| commitdiff \| tree \| snapshot
2021-03-02	Mark Thom	do not check for non-unifiability in dif:attribute_goal...	commit \| commitdiff \| tree \| snapshot
2021-03-01	Mark Thom	Merge pull request #845 from triska/master	commit \| commitdiff \| tree \| snapshot
2021-03-01	Markus Triska	explain the new occurs_check flag	commit \| commitdiff \| tree \| snapshot
2021-03-01	Mark Thom	use atom_chars to convert .scryerrc path string to...	commit \| commitdiff \| tree \| snapshot
2021-03-01	Mark Thom	use plain ! while interpreting control functors in...	commit \| commitdiff \| tree \| snapshot
2021-03-01	Mark Thom	apply expand_module_names to call(A) goals	commit \| commitdiff \| tree \| snapshot
2021-03-01	Mark Thom	suppress tabled/2 existence errors in tabling library...	commit \| commitdiff \| tree \| snapshot
2021-03-01	Mark Thom	Merge pull request #843 from mthom/rebis-dev	commit \| commitdiff \| tree \| snapshot
2021-03-01	Mark Thom	check that Module is an atom before calling Module...	commit \| commitdiff \| tree \| snapshot
2021-03-01	Mark Thom	wrap variable goals in module-expanded call/1	commit \| commitdiff \| tree \| snapshot
2021-03-01	Mark Thom	do not print error messages if .scryerrc[.pl] does...	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	print errors arising from term and goal expansion calls...	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	introduce bind_fn, use in applicable Fact/Query instruc...	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	pop non-composite terms from iter stack in is_cyclic_term	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	add error value to occurs_check prolog flag (#783)	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	Merge pull request #838 from Skgland/librarify	commit \| commitdiff \| tree \| snapshot
2021-02-28	Skgland	revert removal of PartialEq	commit \| commitdiff \| tree \| snapshot
2021-02-28	Skgland	move the signal handler to the binary	commit \| commitdiff \| tree \| snapshot
2021-02-28	Skgland	remove #[allow(dead_code)]	commit \| commitdiff \| tree \| snapshot
2021-02-28	Skgland	fix CI lib build with beta compiler	commit \| commitdiff \| tree \| snapshot
2021-02-28	Skgland	adjust ci	commit \| commitdiff \| tree \| snapshot
2021-02-28	Skgland	split into lib and bin	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	restore .scryerrc loading	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	add occurs_check flag (#309)	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	enable op declarations with lists of operands using...	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	add lines read from devour_whitespace (#836)	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	set compilation_target of assert loader to match that...	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	update the parser with the number of lines already...	commit \| commitdiff \| tree \| snapshot
2021-02-28	Mark Thom	implement logical update semantics for dynamic database...	commit \| commitdiff \| tree \| snapshot
2021-02-25	Mark Thom	Merge pull request #837 from triska/rebis-dev	commit \| commitdiff \| tree \| snapshot
2021-02-25	Markus Triska	add entry for library(lambda)	commit \| commitdiff \| tree \| snapshot
2021-02-25	Markus Triska	omit internal residual goals for global_cardinality/2	commit \| commitdiff \| tree \| snapshot
2021-02-25	Markus Triska	remove unused attribute_goal/2	commit \| commitdiff \| tree \| snapshot
2021-02-25	Mark Thom	Merge pull request #835 from triska/lambda	commit \| commitdiff \| tree \| snapshot
2021-02-25	Markus Triska	adapt libraries and toplevel output to Scryer Prolog	commit \| commitdiff \| tree \| snapshot
2021-02-25	Markus Triska	use individual meta_predicate/1 declarations	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom