]> 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-04-06 Mark Thomadd atom_length/2, atom_chars/2, atom_codes/2 commit | commitdiff | tree | snapshot
2019-04-06 Mark Thomadd current_op/3 commit | commitdiff | tree | snapshot
2019-04-05 Mark Thomremove $reify_switch commit | commitdiff | tree | snapshot
2019-04-05 Mark Thomupdate version number commit | commitdiff | tree | snapshot
2019-04-05 Mark Thomfix conformity errors commit | commitdiff | tree | snapshot
2019-04-04 Mark Thommove forall/2 to non_iso, correct test cases. commit | commitdiff | tree | snapshot
2019-04-04 Mark Thommove forall/2 to non_iso, correct test cases. commit | commitdiff | tree | snapshot
2019-04-03 Mark ThomMerge pull request #83 from pmoura/add_forall_2_predicate commit | commitdiff | tree | snapshot
2019-04-03 Mark Thomupdate parser commit | commitdiff | tree | snapshot
2019-04-03 Mark Thomupdate parser to correct additional conformity errors... commit | commitdiff | tree | snapshot
2019-04-03 Paulo Mouraadd de facto standard forall/2 predicate as a built... commit | commitdiff | tree | snapshot
2019-04-02 Mark Thompass more conformity tests commit | commitdiff | tree | snapshot
2019-04-02 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2019-04-02 Mark Thomre: #80, #52 commit | commitdiff | tree | snapshot
2019-04-01 Mark ThomMerge pull request #82 from KellerFuchs/readme commit | commitdiff | tree | snapshot
2019-04-01 The Fox in... README: Use checkboxes to track item completion in... commit | commitdiff | tree | snapshot
2019-04-01 Mark Thomupdate version number commit | commitdiff | tree | snapshot
2019-04-01 Mark Thomfix term_variables, add (^)/2 as an actual evaluable... commit | commitdiff | tree | snapshot
2019-04-01 Mark Thomre: #75, #52 commit | commitdiff | tree | snapshot
2019-04-01 Mark Thomadd structural tests for strings as char code lists commit | commitdiff | tree | snapshot
2019-04-01 Mark Thomadd support for char codes commit | commitdiff | tree | snapshot
2019-03-31 Mark Thomupdate version number commit | commitdiff | tree | snapshot
2019-03-31 Mark Thomdo a better job recognizing and bracketing operators commit | commitdiff | tree | snapshot
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
next
FORK: A modern Prolog implementation written mostly in Rust