Repositorios git - scryer-prolog.git/shortlog

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

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
2021-02-25	Markus Triska	ADDED: library(lambda) by Ulrich Neumerkel.	commit \| commitdiff \| tree \| snapshot
2021-02-23	Mark Thom	add copy_term_nat/2 (#795)	commit \| commitdiff \| tree \| snapshot
2021-02-23	Mark Thom	no longer delay verify_attributes for cut instructions...	commit \| commitdiff \| tree \| snapshot
2021-02-23	Mark Thom	no longer generate a choice point in bb_b_put/2 (#742)	commit \| commitdiff \| tree \| snapshot
2021-02-22	Mark Thom	consume whitespace before reading a term in loader...	commit \| commitdiff \| tree \| snapshot
2021-02-22	Mark Thom	extend existing local predicate skeletons in LoadState...	commit \| commitdiff \| tree \| snapshot
2021-02-22	Mark Thom	anonymize singleton variables in iso_ext.pl, charsio.pl	commit \| commitdiff \| tree \| snapshot
2021-02-22	Mark Thom	issue singleton variable warnings from loader.pl (...	commit \| commitdiff \| tree \| snapshot
2021-02-22	Mark Thom	wrap stream instances in one Rc<RefCell<..>>, use Ref...	commit \| commitdiff \| tree \| snapshot
2021-02-21	Mark Thom	Merge pull request #834 from aarroyoc/rebis-http	commit \| commitdiff \| tree \| snapshot
2021-02-21	Adrián Arroyo...	Fix typo	commit \| commitdiff \| tree \| snapshot
2021-02-21	Adrián Arroyo...	Use notoria's comment	commit \| commitdiff \| tree \| snapshot
2021-02-21	Mark Thom	Merge pull request #830 from aarroyoc/rebis-http	commit \| commitdiff \| tree \| snapshot
2021-02-21	Mark Thom	tweak bimetatrans_tests.pl	commit \| commitdiff \| tree \| snapshot
2021-02-21	Mark Thom	add set_prolog_flag to declarations recognized by loader.pl	commit \| commitdiff \| tree \| snapshot
2021-02-21	Mark Thom	correct comment before call meta_predicate declarations	commit \| commitdiff \| tree \| snapshot
2021-02-21	Mark Thom	add 'e' as evaluable functor for Euler's constant ...	commit \| commitdiff \| tree \| snapshot
2021-02-21	Mark Thom	use env::current_dir in Machine::current_dir (#833)	commit \| commitdiff \| tree \| snapshot
2021-02-20	Mark Thom	move to a local num-rug-adapter crate addressing #822	commit \| commitdiff \| tree \| snapshot
2021-02-19	Mark Thom	remove nl after top-level use_module (#818)	commit \| commitdiff \| tree \| snapshot
2021-02-19	Mark Thom	qualify command-line specified goals with user: (#820)	commit \| commitdiff \| tree \| snapshot
2021-02-19	Mark Thom	treat LocalCodePtr::Halt received at lookup_local_instr...	commit \| commitdiff \| tree \| snapshot
2021-02-19	Mark Thom	add qualified imports use_module library modules	commit \| commitdiff \| tree \| snapshot
2021-02-18	Adrián Arroyo...	Fix HTTP server to work on Rebis branch. Breaking change	commit \| commitdiff \| tree \| snapshot
2021-02-18	Mark Thom	Merge pull request #829 from aarroyoc/uuidv4	commit \| commitdiff \| tree \| snapshot
2021-02-18	Adrián Arroyo...	UUIDv4 generation	commit \| commitdiff \| tree \| snapshot
2021-02-18	Mark Thom	use add_dynamically_generated_module in get_or_insert_l...	commit \| commitdiff \| tree \| snapshot
2021-02-18	Mark Thom	add '$remove_module_exports' to loader.rs	commit \| commitdiff \| tree \| snapshot
2021-02-18	Mark Thom	Merge pull request #828 from triska/rebis-dev	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom