Repositorios git - scryer-prolog.git/shortlog

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

2020-05-03	Mark Thom	version bump for prolog_parser	commit \| commitdiff \| tree \| snapshot
2020-05-03	Mark Thom	use complete strings in FileToChars (#430)	commit \| commitdiff \| tree \| snapshot
2020-05-03	Mark Thom	Project goals of query variables (#362)	commit \| commitdiff \| tree \| snapshot
2020-05-03	Mark Thom	wrap support code in modules	commit \| commitdiff \| tree \| snapshot
2020-05-03	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-05-03	Mark Thom	add term_attributed_variables/2 (#422)	commit \| commitdiff \| tree \| snapshot
2020-05-02	Mark Thom	Merge pull request #443 from notoria/arithmetic	commit \| commitdiff \| tree \| snapshot
2020-05-02	notoria	Implemented expmod/4	commit \| commitdiff \| tree \| snapshot
2020-05-02	Mark Thom	remove now unnecessary dependencies, correct ordering...	commit \| commitdiff \| tree \| snapshot
2020-05-02	Mark Thom	Merge pull request #440 from notoria/arithmetic	commit \| commitdiff \| tree \| snapshot
2020-05-02	Mark Thom	Merge pull request #439 from notoria/cli2	commit \| commitdiff \| tree \| snapshot
2020-05-02	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-05-02	Mark Thom	cut after compound check in (;)/2 only after semicolon_...	commit \| commitdiff \| tree \| snapshot
2020-05-02	Mark Thom	insert cuts where needed into (;)/3 (#434)	commit \| commitdiff \| tree \| snapshot
2020-05-02	notoria	Enhanced number_to_rational/2 and number_to_rational/3	commit \| commitdiff \| tree \| snapshot
2020-05-02	notoria	Added $scryer_prolog_version/1	commit \| commitdiff \| tree \| snapshot
2020-05-01	notoria	Enhanced command line	commit \| commitdiff \| tree \| snapshot
2020-05-01	Mark Thom	Merge pull request #437 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-05-01	Markus Triska	use ℤ	commit \| commitdiff \| tree \| snapshot
2020-05-01	Mark Thom	Merge pull request #436 from mthom/revert-419-cli	commit \| commitdiff \| tree \| snapshot
2020-05-01	Mark Thom	Revert "Enhanced command line" revert-419-cli origin/revert-419-cli	commit \| commitdiff \| tree \| snapshot
2020-05-01	Mark Thom	Merge pull request #419 from notoria/cli	commit \| commitdiff \| tree \| snapshot
2020-05-01	Mark Thom	accept any and all characters in comment chars	commit \| commitdiff \| tree \| snapshot
2020-05-01	notoria	Enhanced command line #2	commit \| commitdiff \| tree \| snapshot
2020-05-01	Mark Thom	Merge pull request #432 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-05-01	Mark Thom	correct failing character match in compare_pstr_to_stri...	commit \| commitdiff \| tree \| snapshot
2020-05-01	Markus Triska	correct overeager CLP(ℤ) goal expansion	commit \| commitdiff \| tree \| snapshot
2020-05-01	notoria	Enhanced version	commit \| commitdiff \| tree \| snapshot
2020-05-01	notoria	Enhanced command line	commit \| commitdiff \| tree \| snapshot
2020-05-01	Mark Thom	map single character atoms down to characters in consta...	commit \| commitdiff \| tree \| snapshot
2020-05-01	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-05-01	Mark Thom	use slightly better names in indexing functions	commit \| commitdiff \| tree \| snapshot
2020-04-30	Mark Thom	only add expanded goals to dynamic clause code (#416)	commit \| commitdiff \| tree \| snapshot
2020-04-30	Mark Thom	correct queue_len += queue_len; to queue_len += queue...	commit \| commitdiff \| tree \| snapshot
2020-04-30	Mark Thom	Merge pull request #425 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-04-30	Markus Triska	enable goal expansion for CLP(ℤ) goals	commit \| commitdiff \| tree \| snapshot
2020-04-30	Mark Thom	index atoms with operators against the same atom with...	commit \| commitdiff \| tree \| snapshot
2020-04-30	Mark Thom	Merge pull request #420 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-04-30	Markus Triska	correct verify_attributes/3 for variables that have...	commit \| commitdiff \| tree \| snapshot
2020-04-30	Mark Thom	fix user:goal_expansion	commit \| commitdiff \| tree \| snapshot
2020-04-30	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-04-30	Mark Thom	fix 'drain lower bound was too large', store user-level...	commit \| commitdiff \| tree \| snapshot
2020-04-29	Mark Thom	Merge pull request #418 from notoria/mediants	commit \| commitdiff \| tree \| snapshot
2020-04-29	notoria	Merge pull request #4 from triska/mediants	commit \| commitdiff \| tree \| snapshot
2020-04-29	notoria	Merge branch 'mediants' into mediants	commit \| commitdiff \| tree \| snapshot
2020-04-29	Mark Thom	add ordsets.pl to README	commit \| commitdiff \| tree \| snapshot
2020-04-29	Mark Thom	Merge pull request #417 from notoria/mediants	commit \| commitdiff \| tree \| snapshot
2020-04-29	notoria	Add rational_numerator_denominator/3, number_to_rationa...	commit \| commitdiff \| tree \| snapshot
2020-04-29	Markus Triska	include library(arithmetic) in the overview	commit \| commitdiff \| tree \| snapshot
2020-04-29	notoria	Add rational_numerator_denominator/3, number_to_rationa...	commit \| commitdiff \| tree \| snapshot
2020-04-29	Mark Thom	use select to filter variable lists when printing equat...	commit \| commitdiff \| tree \| snapshot
2020-04-29	Mark Thom	select variable names in write_eq based on whether...	commit \| commitdiff \| tree \| snapshot
2020-04-29	notoria	Removed predicate mediants/2 and added stern_brocot/3	commit \| commitdiff \| tree \| snapshot
2020-04-29	Mark Thom	correct answer substitution order, equating variables...	commit \| commitdiff \| tree \| snapshot
2020-04-29	notoria	Implemented predicate mediants/2 with Stern-Brocot...	commit \| commitdiff \| tree \| snapshot
2020-04-29	Mark Thom	check that lower bound on term expansion drain is below...	commit \| commitdiff \| tree \| snapshot
2020-04-29	Mark Thom	print rational numbers using the rdiv operator when...	commit \| commitdiff \| tree \| snapshot
2020-04-28	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-04-28	Mark Thom	do length check in PartialString::range_from (#412)	commit \| commitdiff \| tree \| snapshot
2020-04-28	Mark Thom	Merge pull request #414 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-04-28	Markus Triska	mention portray_clause/1 and listing/1	commit \| commitdiff \| tree \| snapshot
2020-04-28	Markus Triska	mention backtrackable and non-backtrackable global...	commit \| commitdiff \| tree \| snapshot
2020-04-28	Markus Triska	use new nth0/3 from library(lists)	commit \| commitdiff \| tree \| snapshot
2020-04-28	Markus Triska	use singleton variable, correct a mistake in maplist/8	commit \| commitdiff \| tree \| snapshot
2020-04-28	Markus Triska	ADDED: nth0/3, relating indices to list elements	commit \| commitdiff \| tree \| snapshot
2020-04-28	Markus Triska	small typographic corrections	commit \| commitdiff \| tree \| snapshot
2020-04-28	Markus Triska	use new predicates from library(error) to throw type...	commit \| commitdiff \| tree \| snapshot
2020-04-28	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-04-28	Mark Thom	erase unnecessary stub from block of FileToChars	commit \| commitdiff \| tree \| snapshot
2020-04-28	Mark Thom	don't append lists of attributes when binding attribute...	commit \| commitdiff \| tree \| snapshot
2020-04-28	Mark Thom	modify domain.pl example (#347)	commit \| commitdiff \| tree \| snapshot
2020-04-27	Mark Thom	Merge pull request #409 from triska/clp	commit \| commitdiff \| tree \| snapshot
2020-04-27	Markus Triska	`if_` --> `if_/3`	commit \| commitdiff \| tree \| snapshot
2020-04-27	Markus Triska	add more information about Constraint Logic Programming...	commit \| commitdiff \| tree \| snapshot
2020-04-27	Mark Thom	Merge pull request #408 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-04-27	Markus Triska	include the new library(random) in the overview	commit \| commitdiff \| tree \| snapshot
2020-04-27	Markus Triska	use new predicates from library(error)	commit \| commitdiff \| tree \| snapshot
2020-04-27	Markus Triska	ADDED: library(error): instantiation_error/1, domain_er...	commit \| commitdiff \| tree \| snapshot
2020-04-27	Markus Triska	include usage advice about probabilistic predicates	commit \| commitdiff \| tree \| snapshot
2020-04-27	Mark Thom	Merge pull request #406 from notoria/random	commit \| commitdiff \| tree \| snapshot
2020-04-27	Mark Thom	publish bimetatrans_ruleml_tests, move both files to...	commit \| commitdiff \| tree \| snapshot
2020-04-27	Mark Thom	Merge branch 'master' of https://github.com/mthom/rusty-wam	commit \| commitdiff \| tree \| snapshot
2020-04-26	notoria	Added predicate random_integer and updated clpb	commit \| commitdiff \| tree \| snapshot
2020-04-26	notoria	Created the library random and moved some predicates...	commit \| commitdiff \| tree \| snapshot
2020-04-26	Mark Thom	Merge pull request #405 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-04-26	Markus Triska	add library(cont) to the list	commit \| commitdiff \| tree \| snapshot
2020-04-26	Markus Triska	add more information about tabling	commit \| commitdiff \| tree \| snapshot
2020-04-26	Mark Thom	Merge pull request #402 from notoria/pio	commit \| commitdiff \| tree \| snapshot
2020-04-26	notoria	Small patch for library pio	commit \| commitdiff \| tree \| snapshot
2020-04-26	Mark Thom	Merge pull request #399 from notoria/debug	commit \| commitdiff \| tree \| snapshot
2020-04-26	notoria	Implemented the Debug trait for all data structures	commit \| commitdiff \| tree \| snapshot
2020-04-25	Mark Thom	Merge pull request #398 from triska/master	commit \| commitdiff \| tree \| snapshot
2020-04-25	Mark Thom	use proper module name in bimetatrans_ruleml	commit \| commitdiff \| tree \| snapshot
2020-04-25	Markus Triska	include library(pio) and library(charsio) in the descri...	commit \| commitdiff \| tree \| snapshot
2020-04-25	Markus Triska	update toplevel interaction	commit \| commitdiff \| tree \| snapshot
2020-04-25	Markus Triska	ENHANCED: Throw domain errors in char_type/2 for wrong...	commit \| commitdiff \| tree \| snapshot
2020-04-25	Markus Triska	use an anonymous variable	commit \| commitdiff \| tree \| snapshot
2020-04-25	Mark Thom	Merge pull request #396 from notoria/phrase_from_file	commit \| commitdiff \| tree \| snapshot
2020-04-25	notoria	No trimming of the buffer	commit \| commitdiff \| tree \| snapshot
2020-04-25	notoria	Implemented phrase_from_file/2 and /2	commit \| commitdiff \| tree \| snapshot
next

FORK: A modern Prolog implementation written mostly in Rust

RSS Atom