Repositorios git - scryer-prolog.git/shortlog

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

2023-08-03	Joshua Parkin	dont spawn a runtime in machine; inherit from outside...	commit \| commitdiff \| tree \| snapshot
2023-08-02	Nicolas Luck	Deactivate some debugging outputs	commit \| commitdiff \| tree \| snapshot
2023-08-02	Nicolas Luck	Switch back to run_input_once and use duplicated write_...	commit \| commitdiff \| tree \| snapshot
2023-08-02	Nicolas Luck	Fix build	commit \| commitdiff \| tree \| snapshot
2023-07-27	Nicolas Luck	Try triska's toplevel and add some debugging println!s.	commit \| commitdiff \| tree \| snapshot
2023-07-27	Nicolas Luck	HashSet -> BTreeSet: Make parsing or results and thus...	commit \| commitdiff \| tree \| snapshot
2023-07-27	Nicolas Luck	Add special case when parsing	commit \| commitdiff \| tree \| snapshot
2023-07-27	Nicolas Luck	Add consult that works with streams / strings in librar...	commit \| commitdiff \| tree \| snapshot
2023-07-21	Nicolas Luck	Dedupe machine results	commit \| commitdiff \| tree \| snapshot
2023-07-21	Nicolas Luck	Add missing list_last_item to lib_toplevel.pl and incre...	commit \| commitdiff \| tree \| snapshot
2023-07-21	Nicolas Luck	Fix result parsing for complex string results	commit \| commitdiff \| tree \| snapshot
2023-07-20	Nicolas Luck	Add missing write_goal/3 to lib_toplevel.pl	commit \| commitdiff \| tree \| snapshot
2023-07-20	Nicolas Luck	type QueryResult = Result<QueryResolution, String>	commit \| commitdiff \| tree \| snapshot
2023-07-20	Nicolas Luck	Error handling	commit \| commitdiff \| tree \| snapshot
2023-07-20	Nicolas Luck	Don't panic when parsing results fails	commit \| commitdiff \| tree \| snapshot
2023-07-17	Nicolas Luck	Add back newline at end of toplevel.pl	commit \| commitdiff \| tree \| snapshot
2023-07-17	Nicolas Luck	Add back all needed predicates to lib_toplevel.pl	commit \| commitdiff \| tree \| snapshot
2023-07-17	Nicolas Luck	Use lib constructor in lib tests	commit \| commitdiff \| tree \| snapshot
2023-07-17	Nicolas Luck	fmt machine/parsed_results.rs	commit \| commitdiff \| tree \| snapshot
2023-07-17	Nicolas Luck	WIP: refactor to generalize Machine::run_top_level()	commit \| commitdiff \| tree \| snapshot
2023-07-12	Nicolas Luck	Add test for programatic queries	commit \| commitdiff \| tree \| snapshot
2023-07-12	Nicolas Luck	Fix build warnings	commit \| commitdiff \| tree \| snapshot
2023-07-12	Nicolas Luck	Refactor result parsing to idiomatic Rust and extract...	commit \| commitdiff \| tree \| snapshot
2023-07-11	Nicolas Luck	Remove debug println!s	commit \| commitdiff \| tree \| snapshot
2023-07-11	Nicolas Luck	Parsed QueryResult	commit \| commitdiff \| tree \| snapshot
2023-07-11	Nicolas Luck	Make run_input_once/0 match and print all results	commit \| commitdiff \| tree \| snapshot
2023-07-11	Nicolas Luck	Add convenience methods Machine::load_module_string...	commit \| commitdiff \| tree \| snapshot
2023-07-11	Nicolas Luck	Add Machine::run_input_once() which reads one goal...	commit \| commitdiff \| tree \| snapshot
2023-07-11	Nicolas Luck	Add Machine::set_user_input(&mut self, input: String...	commit \| commitdiff \| tree \| snapshot
2022-11-10	Mark Thom	Merge pull request #1635 from mthom/rebis-dev v0.9.1	commit \| commitdiff \| tree \| snapshot
2022-11-10	Mark Thom	bump version to 0.9.1	commit \| commitdiff \| tree \| snapshot
2022-11-10	Mark Thom	remove num-rug-adapter	commit \| commitdiff \| tree \| snapshot
2022-11-10	Mark Thom	move asserta/2, assertz/2 to iso_ext	commit \| commitdiff \| tree \| snapshot
2022-11-08	Mark Thom	introduce InlineTermStream to avoid arena allocations...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	Merge pull request #1630 from epilys/fix-1625	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	FIXED: CLP(ℤ): Correctly remove all attributes during...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	build partial strings using PStrLoc in write_term_to_he...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	export asserta/2 (#1623)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	cache ball terms before unifying in handle_ball/3 ...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Adrián Arroyo...	Some minor fixes. Thanks to @triska for them!	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	fix crash in read_term (#1616)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Skgland	adjust rust-version declaration	commit \| commitdiff \| tree \| snapshot
2022-10-27	Adrián Arroyo...	Set default Shell	commit \| commitdiff \| tree \| snapshot
2022-10-27	Adrián Arroyo...	Add Windows MSYS2	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	ENHANCED: library(crypto): Faster conversion to bytes...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	use newly available u8s_to_string	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	remove redundant error handling, since this case is...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	introduce and use u8s_to_string	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	use (slightly) better variable names	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	use newly available must_be(chars, ...) for better...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	ENHANCED: Eliminate the OpenSSL dependency of library...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	properly match strings concluding with characters in...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	correct nth0/4 and nth1/4	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	remove nth1/3, which is now provided by library(lists)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	remove nth1/3, which is now provided by library(lists)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	ENHANCED: Much improved nth0/3, taken from #1529.	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	ADDED: must_be/can_be(not_less_than_zero, ...)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	better implementation of list_si/1	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	ADDED: chars_si/1, testing for a string	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	use new domain names from library(error): octet_charact...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	ADDED: octet_character and octet_chars, testing for...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	rely on the built-in DCG expansion, per discussion...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	ENHANCED: Use '$skip_max_list'/4 for greater efficiency...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	ENHANCED: Improve determinism of ... //0 and seq//1.	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	offset into complete strings with '$skip_max_list'...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	don't return ops with priority 0 when building set...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	treat functors with PI '.'/2 as lists (#1570)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	introduce expand_call_goal/3 to expand goals in control...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	use a DCG to describe the path	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	remove entailed must_be/2 goals	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	use newly available ... //0 from library(dcgs)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	add meta_predicate/1 declaration for phrase_to_file/3	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	strip modules from GRBody in phrase/3 (#1565)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	fail on non-list solutions in setof/3 (#1553)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Adrián Arroyo...	HTTP Server 2.0	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	prefix inlined goals with module names in expand_subgoa...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	try to invoke '$call_inline' a second time in call...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	ENHANCED: CLP(ℤ): Reduce redundant propagator invocatio...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Markus Triska	add meta_predicate/1 declarations	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	resolve phrase modules internally (#1541)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	fail when exception caught from subgoal expansion ...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	fix module resolution in dcgs, call/N (#1539)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	deduplicate index ptr inlining for 0-arity atoms (...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	trim get_structure and put_structure arities when last...	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	print index_ptr offset (#1534)	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	use separate predicate for findall cleanup	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	inference count call_inline, fail on undefined index	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	streamline assertz/1, asserta/1	commit \| commitdiff \| tree \| snapshot
2022-10-27	Mark Thom	inline metacalls	commit \| commitdiff \| tree \| snapshot
2022-10-26	Manos Pitsidianakis	fix type_error with instantiated EOF -1 byte literal...	commit \| commitdiff \| tree \| snapshot
2022-10-26	Mark Thom	Merge pull request #1628 from epilys/fix-1626	commit \| commitdiff \| tree \| snapshot
2022-10-24	Manos Pitsidianakis	Fix xor/2 type error reporting wrong argument	commit \| commitdiff \| tree \| snapshot
2022-07-19	Mark Thom	Merge pull request #1530 from RossSmyth/FixImports	commit \| commitdiff \| tree \| snapshot
2022-07-17	Ross Smyth	Fixed imports num-rug-adapter	commit \| commitdiff \| tree \| snapshot
2022-06-22	Mark Thom	capture and propagate (=..)/2 errors in phrase/{2,3...	commit \| commitdiff \| tree \| snapshot
2022-06-18	Mark Thom	propagate inference_limit_exceeded errors through the...	commit \| commitdiff \| tree \| snapshot
2022-06-16	Mark Thom	use setup_cal_n_init_goal_info in dynamic_module_resolution	commit \| commitdiff \| tree \| snapshot
2022-06-13	Mark Thom	improve efficiency of call/N, replace '$call_with_defau...	commit \| commitdiff \| tree \| snapshot
2022-06-13	Mark Thom	simplify detecting undefined goal_ and term_expansion	commit \| commitdiff \| tree \| snapshot
2022-06-12	Mark Thom	Merge pull request #1510 from Skgland/add-gitattributes	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom