]> 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-05-08 Anton KochkovAdd .gitignore commit | commitdiff | tree | snapshot
2019-05-08 Anton KochkovRemove unnecessary mutability commit | commitdiff | tree | snapshot
2019-05-07 Mark Thomcorrect error reporting for variable_names write option commit | commitdiff | tree | snapshot
2019-05-07 Mark Thomupdate version number, correct printer commit | commitdiff | tree | snapshot
2019-05-06 Mark Thomquote solo characters wherever they lead atoms commit | commitdiff | tree | snapshot
2019-05-05 Mark Thomadd variable_names as a write option commit | commitdiff | tree | snapshot
2019-05-01 Mark Thomimprove matching on partial strings as lists commit | commitdiff | tree | snapshot
2019-05-01 Mark Thom update README commit | commitdiff | tree | snapshot
2019-05-01 Mark Thomadd remaining atomic term processing builtins, rename... commit | commitdiff | tree | snapshot
2019-04-30 Mark Thomrespect ambiguity with ., add ... to indicate more... commit | commitdiff | tree | snapshot
2019-04-29 Mark Thomadd unify_with_occurs_check/2 commit | commitdiff | tree | snapshot
2019-04-29 Mark Thomcorrect various bugs commit | commitdiff | tree | snapshot
2019-04-28 Mark Thomfix odd response, toplevel issues commit | commitdiff | tree | snapshot
2019-04-28 Mark Thomadd subsumes_term/2 commit | commitdiff | tree | snapshot
2019-04-28 Mark Thomadd number_chars/2 commit | commitdiff | tree | snapshot
2019-04-28 Mark Thomspeed up unification commit | commitdiff | tree | snapshot
2019-04-28 Mark Thomaddress issues #121 - #123 commit | commitdiff | tree | snapshot
2019-04-27 Mark Thomre: issue #120 commit | commitdiff | tree | snapshot
2019-04-26 Mark Thomprinter: abbreviate lists with | commit | commitdiff | tree | snapshot
2019-04-26 Mark Thomuse ellipses to indicate infinite terms in printer commit | commitdiff | tree | snapshot
2019-04-26 Mark Thomre: issue #118 commit | commitdiff | tree | snapshot
2019-04-25 Mark Thomaddress issues #114, #115 commit | commitdiff | tree | snapshot
2019-04-25 Mark Thomdelay attributed variables goal, naively correct dif/2 commit | commitdiff | tree | snapshot
2019-04-24 Mark Thomupdate version number commit | commitdiff | tree | snapshot
2019-04-24 Mark Thomaddress issues #111 and #108 commit | commitdiff | tree | snapshot
2019-04-23 Mark Thomupdate version number commit | commitdiff | tree | snapshot
2019-04-23 Mark Thommove setup_call_cleanup/3 and call_with_inference_limit... commit | commitdiff | tree | snapshot
2019-04-23 Mark Thomvarious fixes commit | commitdiff | tree | snapshot
2019-04-23 Mark Thomuse binary_pow for (^)/2 commit | commitdiff | tree | snapshot
2019-04-23 Mark Thomuse binary_pow for (^)/2 commit | commitdiff | tree | snapshot
2019-04-23 Mark Thomupdate version number commit | commitdiff | tree | snapshot
2019-04-23 Mark Thominstantiate variables in numerical comparisons commit | commitdiff | tree | snapshot
2019-04-21 Mark Thomupdate prolog_parser, address conformity tests #3,... commit | commitdiff | tree | snapshot
2019-04-20 Mark Thomaddress issues #104, #105, #103 commit | commitdiff | tree | snapshot
2019-04-19 Mark Thomfix conformity testing #274 commit | commitdiff | tree | snapshot
2019-04-18 Mark Thomminor fixes commit | commitdiff | tree | snapshot
2019-04-15 Mark Thommake return_from_clause macro respect verify_attributes commit | commitdiff | tree | snapshot
2019-04-14 Mark Thomfix conformity tests #279 and #296 commit | commitdiff | tree | snapshot
2019-04-14 Mark Thomupdate commit | commitdiff | tree | snapshot
2019-04-14 Mark Thomcorrect prolog_parser path commit | commitdiff | tree | snapshot
2019-04-14 Mark Thomread from streams. commit | commitdiff | tree | snapshot
2019-04-07 Mark Thomupdate prolog_parser, refine bracketing tests. commit | commitdiff | tree | snapshot
2019-04-07 Mark Thomcorrect conformity test #234 commit | commitdiff | tree | snapshot
2019-04-07 Mark Thomre: conformity test #181 commit | commitdiff | tree | snapshot
2019-04-07 Mark Thomre: conformity test #181 commit | commitdiff | tree | snapshot
2019-04-07 Mark Thomupdate README.md commit | commitdiff | tree | snapshot
2019-04-07 Mark Thomresolve conformity test #138 (issue #52) commit | commitdiff | tree | snapshot
2019-04-06 Mark Thomupdate README commit | commitdiff | tree | snapshot
2019-04-06 Mark Thomfix more conformity errors commit | commitdiff | tree | snapshot
2019-04-06 Mark Thomcorrect for issues #88, #89, #90, conformity test ... commit | commitdiff | tree | snapshot
2019-04-06 Mark Thomcorrect prolog_parser package commit | commitdiff | tree | snapshot
2019-04-06 Mark Thomcorrect bad atom_length/2, atom_chars/2 error reporting commit | commitdiff | tree | snapshot
2019-04-06 Mark Thomupdate version number commit | commitdiff | tree | snapshot
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
next
FORK: A modern Prolog implementation written mostly in Rust