]> Repositorios git - scryer-prolog.git/shortlog
projects / scryer-prolog.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
scryer-prolog.git
2019-03-17 Mark Thomuse concrete version number for readline-rs commit | commitdiff | tree | snapshot
2019-03-17 Mark Thomuse new readline crate commit | commitdiff | tree | snapshot
2019-03-17 Mark Thomadd halt/0 commit | commitdiff | tree | snapshot
2019-03-17 Mark Thomuse the readline library at toplevel commit | commitdiff | tree | snapshot
2019-03-13 Mark Thomupdate README commit | commitdiff | tree | snapshot
2019-03-13 Mark Thomadd non-backtrackable and backtrackable global variables commit | commitdiff | tree | snapshot
2019-03-13 Mark Thomupdate build instructions, change to the scryer-prolog... commit | commitdiff | tree | snapshot
2019-03-13 Mark Thomclean up bb_put/2 a bit commit | commitdiff | tree | snapshot
2019-03-13 Mark Thomupdate README: backtrackable globals commit | commitdiff | tree | snapshot
2019-03-13 Mark Thombb_put/2 and bb_get/2 commit | commitdiff | tree | snapshot
2019-03-13 Mark Thomuse ordsets in library(dif) commit | commitdiff | tree | snapshot
2019-03-13 Mark Thomchange the semantics of put_atts/2 to better reflect... commit | commitdiff | tree | snapshot
2019-03-11 Mark Thomadd ordsets library, domain.pl attributed variables... commit | commitdiff | tree | snapshot
2019-03-10 Mark Thomeliminate generation of dynamic clauses when compiling... commit | commitdiff | tree | snapshot
2019-03-09 Mark Thomremove dynamic code indices when modules are redefined. commit | commitdiff | tree | snapshot
2019-03-09 Mark Thomperform term and goal expansion on asserted dynamic... commit | commitdiff | tree | snapshot
2019-03-09 Mark Thompropagate dynamic database changes to toplevel commit | commitdiff | tree | snapshot
2019-03-09 Mark Thomstop module dynamic predicate modifications from taking... commit | commitdiff | tree | snapshot
2019-03-09 Mark Thomproperly update dynamically updated predicates in modul... commit | commitdiff | tree | snapshot
2019-03-09 Mark Thomadd assoc.pl, add max evaluable functor commit | commitdiff | tree | snapshot
2019-03-09 Mark Thomsplit dynamic database keys across modules commit | commitdiff | tree | snapshot
2019-03-08 Mark Thomimprove Rust-generated permissions errors commit | commitdiff | tree | snapshot
2019-03-08 Mark Thommake clause/2 global in scope commit | commitdiff | tree | snapshot
2019-03-08 Mark Thomcorrect clause/2 to work only on properly scoped terms commit | commitdiff | tree | snapshot
2019-03-08 Mark Thomfurther cross-module dynamic database fixes commit | commitdiff | tree | snapshot
2019-03-08 Mark Thomcorrect mismanagement of dynamic database across modules commit | commitdiff | tree | snapshot
2019-03-07 Mark Thomupdate toplevel exports when updated dynamically commit | commitdiff | tree | snapshot
2019-03-07 Mark Thomupdate toplevel exports when updated dynamically commit | commitdiff | tree | snapshot
2019-03-07 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2019-03-07 Mark Thomsupport module modification using dynamic database... commit | commitdiff | tree | snapshot
2019-03-06 Mark Thomcorrect abolish/1 commit | commitdiff | tree | snapshot
2019-03-06 Mark Jordan... update to reflect name change commit | commitdiff | tree | snapshot
2019-03-06 Mark Thomgive module bounds a better respect for dynamic predicates commit | commitdiff | tree | snapshot
2019-03-06 Mark Thomgive dynamic predicates a better respect for module... commit | commitdiff | tree | snapshot
2019-03-06 Mark Thomgive dynamic predicates a better respect for module... commit | commitdiff | tree | snapshot
2019-03-05 Mark Thomrefactor compile_work commit | commitdiff | tree | snapshot
2019-03-05 Mark Thomseparate constraint checks and code addition into separ... commit | commitdiff | tree | snapshot
2019-03-05 Mark Thomcurrent_predicate skips undefined predicates commit | commitdiff | tree | snapshot
2019-03-05 Mark Thomadd another test, add unwind_protect! commit | commitdiff | tree | snapshot
2019-03-05 Mark Thomremove extraneous slashes in builtins.pl commit | commitdiff | tree | snapshot
2019-03-04 Mark Thomrefactor to actual modules commit | commitdiff | tree | snapshot
2019-03-04 Mark Thomremove unification from dif/2 commit | commitdiff | tree | snapshot
2019-03-04 Mark Thomcondense reverse even further commit | commitdiff | tree | snapshot
2019-03-03 Mark Thomtighten reverse/2 commit | commitdiff | tree | snapshot
2019-03-03 Mark Thomimprove reverse/2 commit | commitdiff | tree | snapshot
2019-03-03 Mark Thomeliminate redundant set_p function commit | commitdiff | tree | snapshot
2019-03-03 Mark Thomdo not hard code arity in builtins.pl commit | commitdiff | tree | snapshot
2019-03-03 Mark Thomcorrect inlining calling in last call context commit | commitdiff | tree | snapshot
2019-03-02 Mark Thomcorrect inlined calling bug in last call, add dynamic... commit | commitdiff | tree | snapshot
2019-03-02 Mark Thomadd assertz/1 and asserta/1 commit | commitdiff | tree | snapshot
2019-03-01 Mark Thomstart enabling the dynamic database commit | commitdiff | tree | snapshot
2019-02-26 Mark Thomremove defunct dependency from reif.pl commit | commitdiff | tree | snapshot
2019-02-24 Mark Thommake better use of can_be in between library commit | commitdiff | tree | snapshot
2019-02-24 Mark Thomevacuate when allocating anon vars commit | commitdiff | tree | snapshot
2019-02-24 Mark Thomremove redundancy positivity check in repeat/1 commit | commitdiff | tree | snapshot
2019-02-24 Mark Thomuse can_be and must_be in library(between) commit | commitdiff | tree | snapshot
2019-02-24 Mark Thombegin work on between library commit | commitdiff | tree | snapshot
2019-02-24 Mark Thomadd numlist/3 commit | commitdiff | tree | snapshot
2019-02-24 Mark Thombegin work on between library commit | commitdiff | tree | snapshot
2019-02-23 Mark Thomadd correct error sources to bagof/3, setof/3, findall/4 commit | commitdiff | tree | snapshot
2019-02-23 Mark Thomadd examples from the power of prolog commit | commitdiff | tree | snapshot
2019-02-23 Mark Thomadd findall/4, bagof/3, setof/3 commit | commitdiff | tree | snapshot
2019-02-23 Mark Thomproperly report deterministically successful queries commit | commitdiff | tree | snapshot
2019-02-23 Mark Thomuse acyclic iteration when projecting onto query vars commit | commitdiff | tree | snapshot
2019-02-22 Mark Thomadd findall/3 commit | commitdiff | tree | snapshot
2019-02-21 Mark Thomchange project_attributes to use attribute vars queue commit | commitdiff | tree | snapshot
2019-02-20 Mark Thomremove clone from unwind_trail in copier.rs commit | commitdiff | tree | snapshot
2019-02-20 Mark Thomrefactor parts of machine_state_impl.rs that consume... commit | commitdiff | tree | snapshot
2019-02-20 Mark Thomrefactor copier.rs commit | commitdiff | tree | snapshot
2019-02-19 Mark Thomadd call_residue_vars/2 commit | commitdiff | tree | snapshot
2019-02-17 Mark Thomsort attribute goals before deduplicating them linearly commit | commitdiff | tree | snapshot
2019-02-17 Mark Thomdo not count calls to $reify_switch as inferences commit | commitdiff | tree | snapshot
2019-02-17 Mark Thomensure stdin is not being locked more than once commit | commitdiff | tree | snapshot
2019-02-17 Mark Thomfix term expansion bug commit | commitdiff | tree | snapshot
2019-02-16 Mark Thomadd library(reif) commit | commitdiff | tree | snapshot
2019-02-16 Mark Thomcleanup accessors, various other things commit | commitdiff | tree | snapshot
2019-02-16 Mark Thompolish freeze.pl and dif.pl commit | commitdiff | tree | snapshot
2019-02-16 Mark Thomcorrect attribute_goals/2 bug, add freeze/2, update... commit | commitdiff | tree | snapshot
2019-02-16 Mark Thomcorrect attribute_goals/2 bug, add freeze/2, update... commit | commitdiff | tree | snapshot
2019-02-15 Mark Thomupdate README commit | commitdiff | tree | snapshot
2019-02-15 Mark Thomcorrect project_attributes, correct compare_term_test... commit | commitdiff | tree | snapshot
2019-02-14 Mark Thomfix needless check in dif/2 implementation commit | commitdiff | tree | snapshot
2019-02-14 Mark Thomfix bug in dif/2 implementation commit | commitdiff | tree | snapshot
2019-02-14 Mark Thomremove extraneous [ from dif.pl commit | commitdiff | tree | snapshot
2019-02-14 Mark Thomfix attribute_goals/2 display bugs, cycle detection bug commit | commitdiff | tree | snapshot
2019-02-13 Mark Thomprepare to add project_attributes/2 and attribute_goals/2 commit | commitdiff | tree | snapshot
2019-02-13 Mark Thomcall verify_attributes/3 once per module commit | commitdiff | tree | snapshot
2019-02-12 Mark Thomfix attributed variables dealing with NeckCut on return commit | commitdiff | tree | snapshot
2019-02-12 Mark Thombracket verify_attributes/3 interrupts with allocation... commit | commitdiff | tree | snapshot
2019-02-10 Mark Thomcorrect and update README commit | commitdiff | tree | snapshot
2019-02-10 Mark Thomcorrect and update README commit | commitdiff | tree | snapshot
2019-02-10 Mark Thomcut when finished verify_attributes/3 calls commit | commitdiff | tree | snapshot
2019-02-09 Mark Thomcorrect error catching in call_verify_attributes/4 commit | commitdiff | tree | snapshot
2019-02-09 Mark Thomcall goals in one batch after rebinding variables,... commit | commitdiff | tree | snapshot
2019-02-09 Mark Thomcorrect bugs in verify_attributes handling commit | commitdiff | tree | snapshot
2019-02-08 Mark Thomadd preliminary support for verify_attributes/3 commit | commitdiff | tree | snapshot
2019-02-07 Mark Thomadd verify_attributes driver code commit | commitdiff | tree | snapshot
2019-02-07 Mark Thomflatten CompiledQuery and CompiledFact in Code, remove... commit | commitdiff | tree | snapshot
2019-02-06 Mark Thomcorrect misspelled AttrVar in copier.rs commit | commitdiff | tree | snapshot
2019-02-05 Mark Thomproperly copy already-copied attributed variables as... commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust