]> 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-03-01 Mark Thomuse plain ! while interpreting control functors in... commit | commitdiff | tree | snapshot
2021-03-01 Mark Thomapply expand_module_names to call(A) goals commit | commitdiff | tree | snapshot
2021-03-01 Mark Thomsuppress tabled/2 existence errors in tabling library... commit | commitdiff | tree | snapshot
2021-03-01 Mark ThomMerge pull request #843 from mthom/rebis-dev commit | commitdiff | tree | snapshot
2021-03-01 Mark Thomcheck that Module is an atom before calling Module... commit | commitdiff | tree | snapshot
2021-03-01 Mark Thomwrap variable goals in module-expanded call/1 commit | commitdiff | tree | snapshot
2021-03-01 Mark Thomdo not print error messages if .scryerrc[.pl] does... commit | commitdiff | tree | snapshot
2021-02-28 Mark Thomprint errors arising from term and goal expansion calls... commit | commitdiff | tree | snapshot
2021-02-28 Mark Thomintroduce bind_fn, use in applicable Fact/Query instruc... commit | commitdiff | tree | snapshot
2021-02-28 Mark Thompop non-composite terms from iter stack in is_cyclic_term commit | commitdiff | tree | snapshot
2021-02-28 Mark Thomadd error value to occurs_check prolog flag (#783) commit | commitdiff | tree | snapshot
2021-02-28 Mark ThomMerge pull request #838 from Skgland/librarify commit | commitdiff | tree | snapshot
2021-02-28 Skglandrevert removal of PartialEq commit | commitdiff | tree | snapshot
2021-02-28 Skglandmove the signal handler to the binary commit | commitdiff | tree | snapshot
2021-02-28 Skglandremove #[allow(dead_code)] commit | commitdiff | tree | snapshot
2021-02-28 Skglandfix CI lib build with beta compiler commit | commitdiff | tree | snapshot
2021-02-28 Skglandadjust ci commit | commitdiff | tree | snapshot
2021-02-28 Skglandsplit into lib and bin commit | commitdiff | tree | snapshot
2021-02-28 Mark Thomrestore .scryerrc loading commit | commitdiff | tree | snapshot
2021-02-28 Mark Thomadd occurs_check flag (#309) commit | commitdiff | tree | snapshot
2021-02-28 Mark Thomenable op declarations with lists of operands using... commit | commitdiff | tree | snapshot
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 ThomMerge pull request #825 from tniessen/readme-typo-fix commit | commitdiff | tree | snapshot
2021-02-18 Tobias Nießeninstantianted -> instantiated commit | commitdiff | tree | snapshot
2021-02-18 Tobias NießenFix typo in README 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 ThomMerge pull request #811 from triska/master commit | commitdiff | tree | snapshot
2021-02-09 Markus Triskalink to announcement of Rebis Development Branch, call... 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
next
FORK: A modern Prolog implementation written mostly in Rust