]> 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-31 Mark Thomclean up heap_print.rs commit | commitdiff | tree | snapshot
2019-03-31 Mark Thomcorrect comma printing commit | commitdiff | tree | snapshot
2019-03-31 Mark Thommake op/3 a predicate call from the query context commit | commitdiff | tree | snapshot
2019-03-31 Mark Thomspecially handle commas commit | commitdiff | tree | snapshot
2019-03-31 Mark Thomadd op/3 to builtin predicates commit | commitdiff | tree | snapshot
2019-03-30 Mark Thomproperly demarcate ops in dbrefs commit | commitdiff | tree | snapshot
2019-03-30 Mark Thomre: #73 commit | commitdiff | tree | snapshot
2019-03-30 Mark Thomuse can_be(list, _) in all solutions predicates commit | commitdiff | tree | snapshot
2019-03-30 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2019-03-30 Mark Thomupdate writer commit | commitdiff | tree | snapshot
2019-03-29 Mark ThomMerge pull request #70 from XVilka/patch-1 commit | commitdiff | tree | snapshot
2019-03-29 Anton KochkovUpdate downcast dependency commit | commitdiff | tree | snapshot
2019-03-29 Mark Thompass more conformity tests commit | commitdiff | tree | snapshot
2019-03-28 Mark Thomadd db refs commit | commitdiff | tree | snapshot
2019-03-28 Mark Thommake current_predicate/1 more general, re: #66 commit | commitdiff | tree | snapshot
2019-03-27 Mark Thomindex inlined and builtin clausetypes inside a BTreeMap commit | commitdiff | tree | snapshot
2019-03-24 Mark Thomupdate readline.rs crate commit | commitdiff | tree | snapshot
2019-03-24 Mark Thomupdate version number commit | commitdiff | tree | snapshot
2019-03-24 Mark Thombracket RHS when necessary in variable equations commit | commitdiff | tree | snapshot
2019-03-24 Mark Thomuse updated readline commit | commitdiff | tree | snapshot
2019-03-24 Mark Thomfix toplevel heap view commit | commitdiff | tree | snapshot
2019-03-24 Mark Thomfix toplevel heap view commit | commitdiff | tree | snapshot
2019-03-24 Mark Thomupdate tests commit | commitdiff | tree | snapshot
2019-03-24 Mark Thomdo a better job of printing integral floats. commit | commitdiff | tree | snapshot
2019-03-24 Mark Thomprint attribute goals alongside variable bindings as... commit | commitdiff | tree | snapshot
2019-03-23 Mark Thomupdate version number commit | commitdiff | tree | snapshot
2019-03-23 Mark Thomdo not print unbound vars at toplevel commit | commitdiff | tree | snapshot
2019-03-22 Mark Thomallow toplevel answers to be passed back as queries commit | commitdiff | tree | snapshot
2019-03-22 Mark Thomenable an option to disable readline commit | commitdiff | tree | snapshot
2019-03-20 Mark Thomfail if attempting dynamic transaction in term and... commit | commitdiff | tree | snapshot
2019-03-18 Mark Thomcorrect register threshold calculation. commit | commitdiff | tree | snapshot
2019-03-18 Mark Thomupdate readline instructions in README, dependence... commit | commitdiff | tree | snapshot
2019-03-18 Mark Thomuse readline with better build support commit | commitdiff | tree | snapshot
2019-03-18 Mark Thomupdate version and README commit | commitdiff | tree | snapshot
2019-03-18 Mark Thomset rl_startup_hook only once commit | commitdiff | tree | snapshot
2019-03-17 Mark Thommake toplevel more consistent with answers, depend... commit | commitdiff | tree | snapshot
2019-03-17 Mark Thomadd rename-dependencies to Cargo manifest commit | commitdiff | tree | snapshot
2019-03-17 Mark Thomupdate readline.rs version commit | commitdiff | tree | snapshot
2019-03-17 Mark Thomuse the updated readline.rs commit | commitdiff | tree | snapshot
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
next
FORK: A modern Prolog implementation written mostly in Rust