]> Repositorios git - scryer-prolog.git/shortlog
projects / scryer-prolog.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
scryer-prolog.git
2020-05-05 Mark ThomMerge pull request #460 from notoria/get_single_char commit | commitdiff | tree | snapshot
2020-05-05 notoriaFixed ctrl-c issue with get_single_char/1 commit | commitdiff | tree | snapshot
2020-05-04 Mark ThomMerge pull request #453 from triska/master commit | commitdiff | tree | snapshot
2020-05-04 Markus Triskadisable goal expansion until #445 is resolved commit | commitdiff | tree | snapshot
2020-05-04 Mark Thomimprove answer substitutions at top-level commit | commitdiff | tree | snapshot
2020-05-03 Mark ThomMerge pull request #450 from triska/master commit | commitdiff | tree | snapshot
2020-05-04 Mark Thomuse select/3 in gather_equations for detecting whether... commit | commitdiff | tree | snapshot
2020-05-04 Mark Thomuse copy_term/3 as source of attribute goals commit | commitdiff | tree | snapshot
2020-05-04 Mark Thommake term{_attributed_}variables/2 order {attributed... commit | commitdiff | tree | snapshot
2020-05-03 Mark Thomrestore previous focus upon character match failure... commit | commitdiff | tree | snapshot
2020-05-03 Markus Triskado not project queue/2 attributes to residual goals commit | commitdiff | tree | snapshot
2020-05-03 Mark ThomMerge pull request #449 from notoria/read commit | commitdiff | tree | snapshot
2020-05-03 Mark Thomversion bump for prolog_parser commit | commitdiff | tree | snapshot
2020-05-03 notoriaCompleted read/1, ctrl-d is end_of_file commit | commitdiff | tree | snapshot
2020-05-03 Mark Thomuse complete strings in FileToChars (#430) commit | commitdiff | tree | snapshot
2020-05-03 Mark ThomProject goals of query variables (#362) commit | commitdiff | tree | snapshot
2020-05-03 Mark Thomwrap support code in modules commit | commitdiff | tree | snapshot
2020-05-03 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-03 Mark Thomadd term_attributed_variables/2 (#422) commit | commitdiff | tree | snapshot
2020-05-02 Mark ThomMerge pull request #443 from notoria/arithmetic commit | commitdiff | tree | snapshot
2020-05-02 notoriaImplemented expmod/4 commit | commitdiff | tree | snapshot
2020-05-02 Mark Thomremove now unnecessary dependencies, correct ordering... commit | commitdiff | tree | snapshot
2020-05-02 Mark ThomMerge pull request #440 from notoria/arithmetic commit | commitdiff | tree | snapshot
2020-05-02 Mark ThomMerge pull request #439 from notoria/cli2 commit | commitdiff | tree | snapshot
2020-05-02 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-02 Mark Thomcut after compound check in (;)/2 only after semicolon_... commit | commitdiff | tree | snapshot
2020-05-02 Mark Thominsert cuts where needed into (;)/3 (#434) commit | commitdiff | tree | snapshot
2020-05-02 notoriaEnhanced number_to_rational/2 and number_to_rational/3 commit | commitdiff | tree | snapshot
2020-05-02 notoriaAdded $scryer_prolog_version/1 commit | commitdiff | tree | snapshot
2020-05-01 notoriaEnhanced command line commit | commitdiff | tree | snapshot
2020-05-01 Mark ThomMerge pull request #437 from triska/master commit | commitdiff | tree | snapshot
2020-05-01 Markus Triskause ℤ commit | commitdiff | tree | snapshot
2020-05-01 Mark ThomMerge pull request #436 from mthom/revert-419-cli commit | commitdiff | tree | snapshot
2020-05-01 Mark ThomRevert "Enhanced command line" revert-419-cli origin/revert-419-cli commit | commitdiff | tree | snapshot
2020-05-01 Mark ThomMerge pull request #419 from notoria/cli commit | commitdiff | tree | snapshot
2020-05-01 Mark Thomaccept any and all characters in comment chars commit | commitdiff | tree | snapshot
2020-05-01 notoriaEnhanced command line #2 commit | commitdiff | tree | snapshot
2020-05-01 Mark ThomMerge pull request #432 from triska/master commit | commitdiff | tree | snapshot
2020-05-01 Mark Thomcorrect failing character match in compare_pstr_to_stri... commit | commitdiff | tree | snapshot
2020-05-01 Markus Triskacorrect overeager CLP(ℤ) goal expansion commit | commitdiff | tree | snapshot
2020-05-01 notoriaEnhanced version commit | commitdiff | tree | snapshot
2020-05-01 notoriaEnhanced command line commit | commitdiff | tree | snapshot
2020-05-01 Mark Thommap single character atoms down to characters in consta... commit | commitdiff | tree | snapshot
2020-05-01 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-05-01 Mark Thomuse slightly better names in indexing functions commit | commitdiff | tree | snapshot
2020-04-30 Mark Thomonly add expanded goals to dynamic clause code (#416) commit | commitdiff | tree | snapshot
2020-04-30 Mark Thomcorrect queue_len += queue_len; to queue_len += queue... commit | commitdiff | tree | snapshot
2020-04-30 Mark ThomMerge pull request #425 from triska/master commit | commitdiff | tree | snapshot
2020-04-30 Markus Triskaenable goal expansion for CLP(ℤ) goals commit | commitdiff | tree | snapshot
2020-04-30 Mark Thomindex atoms with operators against the same atom with... commit | commitdiff | tree | snapshot
2020-04-30 Mark ThomMerge pull request #420 from triska/master commit | commitdiff | tree | snapshot
2020-04-30 Markus Triskacorrect verify_attributes/3 for variables that have... commit | commitdiff | tree | snapshot
2020-04-30 Mark Thomfix user:goal_expansion commit | commitdiff | tree | snapshot
2020-04-30 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-04-30 Mark Thomfix 'drain lower bound was too large', store user-level... commit | commitdiff | tree | snapshot
2020-04-29 Mark ThomMerge pull request #418 from notoria/mediants commit | commitdiff | tree | snapshot
2020-04-29 notoriaMerge pull request #4 from triska/mediants commit | commitdiff | tree | snapshot
2020-04-29 notoriaMerge branch 'mediants' into mediants commit | commitdiff | tree | snapshot
2020-04-29 Mark Thomadd ordsets.pl to README commit | commitdiff | tree | snapshot
2020-04-29 Mark ThomMerge pull request #417 from notoria/mediants commit | commitdiff | tree | snapshot
2020-04-29 notoriaAdd rational_numerator_denominator/3, number_to_rationa... commit | commitdiff | tree | snapshot
2020-04-29 Markus Triskainclude library(arithmetic) in the overview commit | commitdiff | tree | snapshot
2020-04-29 notoriaAdd rational_numerator_denominator/3, number_to_rationa... commit | commitdiff | tree | snapshot
2020-04-29 Mark Thomuse select to filter variable lists when printing equat... commit | commitdiff | tree | snapshot
2020-04-29 Mark Thomselect variable names in write_eq based on whether... commit | commitdiff | tree | snapshot
2020-04-29 notoriaRemoved predicate mediants/2 and added stern_brocot/3 commit | commitdiff | tree | snapshot
2020-04-29 Mark Thomcorrect answer substitution order, equating variables... commit | commitdiff | tree | snapshot
2020-04-29 notoriaImplemented predicate mediants/2 with Stern-Brocot... commit | commitdiff | tree | snapshot
2020-04-29 Mark Thomcheck that lower bound on term expansion drain is below... commit | commitdiff | tree | snapshot
2020-04-29 Mark Thomprint rational numbers using the rdiv operator when... commit | commitdiff | tree | snapshot
2020-04-28 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-04-28 Mark Thomdo length check in PartialString::range_from (#412) commit | commitdiff | tree | snapshot
2020-04-28 Mark ThomMerge pull request #414 from triska/master commit | commitdiff | tree | snapshot
2020-04-28 Markus Triskamention portray_clause/1 and listing/1 commit | commitdiff | tree | snapshot
2020-04-28 Markus Triskamention backtrackable and non-backtrackable global... commit | commitdiff | tree | snapshot
2020-04-28 Markus Triskause new nth0/3 from library(lists) commit | commitdiff | tree | snapshot
2020-04-28 Markus Triskause singleton variable, correct a mistake in maplist/8 commit | commitdiff | tree | snapshot
2020-04-28 Markus TriskaADDED: nth0/3, relating indices to list elements commit | commitdiff | tree | snapshot
2020-04-28 Markus Triskasmall typographic corrections commit | commitdiff | tree | snapshot
2020-04-28 Markus Triskause new predicates from library(error) to throw type... commit | commitdiff | tree | snapshot
2020-04-28 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-04-28 Mark Thomerase unnecessary stub from block of FileToChars commit | commitdiff | tree | snapshot
2020-04-28 Mark Thomdon't append lists of attributes when binding attribute... commit | commitdiff | tree | snapshot
2020-04-28 Mark Thommodify domain.pl example (#347) commit | commitdiff | tree | snapshot
2020-04-27 Mark ThomMerge 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 Triskaadd more information about Constraint Logic Programming... commit | commitdiff | tree | snapshot
2020-04-27 Mark ThomMerge pull request #408 from triska/master commit | commitdiff | tree | snapshot
2020-04-27 Markus Triskainclude the new library(random) in the overview commit | commitdiff | tree | snapshot
2020-04-27 Markus Triskause new predicates from library(error) commit | commitdiff | tree | snapshot
2020-04-27 Markus TriskaADDED: library(error): instantiation_error/1, domain_er... commit | commitdiff | tree | snapshot
2020-04-27 Markus Triskainclude usage advice about probabilistic predicates commit | commitdiff | tree | snapshot
2020-04-27 Mark ThomMerge pull request #406 from notoria/random commit | commitdiff | tree | snapshot
2020-04-27 Mark Thompublish bimetatrans_ruleml_tests, move both files to... commit | commitdiff | tree | snapshot
2020-04-27 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-04-26 notoriaAdded predicate random_integer and updated clpb commit | commitdiff | tree | snapshot
2020-04-26 notoriaCreated the library random and moved some predicates... commit | commitdiff | tree | snapshot
2020-04-26 Mark ThomMerge pull request #405 from triska/master commit | commitdiff | tree | snapshot
2020-04-26 Markus Triskaadd library(cont) to the list commit | commitdiff | tree | snapshot
2020-04-26 Markus Triskaadd more information about tabling commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust