Repositorios git - scryer-prolog.git/shortlog

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

2019-04-19	Mark Thom	fix conformity testing #274	commit \| commitdiff \| tree \| snapshot
2019-04-18	Mark Thom	minor fixes	commit \| commitdiff \| tree \| snapshot
2019-04-15	Mark Thom	make return_from_clause macro respect verify_attributes	commit \| commitdiff \| tree \| snapshot
2019-04-14	Mark Thom	fix conformity tests #279 and #296	commit \| commitdiff \| tree \| snapshot
2019-04-14	Mark Thom	update	commit \| commitdiff \| tree \| snapshot
2019-04-14	Mark Thom	correct prolog_parser path	commit \| commitdiff \| tree \| snapshot
2019-04-14	Mark Thom	read from streams.	commit \| commitdiff \| tree \| snapshot
2019-04-07	Mark Thom	update prolog_parser, refine bracketing tests.	commit \| commitdiff \| tree \| snapshot
2019-04-07	Mark Thom	correct conformity test #234	commit \| commitdiff \| tree \| snapshot
2019-04-07	Mark Thom	re: conformity test #181	commit \| commitdiff \| tree \| snapshot
2019-04-07	Mark Thom	re: conformity test #181	commit \| commitdiff \| tree \| snapshot
2019-04-07	Mark Thom	update README.md	commit \| commitdiff \| tree \| snapshot
2019-04-07	Mark Thom	resolve conformity test #138 (issue #52)	commit \| commitdiff \| tree \| snapshot
2019-04-06	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2019-04-06	Mark Thom	fix more conformity errors	commit \| commitdiff \| tree \| snapshot
2019-04-06	Mark Thom	correct for issues #88, #89, #90, conformity test ...	commit \| commitdiff \| tree \| snapshot
2019-04-06	Mark Thom	correct prolog_parser package	commit \| commitdiff \| tree \| snapshot
2019-04-06	Mark Thom	correct bad atom_length/2, atom_chars/2 error reporting	commit \| commitdiff \| tree \| snapshot
2019-04-06	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2019-04-06	Mark Thom	add atom_length/2, atom_chars/2, atom_codes/2	commit \| commitdiff \| tree \| snapshot
2019-04-06	Mark Thom	add current_op/3	commit \| commitdiff \| tree \| snapshot
2019-04-05	Mark Thom	remove $reify_switch	commit \| commitdiff \| tree \| snapshot
2019-04-05	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2019-04-05	Mark Thom	fix conformity errors	commit \| commitdiff \| tree \| snapshot
2019-04-04	Mark Thom	move forall/2 to non_iso, correct test cases.	commit \| commitdiff \| tree \| snapshot
2019-04-04	Mark Thom	move forall/2 to non_iso, correct test cases.	commit \| commitdiff \| tree \| snapshot
2019-04-03	Mark Thom	Merge pull request #83 from pmoura/add_forall_2_predicate	commit \| commitdiff \| tree \| snapshot
2019-04-03	Mark Thom	update parser	commit \| commitdiff \| tree \| snapshot
2019-04-03	Mark Thom	update parser to correct additional conformity errors...	commit \| commitdiff \| tree \| snapshot
2019-04-03	Paulo Moura	add de facto standard forall/2 predicate as a built...	commit \| commitdiff \| tree \| snapshot
2019-04-02	Mark Thom	pass more conformity tests	commit \| commitdiff \| tree \| snapshot
2019-04-02	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2019-04-02	Mark Thom	re: #80, #52	commit \| commitdiff \| tree \| snapshot
2019-04-01	Mark Thom	Merge pull request #82 from KellerFuchs/readme	commit \| commitdiff \| tree \| snapshot
2019-04-01	The Fox in...	README: Use checkboxes to track item completion in...	commit \| commitdiff \| tree \| snapshot
2019-04-01	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2019-04-01	Mark Thom	fix term_variables, add (^)/2 as an actual evaluable...	commit \| commitdiff \| tree \| snapshot
2019-04-01	Mark Thom	re: #75, #52	commit \| commitdiff \| tree \| snapshot
2019-04-01	Mark Thom	add structural tests for strings as char code lists	commit \| commitdiff \| tree \| snapshot
2019-04-01	Mark Thom	add support for char codes	commit \| commitdiff \| tree \| snapshot
2019-03-31	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2019-03-31	Mark Thom	do a better job recognizing and bracketing operators	commit \| commitdiff \| tree \| snapshot
2019-03-31	Mark Thom	clean up heap_print.rs	commit \| commitdiff \| tree \| snapshot
2019-03-31	Mark Thom	correct comma printing	commit \| commitdiff \| tree \| snapshot
2019-03-31	Mark Thom	make op/3 a predicate call from the query context	commit \| commitdiff \| tree \| snapshot
2019-03-31	Mark Thom	specially handle commas	commit \| commitdiff \| tree \| snapshot
2019-03-31	Mark Thom	add op/3 to builtin predicates	commit \| commitdiff \| tree \| snapshot
2019-03-30	Mark Thom	properly demarcate ops in dbrefs	commit \| commitdiff \| tree \| snapshot
2019-03-30	Mark Thom	re: #73	commit \| commitdiff \| tree \| snapshot
2019-03-30	Mark Thom	use can_be(list, _) in all solutions predicates	commit \| commitdiff \| tree \| snapshot
2019-03-30	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2019-03-30	Mark Thom	update writer	commit \| commitdiff \| tree \| snapshot
2019-03-29	Mark Thom	Merge pull request #70 from XVilka/patch-1	commit \| commitdiff \| tree \| snapshot
2019-03-29	Anton Kochkov	Update downcast dependency	commit \| commitdiff \| tree \| snapshot
2019-03-29	Mark Thom	pass more conformity tests	commit \| commitdiff \| tree \| snapshot
2019-03-28	Mark Thom	add db refs	commit \| commitdiff \| tree \| snapshot
2019-03-28	Mark Thom	make current_predicate/1 more general, re: #66	commit \| commitdiff \| tree \| snapshot
2019-03-27	Mark Thom	index inlined and builtin clausetypes inside a BTreeMap	commit \| commitdiff \| tree \| snapshot
2019-03-24	Mark Thom	update readline.rs crate	commit \| commitdiff \| tree \| snapshot
2019-03-24	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2019-03-24	Mark Thom	bracket RHS when necessary in variable equations	commit \| commitdiff \| tree \| snapshot
2019-03-24	Mark Thom	use updated readline	commit \| commitdiff \| tree \| snapshot
2019-03-24	Mark Thom	fix toplevel heap view	commit \| commitdiff \| tree \| snapshot
2019-03-24	Mark Thom	fix toplevel heap view	commit \| commitdiff \| tree \| snapshot
2019-03-24	Mark Thom	update tests	commit \| commitdiff \| tree \| snapshot
2019-03-24	Mark Thom	do a better job of printing integral floats.	commit \| commitdiff \| tree \| snapshot
2019-03-24	Mark Thom	print attribute goals alongside variable bindings as...	commit \| commitdiff \| tree \| snapshot
2019-03-23	Mark Thom	update version number	commit \| commitdiff \| tree \| snapshot
2019-03-23	Mark Thom	do not print unbound vars at toplevel	commit \| commitdiff \| tree \| snapshot
2019-03-22	Mark Thom	allow toplevel answers to be passed back as queries	commit \| commitdiff \| tree \| snapshot
2019-03-22	Mark Thom	enable an option to disable readline	commit \| commitdiff \| tree \| snapshot
2019-03-20	Mark Thom	fail if attempting dynamic transaction in term and...	commit \| commitdiff \| tree \| snapshot
2019-03-18	Mark Thom	correct register threshold calculation.	commit \| commitdiff \| tree \| snapshot
2019-03-18	Mark Thom	update readline instructions in README, dependence...	commit \| commitdiff \| tree \| snapshot
2019-03-18	Mark Thom	use readline with better build support	commit \| commitdiff \| tree \| snapshot
2019-03-18	Mark Thom	update version and README	commit \| commitdiff \| tree \| snapshot
2019-03-18	Mark Thom	set rl_startup_hook only once	commit \| commitdiff \| tree \| snapshot
2019-03-17	Mark Thom	make toplevel more consistent with answers, depend...	commit \| commitdiff \| tree \| snapshot
2019-03-17	Mark Thom	add rename-dependencies to Cargo manifest	commit \| commitdiff \| tree \| snapshot
2019-03-17	Mark Thom	update readline.rs version	commit \| commitdiff \| tree \| snapshot
2019-03-17	Mark Thom	use the updated readline.rs	commit \| commitdiff \| tree \| snapshot
2019-03-17	Mark Thom	use concrete version number for readline-rs	commit \| commitdiff \| tree \| snapshot
2019-03-17	Mark Thom	use new readline crate	commit \| commitdiff \| tree \| snapshot
2019-03-17	Mark Thom	add halt/0	commit \| commitdiff \| tree \| snapshot
2019-03-17	Mark Thom	use the readline library at toplevel	commit \| commitdiff \| tree \| snapshot
2019-03-13	Mark Thom	update README	commit \| commitdiff \| tree \| snapshot
2019-03-13	Mark Thom	add non-backtrackable and backtrackable global variables	commit \| commitdiff \| tree \| snapshot
2019-03-13	Mark Thom	update build instructions, change to the scryer-prolog...	commit \| commitdiff \| tree \| snapshot
2019-03-13	Mark Thom	clean up bb_put/2 a bit	commit \| commitdiff \| tree \| snapshot
2019-03-13	Mark Thom	update README: backtrackable globals	commit \| commitdiff \| tree \| snapshot
2019-03-13	Mark Thom	bb_put/2 and bb_get/2	commit \| commitdiff \| tree \| snapshot
2019-03-13	Mark Thom	use ordsets in library(dif)	commit \| commitdiff \| tree \| snapshot
2019-03-13	Mark Thom	change the semantics of put_atts/2 to better reflect...	commit \| commitdiff \| tree \| snapshot
2019-03-11	Mark Thom	add ordsets library, domain.pl attributed variables...	commit \| commitdiff \| tree \| snapshot
2019-03-10	Mark Thom	eliminate generation of dynamic clauses when compiling...	commit \| commitdiff \| tree \| snapshot
2019-03-09	Mark Thom	remove dynamic code indices when modules are redefined.	commit \| commitdiff \| tree \| snapshot
2019-03-09	Mark Thom	perform term and goal expansion on asserted dynamic...	commit \| commitdiff \| tree \| snapshot
2019-03-09	Mark Thom	propagate dynamic database changes to toplevel	commit \| commitdiff \| tree \| snapshot
2019-03-09	Mark Thom	stop module dynamic predicate modifications from taking...	commit \| commitdiff \| tree \| snapshot
2019-03-09	Mark Thom	properly update dynamically updated predicates in modul...	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom