]> Repositorios git - scryer-prolog.git/shortlog
projects / scryer-prolog.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
scryer-prolog.git
2021-05-08 Mark ThomMerge pull request #933 from pmoura/add_epsilon_arithme... commit | commitdiff | tree | snapshot
2021-05-08 Paulo MouraAdd epsilon/0 arithmetic constant commit | commitdiff | tree | snapshot
2021-05-08 Mark ThomMerge pull request #932 from pmoura/fix_abolish_bug_wit... commit | commitdiff | tree | snapshot
2021-05-08 Paulo MouraFix abolish/1 to succeed on non-existing predicates... commit | commitdiff | tree | snapshot
2021-05-05 Mark Thomadd missing default RevJmpBy arm to thread_choice_instr... commit | commitdiff | tree | snapshot
2021-05-05 Mark Thomset self.dynamic_mode to FirstOrNext::Next independentl... commit | commitdiff | tree | snapshot
2021-05-04 Mark Thomcorrect assertz/1 bugs (#922) commit | commitdiff | tree | snapshot
2021-05-03 Mark Thomfix incremental compilation and multifile bugs commit | commitdiff | tree | snapshot
2021-05-02 Mark Thomimport builtins to dynamically generated modules unless... commit | commitdiff | tree | snapshot
2021-05-01 Mark Thomadd read/2 and nl/1 (#896) commit | commitdiff | tree | snapshot
2021-05-01 Mark Thomadd user_error stream (#917) commit | commitdiff | tree | snapshot
2021-05-01 Mark Thomfail on undefined multifile/discontiguous/dynamic predi... commit | commitdiff | tree | snapshot
2021-05-01 Mark Thomsupport full paths in load_context_path/2 (#916) commit | commitdiff | tree | snapshot
2021-05-01 Mark Thomfail when retracting undefined dynamic predicates ... commit | commitdiff | tree | snapshot
2021-04-29 Mark ThomMerge pull request #920 from panasenco/serialize commit | commitdiff | tree | snapshot
2021-04-29 panasencoOops, we want to keep digits as characters in library... commit | commitdiff | tree | snapshot
2021-04-29 panasencoRestructuring and improving documentation. commit | commitdiff | tree | snapshot
2021-04-28 panasencoReplaced object() with pairs() in library(json), and... commit | commitdiff | tree | snapshot
2021-04-28 panasencoAdded ABNF grammar to library(charsio) as well as octet... commit | commitdiff | tree | snapshot
2021-04-27 panasencoAlphabetized character logic in macros.rs and system_ca... commit | commitdiff | tree | snapshot
2021-04-27 Mark Thomfix use of local skeletons to reload predicates (#919) commit | commitdiff | tree | snapshot
2021-04-26 Mark ThomMerge pull request #913 from panasenco/json commit | commitdiff | tree | snapshot
2021-04-25 panasencoReplaced raw_chars//1 in library(pio) with seq//1 in... commit | commitdiff | tree | snapshot
2021-04-25 panasencoAdded \raw_chars//1 to library(pio). Began using setup_c... commit | commitdiff | tree | snapshot
2021-04-23 panasencoAnother thorough rewrite of library(json) to better... commit | commitdiff | tree | snapshot
2021-04-22 Mark ThomMerge pull request #912 from panasenco/json commit | commitdiff | tree | snapshot
2021-04-22 panasencoRewrote many parts of library(json) to leave no choicep... commit | commitdiff | tree | snapshot
2021-04-21 panasencoNow preserving distinction between ints and floats commit | commitdiff | tree | snapshot
2021-04-21 panasencoSeem to be generating JSON correctly and at a good... commit | commitdiff | tree | snapshot
2021-04-21 panasencoRemoved CLP(Z) from library(json), achieving a 100x... commit | commitdiff | tree | snapshot
2021-04-21 panasencoFixed forward slash special case issue, added a bunch... commit | commitdiff | tree | snapshot
2021-04-21 panasencoFixed defaulty representations of json_members//1 and... commit | commitdiff | tree | snapshot
2021-04-21 panasencoChanged formatting to match Markus Triska's as much... commit | commitdiff | tree | snapshot
2021-04-21 panasencoComplete reordering and partial rewrite to match the... commit | commitdiff | tree | snapshot
2021-04-21 panasencoAdded objects and type distinction based on the princip... commit | commitdiff | tree | snapshot
2021-04-21 panasencoParsing and generating JSON numbers works perfectly... commit | commitdiff | tree | snapshot
2021-04-21 panasencoBegan working on json library (fresh start after thinki... commit | commitdiff | tree | snapshot
2021-04-17 Mark ThomMerge pull request #909 from triska/master commit | commitdiff | tree | snapshot
2021-04-17 Markus Triskaadd a new section about support and discussions commit | commitdiff | tree | snapshot
2021-04-14 Mark ThomMerge pull request #900 from triska/master commit | commitdiff | tree | snapshot
2021-04-14 Mark Thomassertz/1, asserta/1, retract/1, retractall/1 are meta... commit | commitdiff | tree | snapshot
2021-04-14 Markus Triskaremove rectractall/1 (built-in since 8188e3d0cfde3f2277... commit | commitdiff | tree | snapshot
2021-04-13 Mark ThomMerge pull request #897 from panasenco/master commit | commitdiff | tree | snapshot
2021-04-13 panasencoSwitched to cargo-chef for preparing the Docker image commit | commitdiff | tree | snapshot
2021-04-12 Mark Thomadd missing standard predicates (#896) commit | commitdiff | tree | snapshot
2021-03-24 Mark Thomcall '$erase_ball' before running cleanup code in setup... commit | commitdiff | tree | snapshot
2021-03-24 Mark Thomstop unifying ! to free variables in control_functor... commit | commitdiff | tree | snapshot
2021-03-23 Mark Thommake retract_local_clauses safe, remove warning about... commit | commitdiff | tree | snapshot
2021-03-23 Mark Thomuse occurs check when enabled in UnifyValue (#885) commit | commitdiff | tree | snapshot
2021-03-23 Mark Thomreorder declaration matching in loader.pl commit | commitdiff | tree | snapshot
2021-03-22 Mark Thomflush loader term queue before compiling declarations... commit | commitdiff | tree | snapshot
2021-03-22 Mark Thomremove redundant retraction records for incremental... commit | commitdiff | tree | snapshot
2021-03-22 Mark Thomcompare the tails of partial string prefixes in compare... commit | commitdiff | tree | snapshot
2021-03-21 Mark Thom copies only those attributes planted by the calling... commit | commitdiff | tree | snapshot
2021-03-21 Mark Thomremove vestigial attribute goals struct field and relat... commit | commitdiff | tree | snapshot
2021-03-20 Mark Thomrename issue841-occure-check.pl to issue841-occurs... commit | commitdiff | tree | snapshot
2021-03-19 Mark Thomrecognize cuts in (->)/(,)/(;) calling contexts (#878) commit | commitdiff | tree | snapshot
2021-03-18 Mark ThomMerge pull request #872 from notoria/charsio commit | commitdiff | tree | snapshot
2021-03-18 Mark Thomfix findall/4 (#873) commit | commitdiff | tree | snapshot
2021-03-18 Mark Thomrestore deleted parts of number_chars/2 and number_code... commit | commitdiff | tree | snapshot
2021-03-18 Mark Thomprint floating point zero as 0.0 (#859) commit | commitdiff | tree | snapshot
2021-03-18 Mark Thommake chars callable (#713) commit | commitdiff | tree | snapshot
2021-03-18 Mark Thomalways print variable bindings before names (#865) commit | commitdiff | tree | snapshot
2021-03-18 Mark Thomcheck that a load context path is a filename before... commit | commitdiff | tree | snapshot
2021-03-18 Mark Thomfindall/4 should be declared as a meta-predicate (... commit | commitdiff | tree | snapshot
2021-03-17 Mark Thomissue an imcomplete reduction error if stream ends... commit | commitdiff | tree | snapshot
2021-03-17 notoriaExtend alnum, add forgotten graphic_token commit | commitdiff | tree | snapshot
2021-03-17 Mark Thomremove operators declared at user-level from files... commit | commitdiff | tree | snapshot
2021-03-16 Mark Thomclear user-level definitions when reloading a file... commit | commitdiff | tree | snapshot
2021-03-15 Mark Thomdon't warn about overwriting a clause asserted to a... commit | commitdiff | tree | snapshot
2021-03-14 Mark Thomremove intra-module predicates from module code directo... commit | commitdiff | tree | snapshot
2021-03-13 Mark ThomMerge pull request #866 from Skgland/add_tests commit | commitdiff | tree | snapshot
2021-03-11 Skglandfix expected output for syntax_error test commit | commitdiff | tree | snapshot
2021-03-11 Skglandaddress problems brought up in review commit | commitdiff | tree | snapshot
2021-03-11 Skglandadd more tests commit | commitdiff | tree | snapshot
2021-03-11 Skglandimprove comment commit | commitdiff | tree | snapshot
2021-03-11 Skglandclean up tests/ commit | commitdiff | tree | snapshot
2021-03-10 Mark Thomfix is_cyclic_term (#864) commit | commitdiff | tree | snapshot
2021-03-10 Mark ThomMerge pull request #861 from notoria/mod commit | commitdiff | tree | snapshot
2021-03-10 notoriaAdded a test for mod in CLP(Z) commit | commitdiff | tree | snapshot
2021-03-09 Mark ThomMerge pull request #862 from notoria/xor commit | commitdiff | tree | snapshot
2021-03-07 notoriaUse functional notation in CLP(Z) for compatibility commit | commitdiff | tree | snapshot
2021-03-07 notoriaImplemented a propagator for xor in CLP(Z) commit | commitdiff | tree | snapshot
2021-03-07 notoriaSmall improvement for mod in CLP(Z) commit | commitdiff | tree | snapshot
2021-03-05 Mark ThomMerge pull request #858 from triska/master commit | commitdiff | tree | snapshot
2021-03-05 Markus Triskais is --> is commit | commitdiff | tree | snapshot
2021-03-05 Markus TriskaFIXED: CLP(B): weighted_maximum/3 with repeated variables commit | commitdiff | tree | snapshot
2021-03-05 Markus Triskaadapt comment to Scryer Prolog commit | commitdiff | tree | snapshot
2021-03-05 Mark Thomqualify '$print_project_attributes_exception' call... commit | commitdiff | tree | snapshot
2021-03-04 Mark Thomcall project_attributes from top-level (#846) commit | commitdiff | tree | snapshot
2021-03-04 Mark ThomMerge pull request #856 from triska/master commit | commitdiff | tree | snapshot
2021-03-04 Markus TriskaENHANCED: more readable indentation of nested disjunctions commit | commitdiff | tree | snapshot
2021-03-04 Markus Triskaremove unnecessary argument commit | commitdiff | tree | snapshot
2021-03-03 Mark ThomMerge pull request #854 from triska/master commit | commitdiff | tree | snapshot
2021-03-03 Markus Triskause the new portray_clause/1 output for generated defin... commit | commitdiff | tree | snapshot
2021-03-03 Markus Triskaseparate side-effects from declarative description... commit | commitdiff | tree | snapshot
2021-03-03 Markus TriskaENHANCED: more readable indentation of nested ( If... commit | commitdiff | tree | snapshot
2021-03-03 Mark Thomcatch exceptions thrown from initialization goals ... commit | commitdiff | tree | snapshot
2021-03-03 Mark Thomhas_tail must be false for use as a filename from open... commit | commitdiff | tree | snapshot
2021-03-03 Mark ThomMerge pull request #851 from Skgland/fix_num_test2 commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust