]> Repositorios git - scryer-prolog.git/shortlog
projects / scryer-prolog.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
scryer-prolog.git
2021-02-03 Markus Triskaadd meta_predicate declaration for with_local_attributes/3 commit | commitdiff | tree | snapshot
2021-02-03 Mark Thommanually expand module names in higher-order predicates... commit | commitdiff | tree | snapshot
2021-02-03 Markus TriskaUse term expansion for generated predicates. commit | commitdiff | tree | snapshot
2021-02-03 Mark Thomrestore cut after dcg_constr check (#784) commit | commitdiff | tree | snapshot
2021-02-03 Mark Thomadd meta-predicate declarations to reif library commit | commitdiff | tree | snapshot
2021-02-03 Mark ThomMerge branch 'master' into rebis-dev commit | commitdiff | tree | snapshot
2021-02-03 Mark Thomrestore prolog_parser test files (#782) commit | commitdiff | tree | snapshot
2021-02-03 Mark Thomdo not traverse data structures when binding to local... commit | commitdiff | tree | snapshot
2021-02-03 Mark Thomuse find_inner_choice_instr when appending an indexed... commit | commitdiff | tree | snapshot
2021-02-03 Mark Thomexpand attributed variable goals commit | commitdiff | tree | snapshot
2021-02-03 Mark Thomreplace Char '!' with QueryTerm::BlockedCut commit | commitdiff | tree | snapshot
2021-02-03 Mark Thomset target_pos' clause_start correctly in append_compil... commit | commitdiff | tree | snapshot
2021-02-03 Mark ThomMerge pull request #774 from brightly-salty/re-add... commit | commitdiff | tree | snapshot
2021-02-03 Caden HausteinAdd prolog_parser commit | commitdiff | tree | snapshot
2021-02-02 Mark Thomexport loader's public predicates from builtins, handle... commit | commitdiff | tree | snapshot
2021-02-02 Mark Thomadd built_in to predicate_property commit | commitdiff | tree | snapshot
2021-02-02 Mark Thomadd meta-predicate declarations before their definitions commit | commitdiff | tree | snapshot
2021-02-01 Mark Thommove term expansion logic entirely into loader.pl commit | commitdiff | tree | snapshot
2021-02-01 Mark Thomadd module scoping to predicate_property, expand subgoa... commit | commitdiff | tree | snapshot
2021-02-01 Mark Thomcall attribute variable goals with module resolution commit | commitdiff | tree | snapshot
2021-02-01 Mark Thomreplace (:) with 0 in meta-predicate declarations,... commit | commitdiff | tree | snapshot
2021-01-31 Mark ThomMerge branch 'master' into rebis-dev commit | commitdiff | tree | snapshot
2021-01-31 Mark ThomMerge pull request #771 from notoria/args commit | commitdiff | tree | snapshot
2021-01-31 Caden HausteinFix errors, move prolog_parser commit | commitdiff | tree | snapshot
2021-01-31 Caden HausteinAdd prolog_parser to scryer_prolog commit | commitdiff | tree | snapshot
2021-01-31 notoriaHandled the empty case (#770) commit | commitdiff | tree | snapshot
2021-01-31 Mark Thomfix bug in append_compiled_clause, generalize merging... commit | commitdiff | tree | snapshot
2021-01-31 Mark Thomproperly thread functors whose first subterm is a varia... commit | commitdiff | tree | snapshot
2021-01-31 Mark Thomtarget prolog_parser_rebis on crates.io commit | commitdiff | tree | snapshot
2021-01-31 Mark Thomexplain motive for Rebis development branch in README.md commit | commitdiff | tree | snapshot
2021-01-31 Mark Thommove to a predicate-based module system, move to loader... commit | commitdiff | tree | snapshot
2021-01-30 Mark ThomMerge pull request #766 from aarroyoc/http-form commit | commitdiff | tree | snapshot
2021-01-30 Mark ThomMerge pull request #769 from notoria/between commit | commitdiff | tree | snapshot
2021-01-30 notoriaRemoved redundant choicepoint from between/3 commit | commitdiff | tree | snapshot
2021-01-27 Adrián Arroyo... Test against macOS 10.15 commit | commitdiff | tree | snapshot
2021-01-27 Adrián Arroyo... urlencoded forms and some syntax improvements commit | commitdiff | tree | snapshot
2021-01-23 Mark ThomMerge pull request #762 from aarroyoc/gh-action commit | commitdiff | tree | snapshot
2021-01-16 Adrián Arroyo... Fix Beta commit | commitdiff | tree | snapshot
2021-01-16 Adrián Arroyo... Disable Windows commit | commitdiff | tree | snapshot
2021-01-16 Adrián Arroyo... Minor fix commit | commitdiff | tree | snapshot
2021-01-16 Adrián Arroyo... Delete Travis CI commit | commitdiff | tree | snapshot
2021-01-16 Adrián Arroyo... GitHub Actions commit | commitdiff | tree | snapshot
2020-12-29 Mark ThomMerge pull request #747 from triska/determinism commit | commitdiff | tree | snapshot
2020-12-29 Markus Triskareflect better determinism thanks to #732 commit | commitdiff | tree | snapshot
2020-12-29 Mark ThomMerge pull request #726 from aarroyoc/http-server commit | commitdiff | tree | snapshot
2020-12-28 Adrián Arroyo... PR feedback commit | commitdiff | tree | snapshot
2020-12-28 Adrián Arroyo... URL Decode commit | commitdiff | tree | snapshot
2020-12-27 Adrián Arroyo... Log time commit | commitdiff | tree | snapshot
2020-12-27 Adrián Arroyo... Improve docs & Route matching commit | commitdiff | tree | snapshot
2020-12-27 Adrián Arroyo... File response commit | commitdiff | tree | snapshot
2020-12-27 Adrián Arroyo... Use phrase instead of forall commit | commitdiff | tree | snapshot
2020-12-27 Adrián Arroyo... Queries commit | commitdiff | tree | snapshot
2020-12-27 Adrián Arroyo... Merge branch 'master' into http-server commit | commitdiff | tree | snapshot
2020-12-27 Adrián Arroyo... Redirections, default status code, rout matching 1.0 commit | commitdiff | tree | snapshot
2020-12-27 Mark Thomfix bug in code walker causing entire clauses to be... commit | commitdiff | tree | snapshot
2020-12-23 Mark ThomMerge pull request #743 from triska/determinism commit | commitdiff | tree | snapshot
2020-12-23 Markus Triskareflect determinism improvement thanks to the latest... commit | commitdiff | tree | snapshot
2020-12-23 Mark ThomMerge pull request #741 from triska/determinism commit | commitdiff | tree | snapshot
2020-12-22 Markus Triskareflect improved determinism thanks to the improvements... commit | commitdiff | tree | snapshot
2020-12-22 Mark ThomMerge pull request #740 from triska/indexing commit | commitdiff | tree | snapshot
2020-12-22 Mark ThomMerge pull request #734 from triska/deterministic_format commit | commitdiff | tree | snapshot
2020-12-22 Mark ThomMerge pull request #732 from notoria/indexing commit | commitdiff | tree | snapshot
2020-12-22 Markus Triskasmall documentation improvements related to the new... commit | commitdiff | tree | snapshot
2020-12-21 notoriaRenamed find_optimal_index to first_instantiated_index commit | commitdiff | tree | snapshot
2020-12-21 notoriaMerge pull request #6 from triska/indexing commit | commitdiff | tree | snapshot
2020-12-21 Markus Triskadocument first instantiated argument indexing commit | commitdiff | tree | snapshot
2020-12-21 notoriaOrganized changes into find_optimal_index commit | commitdiff | tree | snapshot
2020-12-20 Adrián Arroyo... HTTP Body commit | commitdiff | tree | snapshot
2020-12-19 notoriaSimplified the code, removed first_arg, the Option commit | commitdiff | tree | snapshot
2020-12-19 Markus TriskaENHANCED: format_//2, format/[2,3], portray_clause... commit | commitdiff | tree | snapshot
2020-12-19 notoriaImplemented a different way to index clauses commit | commitdiff | tree | snapshot
2020-12-15 Mark ThomMerge pull request #729 from brightly-salty/replace... commit | commitdiff | tree | snapshot
2020-12-15 brightly-saltyReplace dirs with dirs-next commit | commitdiff | tree | snapshot
2020-12-14 Adrián Arroyo... Read body commit | commitdiff | tree | snapshot
2020-12-12 Adrián Arroyo... Request and Response headers commit | commitdiff | tree | snapshot
2020-12-09 Adrián Arroyo... WIP http_server commit | commitdiff | tree | snapshot
2020-12-06 Mark ThomMerge pull request #722 from aarroyoc/history-file commit | commitdiff | tree | snapshot
2020-12-06 Mark ThomMerge pull request #720 from aarroyoc/max-min-list commit | commitdiff | tree | snapshot
2020-12-06 Adrián Arroyo... History file support (Rustyline 7.0) commit | commitdiff | tree | snapshot
2020-12-06 Adrián Arroyo... Change name to list_max, list_min as PR feedback commit | commitdiff | tree | snapshot
2020-12-06 Adrián Arroyo... Use foldl as PR feedback suggested commit | commitdiff | tree | snapshot
2020-12-05 Adrián Arroyo... Add max_list & min_list to lists commit | commitdiff | tree | snapshot
2020-11-08 Mark ThomMerge pull request #710 from triska/clpz-reif commit | commitdiff | tree | snapshot
2020-11-08 Markus TriskaADDED: Provisional support for (#=)/3 and (#<)/3. commit | commitdiff | tree | snapshot
2020-11-04 Mark Thomsupport number/1 commit | commitdiff | tree | snapshot
2020-10-22 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty... commit | commitdiff | tree | snapshot
2020-10-21 Mark ThomMerge pull request #706 from malbarbo/fix-num commit | commitdiff | tree | snapshot
2020-10-20 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty... commit | commitdiff | tree | snapshot
2020-10-18 Marco A L BarbosaUpdate num-rug-adapter to fix build with num feature. commit | commitdiff | tree | snapshot
2020-10-03 Mark ThomMerge pull request #702 from triska/showterm commit | commitdiff | tree | snapshot
2020-10-03 Markus Triskause "r" interactive specifier commit | commitdiff | tree | snapshot
2020-10-03 Markus Triskarefer to new tools directory commit | commitdiff | tree | snapshot
2020-10-03 Markus TriskaADDED: showterm.el and showterm.pl to draw terms as... commit | commitdiff | tree | snapshot
2020-10-01 Mark ThomMerge pull request #700 from triska/development_environment commit | commitdiff | tree | snapshot
2020-10-01 Markus TriskaDOC: Development environment recommendations. commit | commitdiff | tree | snapshot
2020-09-14 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty... commit | commitdiff | tree | snapshot
2020-09-13 Mark ThomMerge pull request #698 from triska/file_must_exist commit | commitdiff | tree | snapshot
2020-09-13 Markus TriskaENHANCED: library(files): Error handling if requested... commit | commitdiff | tree | snapshot
2020-09-06 Mark Thomrefactor SystemClauseType::Open in anticipation of... commit | commitdiff | tree | snapshot
2020-09-06 Mark Thompreface the 'spelling error' with an explainer comment... commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust