]> 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-28 Mark Thomadd lines read from devour_whitespace (#836) commit | commitdiff | tree | snapshot
2021-02-28 Mark Thomset compilation_target of assert loader to match that... commit | commitdiff | tree | snapshot
2021-02-28 Mark Thomupdate the parser with the number of lines already... commit | commitdiff | tree | snapshot
2021-02-28 Mark Thomimplement logical update semantics for dynamic database... commit | commitdiff | tree | snapshot
2021-02-25 Mark ThomMerge pull request #837 from triska/rebis-dev commit | commitdiff | tree | snapshot
2021-02-25 Markus Triskaadd entry for library(lambda) commit | commitdiff | tree | snapshot
2021-02-25 Markus Triskaomit internal residual goals for global_cardinality/2 commit | commitdiff | tree | snapshot
2021-02-25 Markus Triskaremove unused attribute_goal/2 commit | commitdiff | tree | snapshot
2021-02-25 Mark ThomMerge pull request #835 from triska/lambda commit | commitdiff | tree | snapshot
2021-02-25 Markus Triskaadapt libraries and toplevel output to Scryer Prolog commit | commitdiff | tree | snapshot
2021-02-25 Markus Triskause individual meta_predicate/1 declarations commit | commitdiff | tree | snapshot
2021-02-25 Markus TriskaADDED: library(lambda) by Ulrich Neumerkel. commit | commitdiff | tree | snapshot
2021-02-23 Mark Thomadd copy_term_nat/2 (#795) commit | commitdiff | tree | snapshot
2021-02-23 Mark Thomno longer delay verify_attributes for cut instructions... commit | commitdiff | tree | snapshot
2021-02-23 Mark Thomno longer generate a choice point in bb_b_put/2 (#742) commit | commitdiff | tree | snapshot
2021-02-22 Mark Thomconsume whitespace before reading a term in loader... commit | commitdiff | tree | snapshot
2021-02-22 Mark Thomextend existing local predicate skeletons in LoadState... commit | commitdiff | tree | snapshot
2021-02-22 Mark Thomanonymize singleton variables in iso_ext.pl, charsio.pl commit | commitdiff | tree | snapshot
2021-02-22 Mark Thomissue singleton variable warnings from loader.pl (... commit | commitdiff | tree | snapshot
2021-02-22 Mark Thomwrap stream instances in one Rc<RefCell<..>>, use Ref... commit | commitdiff | tree | snapshot
2021-02-21 Mark ThomMerge pull request #834 from aarroyoc/rebis-http commit | commitdiff | tree | snapshot
2021-02-21 Adrián Arroyo... Fix typo commit | commitdiff | tree | snapshot
2021-02-21 Adrián Arroyo... Use notoria's comment commit | commitdiff | tree | snapshot
2021-02-21 Mark ThomMerge pull request #830 from aarroyoc/rebis-http commit | commitdiff | tree | snapshot
2021-02-21 Mark Thomtweak bimetatrans_tests.pl commit | commitdiff | tree | snapshot
2021-02-21 Mark Thomadd set_prolog_flag to declarations recognized by loader.pl commit | commitdiff | tree | snapshot
2021-02-21 Mark Thomcorrect comment before call meta_predicate declarations commit | commitdiff | tree | snapshot
2021-02-21 Mark Thomadd 'e' as evaluable functor for Euler's constant ... commit | commitdiff | tree | snapshot
2021-02-21 Mark Thomuse env::current_dir in Machine::current_dir (#833) commit | commitdiff | tree | snapshot
2021-02-20 Mark Thommove to a local num-rug-adapter crate addressing #822 commit | commitdiff | tree | snapshot
2021-02-19 Mark Thomremove nl after top-level use_module (#818) commit | commitdiff | tree | snapshot
2021-02-19 Mark Thomqualify command-line specified goals with user: (#820) commit | commitdiff | tree | snapshot
2021-02-19 Mark Thomtreat LocalCodePtr::Halt received at lookup_local_instr... commit | commitdiff | tree | snapshot
2021-02-19 Mark Thomadd qualified imports use_module library modules commit | commitdiff | tree | snapshot
2021-02-18 Adrián Arroyo... Fix HTTP server to work on Rebis branch. Breaking change commit | commitdiff | tree | snapshot
2021-02-18 Mark ThomMerge pull request #829 from aarroyoc/uuidv4 commit | commitdiff | tree | snapshot
2021-02-18 Adrián Arroyo... UUIDv4 generation commit | commitdiff | tree | snapshot
2021-02-18 Mark Thomuse add_dynamically_generated_module in get_or_insert_l... commit | commitdiff | tree | snapshot
2021-02-18 Mark Thomadd '$remove_module_exports' to loader.rs commit | commitdiff | tree | snapshot
2021-02-18 Mark ThomMerge pull request #828 from triska/rebis-dev commit | commitdiff | tree | snapshot
2021-02-18 Markus Triskaenable meta_predicate/1 declarations commit | commitdiff | tree | snapshot
2021-02-18 Mark ThomMerge pull request #827 from triska/rebis-dev commit | commitdiff | tree | snapshot
2021-02-18 Markus Triskaadd appropriate meta_predicate/1 declarations commit | commitdiff | tree | snapshot
2021-02-18 Mark ThomMerge pull request #826 from triska/rebis-dev commit | commitdiff | tree | snapshot
2021-02-18 Markus Triskaadd appropriate meta_predicate/1 declarations commit | commitdiff | tree | snapshot
2021-02-18 Mark Thomtry to canonicalize to absolute path in current_dir... commit | commitdiff | tree | snapshot
2021-02-17 Mark Thomrestore support for tabling and delimited continuations... commit | commitdiff | tree | snapshot
2021-02-17 Mark Thomadd second term expansion to capture the addition of... commit | commitdiff | tree | snapshot
2021-02-17 Mark Thomremove VNs variable from loader.pl commit | commitdiff | tree | snapshot
2021-02-17 Mark Thomremove unnecessary cause of failure in parser, qualify... commit | commitdiff | tree | snapshot
2021-02-17 Mark Thomadd missing variable checks in various places commit | commitdiff | tree | snapshot
2021-02-17 Mark Thomhandle user:goal_expansion, but not Target:goal_expansi... commit | commitdiff | tree | snapshot
2021-02-17 Mark Thomsupport discontiguous and multifile declarations commit | commitdiff | tree | snapshot
2021-02-14 Mark Thomcompile scoped clauses from loader.pl commit | commitdiff | tree | snapshot
2021-02-12 Mark Thomremove vestigial uses of constant_eq commit | commitdiff | tree | snapshot
2021-02-12 Mark ThomBox LoadStatePayload when storing it in the heap commit | commitdiff | tree | snapshot
2021-02-12 Mark Thomremove unused is_internal function from indexing.rs commit | commitdiff | tree | snapshot
2021-02-12 Mark Thomuse machine-generated PartialEq instance for hashing... commit | commitdiff | tree | snapshot
2021-02-11 Mark Thomupdate call/N indices in user-level code_dir in additio... commit | commitdiff | tree | snapshot
2021-02-11 Mark Thomoffset SwitchOnTerm's Internal indices only if the... commit | commitdiff | tree | snapshot
2021-02-11 Mark Thomroll back extent of heap when loads are complete in... commit | commitdiff | tree | snapshot
2021-02-11 Mark Thomuse IndexMap over HashMap in prolog_parser commit | commitdiff | tree | snapshot
2021-02-10 Mark Thombreak out of the first inner loop if constants contains... commit | commitdiff | tree | snapshot
2021-02-10 Mark ThomMerge pull request #813 from triska/rebis-dev commit | commitdiff | tree | snapshot
2021-02-10 Mark Thomreset merging_ptr offset before insertion of each overl... commit | commitdiff | tree | snapshot
2021-02-09 Mark Thomcheck for control functors (,/;/->) before jumping... commit | commitdiff | tree | snapshot
2021-02-09 Mark Thomqualify exception handling code in loader.pl (#809) commit | commitdiff | tree | snapshot
2021-02-09 Mark ThomMerge branch 'rebis-dev' of https://github.com/mthom... commit | commitdiff | tree | snapshot
2021-02-09 Markus Triska~| now incorporates the number of characters described... commit | commitdiff | tree | snapshot
2021-02-09 Mark Thomthrow exceptions when modules do not contain claimed... commit | commitdiff | tree | snapshot
2021-02-09 Mark Thomcorrect faulty removal of clauses in abolish/1 commit | commitdiff | tree | snapshot
2021-02-08 Mark Thomclean up implementation of (->)/2, (;)/2, and (,)/2 commit | commitdiff | tree | snapshot
2021-02-07 Mark Thomremove tidy_trail commit | commitdiff | tree | snapshot
2021-02-07 Mark Thomappend .pl to names of files that do not exist in loader.pl commit | commitdiff | tree | snapshot
2021-02-07 Mark Thomuse parent() instead of ancestors().next() in load_cont... commit | commitdiff | tree | snapshot
2021-02-07 Mark ThomMerge branch 'Skgland-clean_up' into rebis-dev commit | commitdiff | tree | snapshot
2021-02-06 Bennet Bleßmannchange reposity url commit | commitdiff | tree | snapshot
2021-02-06 Skglandrename `prolog_parser_rebis` to `prolog_parser` commit | commitdiff | tree | snapshot
2021-02-06 Skglandfix incorrect rug path commit | commitdiff | tree | snapshot
2021-02-06 Skglandmore clippy lints commit | commitdiff | tree | snapshot
2021-02-06 Skglandmore clippy lints commit | commitdiff | tree | snapshot
2021-02-06 Skglandfix clippy lint match|if let looks like matches! macro commit | commitdiff | tree | snapshot
2021-02-06 Skglandfix clippy lint `Manual RangeInclusive::contains implem... commit | commitdiff | tree | snapshot
2021-02-06 Skglandfix some clippy lint warnings commit | commitdiff | tree | snapshot
2021-02-06 Skglandfix macro hygien commit | commitdiff | tree | snapshot
2021-02-06 Skglandchange prolog_parse_rebis to use 2018 edition rust commit | commitdiff | tree | snapshot
2021-02-06 Skglandremove use statements from main.rs that temporary repla... commit | commitdiff | tree | snapshot
2021-02-06 Skglandremove extern crate declaration and fix outfall (macros... commit | commitdiff | tree | snapshot
2021-02-06 Mark Thomset rustyline to check the cursor position (#802),... commit | commitdiff | tree | snapshot
2021-02-06 Mark Thomremove dynamic clause declaration for clause internal commit | commitdiff | tree | snapshot
2021-02-06 Mark Thomshed module names from arguments of the (->)/2, (,... commit | commitdiff | tree | snapshot
2021-02-06 Mark Thomcollate paths as atoms in loader.pl (#778) commit | commitdiff | tree | snapshot
2021-02-06 Mark Thomgather initialization goals and call them once load... commit | commitdiff | tree | snapshot
2021-02-06 Mark Thomimplement abolish/1 commit | commitdiff | tree | snapshot
2021-02-06 Mark ThomMerge branch 'rebis-dev' of https://github.com/mthom... commit | commitdiff | tree | snapshot
2021-02-06 Mark Thombootstrap the top-level by calling ''/1 as in master... commit | commitdiff | tree | snapshot
2021-02-06 Mark Thomdelay premature set_switch_var_offset_* calls in retrac... commit | commitdiff | tree | snapshot
2021-02-05 Mark ThomMerge pull request #798 from triska/rebis-dev commit | commitdiff | tree | snapshot
2021-02-05 Mark Thommake load_context_path/2 handle .pl file extensions... commit | commitdiff | tree | snapshot
2021-02-05 Markus TriskaENHANCED: Enable goal expansion for CLP(ℤ). commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust