]> 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-13 Stephan Renatusmain: fix version reporting without git commit | commitdiff | tree | snapshot
2020-04-13 Mark ThomMerge pull request #341 from triska/master commit | commitdiff | tree | snapshot
2020-04-13 Markus Triskathe workaround is no longer necessary, since #336 is... commit | commitdiff | tree | snapshot
2020-04-13 Mark Thomuse prolog_parser 0.8.50 (#336) commit | commitdiff | tree | snapshot
2020-04-13 Mark Thomcorrect partial string copying by resetting threshold... commit | commitdiff | tree | snapshot
2020-04-13 Mark Thomuse partial_string/1 in place of the removed string... commit | commitdiff | tree | snapshot
2020-04-13 Mark Thomupdate Cargo.lock commit | commitdiff | tree | snapshot
2020-04-13 Mark Thombump version to 0.8.119 commit | commitdiff | tree | snapshot
2020-04-12 Mark ThomMerge pull request #338 from triska/master v0.8.119 commit | commitdiff | tree | snapshot
2020-04-12 Markus Triskaalso include a newline in portray_clause/1 commit | commitdiff | tree | snapshot
2020-04-12 Mark ThomMerge pull request #337 from triska/master commit | commitdiff | tree | snapshot
2020-04-13 Mark Thommake write_term_to_chars work with variable terms ... commit | commitdiff | tree | snapshot
2020-04-12 Mark Thomprovide read_term_from_chars/2 (#334) commit | commitdiff | tree | snapshot
2020-04-12 Markus TriskaADDED: provide a rudimentary version of portray_clause/1 commit | commitdiff | tree | snapshot
2020-04-12 Mark Thomchange wording of QueryCannotBePostedAsFact to QueryCan... commit | commitdiff | tree | snapshot
2020-04-12 Mark ThomMerge pull request #333 from triska/master commit | commitdiff | tree | snapshot
2020-04-12 Markus Triskaincorporate the latest improvements in the description... commit | commitdiff | tree | snapshot
2020-04-12 Mark ThomMerge pull request #332 from triska/master commit | commitdiff | tree | snapshot
2020-04-12 Mark Thommove write_term_to_chars/3 to src/prolog/lib/charsio.pl commit | commitdiff | tree | snapshot
2020-04-12 Mark Thomadd write_term_to_chars/3 to iso_ext.pl (#288) commit | commitdiff | tree | snapshot
2020-04-12 Mark Thomcorrect misleading error for modules (#300) commit | commitdiff | tree | snapshot
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 Markus TriskaENHANCED: ~w now supports compound terms, and ~q is... 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
next
FORK: A modern Prolog implementation written mostly in Rust