]> 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-03-15 Markus Triskasupport 'p' to reprint answer with max depth, allowing... 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
2020-02-20 Mark Thomrevert to older between.pl commit | commitdiff | tree | snapshot
2020-02-20 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam v0.8.118 commit | commitdiff | tree | snapshot
2020-02-20 Mark Thomupdate Cargo.lock and toml version commit | commitdiff | tree | snapshot
2020-02-20 Mark Thomupdate README commit | commitdiff | tree | snapshot
2020-02-20 Mark Thomadd redone partial strings (#24, #95) commit | commitdiff | tree | snapshot
2020-02-19 Mark Thomupdate between/3 to allow inf as upper bound commit | commitdiff | tree | snapshot
2020-02-19 Mark Thomstop applying (=..)/2 to variables in tabling/trie.pl commit | commitdiff | tree | snapshot
2020-02-19 Mark ThomMerge pull request #258 from aarroyoc/master commit | commitdiff | tree | snapshot
2020-02-16 Mark Thomuse raw_block.rs for the heap backend commit | commitdiff | tree | snapshot
2020-02-14 Mark Thomchange raw_vec to raw_block to avoid clashes with libal... commit | commitdiff | tree | snapshot
2020-02-13 Mark Thomallow the frontier of the RawVec to be offset by a... commit | commitdiff | tree | snapshot
2020-02-13 Mark Thommove bump allocation logic to its own module commit | commitdiff | tree | snapshot
2020-02-13 Mark Thomremove partial strings, but represent strings as lists... commit | commitdiff | tree | snapshot
2020-02-10 Adrián Arroyo... add n as an option to get the next solution commit | commitdiff | tree | snapshot
2020-02-06 Mark Thomcorrect improper use of multifile directive in tabling... commit | commitdiff | tree | snapshot
2020-02-05 Mark Thomprint extended characters recently added to alpha char set commit | commitdiff | tree | snapshot
2020-02-05 Mark Thomprolog_parser version bump commit | commitdiff | tree | snapshot
2020-02-05 Mark Thomrecommit Cargo.lock commit | commitdiff | tree | snapshot
2020-02-05 Mark Thomversion bump, README.md tweak commit | commitdiff | tree | snapshot
2020-02-03 Mark Thomenable cross-query memoization in the tabling library commit | commitdiff | tree | snapshot
2020-02-03 Mark Thomremove tabling/SLG resolution from nice-to-have list commit | commitdiff | tree | snapshot
2020-02-03 Mark Thomadd tabling library, update README, make Cargo.toml... commit | commitdiff | tree | snapshot
2020-02-03 Mark Thomadd multifile and module scoped predicates commit | commitdiff | tree | snapshot
2020-01-27 Mark Thomupdate README commit | commitdiff | tree | snapshot
2020-01-27 Mark Thomadd preliminary multifile declaration support commit | commitdiff | tree | snapshot
2020-01-23 Mark Thomuse atom_concat in gensym.pl commit | commitdiff | tree | snapshot
2020-01-21 Mark Thomdon't hold on to popped or frames commit | commitdiff | tree | snapshot
2020-01-20 Mark Thomcorrect bug in bb_b_put, correct stack truncation bug... commit | commitdiff | tree | snapshot
2020-01-14 Mark Thomadd prefixes to gensym keys commit | commitdiff | tree | snapshot
2020-01-14 Mark Thomadd simple gensym library commit | commitdiff | tree | snapshot
2020-01-14 Mark Thomadd listing sources to modules commit | commitdiff | tree | snapshot
2020-01-03 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
2019-12-23 Mark Thomimplement less defaulty interface in cont.pl commit | commitdiff | tree | snapshot
2019-12-23 Mark Thomremove l* languages commit | commitdiff | tree | snapshot
2019-12-21 Mark Thompush of preliminary delimited continuations library... commit | commitdiff | tree | snapshot
2019-12-20 Mark Thommerge with master commit | commitdiff | tree | snapshot
2019-12-20 Mark Thompreliminary cont work commit | commitdiff | tree | snapshot
2019-12-13 Mark Thomuse Addr::StackCell(0,0) to indicate non-live local... commit | commitdiff | tree | snapshot
2019-12-12 Mark Thomexpand goals inside (\+)/1 commit | commitdiff | tree | snapshot
2019-12-11 Mark Thomchange goal and term expansions, change call/N to use... commit | commitdiff | tree | snapshot
2019-12-08 Mark Thomcorrect odd accidental change to clpb.pl commit | commitdiff | tree | snapshot
2019-12-08 Mark Thomremove zeroing out from Stack::truncate commit | commitdiff | tree | snapshot
2019-12-08 Mark Thomrevert arithmetic code commit | commitdiff | tree | snapshot
2019-12-08 Mark Thomupdate tests commit | commitdiff | tree | snapshot
2019-12-08 Mark Thomreconcile latest changes against stack changes commit | commitdiff | tree | snapshot
2019-12-07 Mark Thomadd backtracking of attributed variable data commit | commitdiff | tree | snapshot
2019-12-06 Mark Thomresolve panic caused by lingering attribute goals ... commit | commitdiff | tree | snapshot
2019-12-06 Mark Thomprint equations between variables (#228, #252) commit | commitdiff | tree | snapshot
2019-12-05 Mark Thombinding attributed variables more eagerly after each... commit | commitdiff | tree | snapshot
2019-12-04 Mark Thompop AND stack frames after unwinding the trail (#250) commit | commitdiff | tree | snapshot
2019-12-04 Mark Thomcorrect attributed variables bugs commit | commitdiff | tree | snapshot
2019-12-04 Mark Thomfix copy_term/3 infinite looping on cyclic terms commit | commitdiff | tree | snapshot
2019-12-03 Mark ThomMerge branch 'master' of https://github.com/mthom/rusty-wam commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust