]> Repositorios git - scryer-prolog.git/shortlog
projects / scryer-prolog.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
scryer-prolog.git
2020-04-12 Mark Thombe more judicious with at_cdr in print_string (#295) commit | commitdiff | tree | snapshot
2020-04-12 Mark Thomthrow exception when attempting to post query as goal... commit | commitdiff | tree | snapshot
2020-04-12 Mark Thomrecognize empty lists as partial strings (#328) commit | commitdiff | tree | snapshot
2020-04-12 Mark Thomremove string/1, use a more general test for the partia... commit | commitdiff | tree | snapshot
2020-04-12 Mark Thomthrow error when trying to use partial lists as DCG... commit | commitdiff | tree | snapshot
2020-04-12 Mark Thomremove unnecessary use of partial_string in bimetatrans... commit | commitdiff | tree | snapshot
2020-04-12 Mark ThomMerge pull request #310 from triska/bimeta_example commit | commitdiff | tree | snapshot
2020-04-12 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-04-12 Mark Thomcompile special instructions for partial strings when... commit | commitdiff | tree | snapshot
2020-04-12 Mark Thomdo not accept [X|Xs] patterns as DCG non-terminals... commit | commitdiff | tree | snapshot
2020-04-09 Mark ThomMerge pull request #320 from triska/master commit | commitdiff | tree | snapshot
2020-04-08 Markus Triskaadd library(freeze) to make zcompare/3 work commit | commitdiff | tree | snapshot
2020-04-08 Mark ThomMerge pull request #318 from triska/master commit | commitdiff | tree | snapshot
2020-04-08 Markus Triskaextend description of strings and partial strings commit | commitdiff | tree | snapshot
2020-04-08 Mark ThomMerge pull request #316 from triska/master commit | commitdiff | tree | snapshot
2020-04-08 Markus Triskatuples_in/2 now works commit | commitdiff | tree | snapshot
2020-04-06 Mark Thomfix list index offset bug (#314) commit | commitdiff | tree | snapshot
2020-04-06 Markus Triskaclpz_monotonic/0 --> monotonic/0 commit | commitdiff | tree | snapshot
2020-04-06 Mark Thommark clp(X) item as completed, restore clp(Z) library... commit | commitdiff | tree | snapshot
2020-04-06 Mark ThomMerge pull request #312 from triska/master commit | commitdiff | tree | snapshot
2020-04-06 Mark Thomconsolidate Cargo.lock commit | commitdiff | tree | snapshot
2020-04-06 Mark Thommerge with master commit | commitdiff | tree | snapshot
2020-04-06 Mark Thomuse fixnums in place of bignums where possible commit | commitdiff | tree | snapshot
2020-04-05 Markus TriskaADDED: CLP(ℤ), Constraint Logic Programming over Integers commit | commitdiff | tree | snapshot
2020-04-05 Mark Thomallocate empty partial strings commit | commitdiff | tree | snapshot
2020-04-05 Mark Thomuse copy_term/3 to print residual goals (#254) commit | commitdiff | tree | snapshot
2020-04-03 Mark Thomharmonize partial strings with complete strings (#276... commit | commitdiff | tree | snapshot
2020-04-03 Mark ThomMerge pull request #306 from srenatus/sr/version-argument commit | commitdiff | tree | snapshot
2020-03-31 Mark Thomadd bimetatrans_ruleml.pl to examples commit | commitdiff | tree | snapshot
2020-03-30 Markus Triskaintroduce and use nonterminal list//1 commit | commitdiff | tree | snapshot
2020-03-30 Markus Triskaembed literal lists directly in DCGs commit | commitdiff | tree | snapshot
2020-03-30 Markus Triskanaming: partial_list_ws//1 --> list_ws//1 commit | commitdiff | tree | snapshot
2020-03-28 Stephan Renatusmain: skip args[0] commit | commitdiff | tree | snapshot
2020-03-27 Stephan Renatusmain: add -v/--version flag commit | commitdiff | tree | snapshot
2020-03-27 Mark ThomMerge pull request #305 from srenatus/sr/typo commit | commitdiff | tree | snapshot
2020-03-27 Stephan Renatusexamples/least_time.pl: fix typo commit | commitdiff | tree | snapshot
2020-03-27 Mark ThomMerge branch 'master' into develop commit | commitdiff | tree | snapshot
2020-03-27 Mark Thominitial commit for merge commit | commitdiff | tree | snapshot
2020-03-20 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-03-20 Mark Thomadd least_time example commit | commitdiff | tree | snapshot
2020-03-20 Mark Thomprovide contextual information in the return value... commit | commitdiff | tree | snapshot
2020-03-19 Mark Thom#278 commit | commitdiff | tree | snapshot
2020-03-19 Mark ThomMerge pull request #294 from triska/format commit | commitdiff | tree | snapshot
2020-03-19 Markus TriskaENHANCED: format_//2 now supports ~a, ~d, ~Nd, ~D,... commit | commitdiff | tree | snapshot
2020-03-17 Mark ThomMerge pull request #293 from triska/documentation commit | commitdiff | tree | snapshot
2020-03-17 Markus Triskaupdate toplevel interaction commit | commitdiff | tree | snapshot
2020-03-17 Mark Thomremove Addr::PStrTail (#276) commit | commitdiff | tree | snapshot
2020-03-16 Mark Thomadd set_input/1, set_output/1 commit | commitdiff | tree | snapshot
2020-03-16 Mark Thomcorrect contextual quoting of chars commit | commitdiff | tree | snapshot
2020-03-15 Mark ThomMerge pull request #289 from triska/documentation commit | commitdiff | tree | snapshot
2020-03-15 Mark ThomMerge pull request #291 from triska/toplevel commit | commitdiff | tree | snapshot
2020-03-15 Markus Triskasupport 'h' to print help message during toplevel inter... commit | commitdiff | tree | snapshot
2020-03-15 Markus Triskasupport 'p' to reprint answer with max depth, allowing... commit | commitdiff | tree | snapshot
2020-03-15 Markus Triskainclude a short overview of notable libraries commit | commitdiff | tree | snapshot
2020-03-15 Mark Thomuse max_depth at toplevel, allowing full printing of... commit | commitdiff | tree | snapshot
2020-03-15 Mark Thomadd provisional max_depth option to write_term, speed... commit | commitdiff | tree | snapshot
2020-03-15 Mark Thomoutput strings more efficiently commit | commitdiff | tree | snapshot
2020-03-14 Mark Thomdon't emit overwriting warnings for term_expansion... commit | commitdiff | tree | snapshot
2020-03-14 Mark Thomcorrect DCG descriptions of lists (#286) commit | commitdiff | tree | snapshot
2020-03-14 Mark ThomGive new answer variables readable names (#279) commit | commitdiff | tree | snapshot
2020-03-14 Mark Thomprint strings as strings only in the term expander commit | commitdiff | tree | snapshot
2020-03-14 Mark Thomprint strings as strings (#285) commit | commitdiff | tree | snapshot
2020-03-13 Mark Thomeliminate inner_numbervar_count commit | commitdiff | tree | snapshot
2020-03-13 Mark ThomMerge pull request #284 from triska/master commit | commitdiff | tree | snapshot
2020-03-13 Mark Thomallow module export of nonterminals (#281) commit | commitdiff | tree | snapshot
2020-03-13 Mark Thomproperly handle '\n' when quoted and not (#283, #280) commit | commitdiff | tree | snapshot
2020-03-13 Mark Thomfix -names (#275) commit | commitdiff | tree | snapshot
2020-03-13 Mark ThomRevert "fix $VAR-names (#275) and properly print single... commit | commitdiff | tree | snapshot
2020-03-13 Markus TriskaADDED: library(format), describing strings with format_//2 commit | commitdiff | tree | snapshot
2020-03-13 Mark Thomsort variables in findall_with_existential before compu... commit | commitdiff | tree | snapshot
2020-03-13 Mark Thomfix $VAR-names (#275) and properly print single control... commit | commitdiff | tree | snapshot
2020-03-13 Mark Thomgive new answer variables readable names (#279) commit | commitdiff | tree | snapshot
2020-03-11 Mark Thomadd current_output, printing of stream terms commit | commitdiff | tree | snapshot
2020-03-09 Mark Thomadd streams.rs, consume them in place of the old Prolog... commit | commitdiff | tree | snapshot
2020-03-09 Mark Thomupdate README.md commit | commitdiff | tree | snapshot
2020-03-09 Mark Thomreplace termion with crossterm commit | commitdiff | tree | snapshot
2020-03-08 Mark Thomfix broken conformity tests, quote left paren commit | commitdiff | tree | snapshot
2020-03-07 Mark Thomrepresent the current_dir as an absolute path, not... commit | commitdiff | tree | snapshot
2020-03-07 Mark Thomcount single character atoms as characters when generat... commit | commitdiff | tree | snapshot
2020-03-05 Mark Thomcompare characters directly in term comparison tests commit | commitdiff | tree | snapshot
2020-03-02 Mark Thomswitch to representation error for partial strings... commit | commitdiff | tree | snapshot
2020-03-01 Mark Thomcorrect handling of strings and partial strings as... commit | commitdiff | tree | snapshot
2020-02-29 Mark Thomupdate README commit | commitdiff | tree | snapshot
2020-02-29 Mark Thomadd s pointers for strings and partial strings, put_uns... commit | commitdiff | tree | snapshot
2020-02-29 Mark Thomallow set_prolog_flag in declarations commit | commitdiff | tree | snapshot
2020-02-27 Mark Thomremove cyclic_term/1 commit | commitdiff | tree | snapshot
2020-02-27 Mark Thomactually do lco, and mark unsafe variables before the... commit | commitdiff | tree | snapshot
2020-02-23 Mark Thommention rustup.rs in README (#261) commit | commitdiff | tree | snapshot
2020-02-23 Mark Thomupdate prolog_parser version, allow ('|') operator... commit | commitdiff | tree | snapshot
2020-02-22 Mark Thomremove setof/3, bagof/3 non-determinism (#270) commit | commitdiff | tree | snapshot
2020-02-22 Mark Thomrename non_iso.pl to iso_ext.pl (#265) commit | commitdiff | tree | snapshot
2020-02-22 Mark Thomadd comparisons between partial strings and string... commit | commitdiff | tree | snapshot
2020-02-22 Mark Thomcorrect misreported error in toplevel loop (#272) commit | commitdiff | tree | snapshot
2020-02-22 Mark Thomremove same_length/2 from clpb.pl commit | commitdiff | tree | snapshot
2020-02-21 Mark Thommake partial strings accept characters (#268) commit | commitdiff | tree | snapshot
2020-02-21 Mark Thompartial_string/3 should accept empty lists (#264) commit | commitdiff | tree | snapshot
2020-02-21 Mark Thomidentify ground partial strings under (==) (#269) commit | commitdiff | tree | snapshot
2020-02-21 Mark Thomadopt compatibility predicates from clpb and clpz into... commit | commitdiff | tree | snapshot
2020-02-21 Mark Thomfix #255 (I think?) commit | commitdiff | tree | snapshot
2020-02-20 Mark Thomcorrect PStrLocation offset bug in copier.rs commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust