]> 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 notoriaFixed the predicate name when error is thrown commit | commitdiff | tree | snapshot
2020-04-18 notoriaMerge pull request #1 from triska/get_single_char commit | commitdiff | tree | snapshot
2020-04-18 Markus Triskainstead of a type error, use a domain error commit | commitdiff | tree | snapshot
2020-04-18 Markus Triskause get_single_char/1 commit | commitdiff | tree | snapshot
2020-04-18 notoriaRemoved $raw_input_read_char commit | commitdiff | tree | snapshot
2020-04-18 notoriaget_single_char reads Tab as \t commit | commitdiff | tree | snapshot
2020-04-18 notoriaget_single_char reads Enter as \n commit | commitdiff | tree | snapshot
2020-04-18 notoriaMoved get_single_char from builtins.pl to charsio.pl commit | commitdiff | tree | snapshot
2020-04-18 notoriaAdded predicate for reading a single character commit | commitdiff | tree | snapshot
2020-04-15 Mark Thomindex Constant::Usize (#355) commit | commitdiff | tree | snapshot
2020-04-15 Mark Thomquote single dots only commit | commitdiff | tree | snapshot
2020-04-15 Mark ThomMerge pull request #354 from triska/master commit | commitdiff | tree | snapshot
2020-04-15 Mark Thomallow characters as atoms in Machine::use_module and... commit | commitdiff | tree | snapshot
2020-04-15 Mark Thomremove underscores in printed variables produced by... commit | commitdiff | tree | snapshot
2020-04-15 Mark Thomdon't count the terminator in PStrIter len commit | commitdiff | tree | snapshot
2020-04-15 Markus TriskaADDED: list_to_set/2, using the first occurrence of... commit | commitdiff | tree | snapshot
2020-04-15 Mark Thomquote dot when quoted(true) (#349) commit | commitdiff | tree | snapshot
2020-04-15 Mark Thomprivilege new op declarations over old ones (#346) commit | commitdiff | tree | snapshot
2020-04-15 Mark Thominterrupt running queries and return to toplevel (... commit | commitdiff | tree | snapshot
2020-04-15 Mark Thomwrite [a,b,c] correctly with write_canonical (#349) commit | commitdiff | tree | snapshot
2020-04-15 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam 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 ThomMerge pull request #348 from triska/master commit | commitdiff | tree | snapshot
2020-04-14 Markus Triskaupdate the toplevel description, incorporating the... 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
next
FORK: A modern Prolog implementation written mostly in Rust