]> 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-18 Mark Thomallow characters as atoms in Machine::use_module and... commit | commitdiff | tree | snapshot
2020-04-18 Mark Thomremove underscores in printed variables produced by... commit | commitdiff | tree | snapshot
2020-04-18 Mark Thomdon't count the terminator in PStrIter len commit | commitdiff | tree | snapshot
2020-04-18 Mark Thomquote dot when quoted(true) (#349) commit | commitdiff | tree | snapshot
2020-04-18 Mark Thomprivilege new op declarations over old ones (#346) commit | commitdiff | tree | snapshot
2020-04-18 Mark Thominterrupt running queries and return to toplevel (... commit | commitdiff | tree | snapshot
2020-04-18 Mark Thomwrite [a,b,c] correctly with write_canonical (#349) commit | commitdiff | tree | snapshot
2020-04-18 Markus Triskaupdate the toplevel description, incorporating the... commit | commitdiff | tree | snapshot
2020-04-15 Mark Thomproperly iterate through UTF-8 strings (#350) commit | commitdiff | tree | snapshot
2020-04-14 Mark Thomclean up print_list_like commit | commitdiff | tree | snapshot
2020-04-14 Mark Thomprint lists as strings when possible (#295) commit | commitdiff | tree | snapshot
2020-04-14 Mark Thomprovide better variable names in write_term_to_chars... commit | commitdiff | tree | snapshot
2020-04-14 Mark Thomimprove writeX performance (#290) commit | commitdiff | tree | snapshot
2020-04-14 Mark Thomcopy operator exports to impromptu modules (#307) commit | commitdiff | tree | snapshot
2020-04-14 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2020-04-14 Mark Thomchange from xsi to iso in bimetatrans, correct atomic... commit | commitdiff | tree | snapshot
2020-04-13 Mark ThomMerge pull request #345 from triska/master commit | commitdiff | tree | snapshot
2020-04-13 Markus TriskaADDED: group_pairs_by_key/2 commit | commitdiff | tree | snapshot
2020-04-13 Mark Thomversion bump commit | commitdiff | tree | snapshot
2020-04-13 Mark ThomMerge pull request #327 from srenatus/sr/pass-argv... commit | commitdiff | tree | snapshot
2020-04-13 Mark ThomMerge pull request #342 from srenatus/sr/fix-cargo... commit | commitdiff | tree | snapshot
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 Stephan Renatususe partial strings for passing argv to toplevel.pl 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
next
FORK: A modern Prolog implementation written mostly in Rust