]> 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-14 Mark ThomMerge pull request #957 from pmoura/fix_at_end_of_strea... commit | commitdiff | tree | snapshot
2021-05-14 Mark ThomMerge pull request #955 from pmoura/fix_abolish_predica... commit | commitdiff | tree | snapshot
2021-05-14 Mark ThomMerge pull request #954 from pmoura/fix_set_stream_posi... commit | commitdiff | tree | snapshot
2021-05-12 Paulo MouraFix at_end_of_stream/1 predicate missing check for... commit | commitdiff | tree | snapshot
2021-05-12 Paulo MouraFix abolish/1 predicate throw of instantiation_error commit | commitdiff | tree | snapshot
2021-05-12 Paulo MouraFix set_stream_position/2 predicate missing argument... commit | commitdiff | tree | snapshot
2021-05-12 Mark ThomMerge pull request #952 from panasenco/dockerfile commit | commitdiff | tree | snapshot
2021-05-12 panasencoMade rust version in Dockerfile static, this seems... commit | commitdiff | tree | snapshot
2021-05-12 Mark ThomMerge pull request #951 from pmoura/add_max_arity_prolo... commit | commitdiff | tree | snapshot
2021-05-11 Paulo MouraAdd max_arity Prolog flag commit | commitdiff | tree | snapshot
2021-05-11 Mark ThomMerge pull request #948 from pmoura/fix_bounded_and_int... commit | commitdiff | tree | snapshot
2021-05-11 Paulo MouraFix querying bounded and integer_rounding_function... commit | commitdiff | tree | snapshot
2021-05-10 Mark ThomMerge pull request #946 from pmoura/fix_char_code_predi... commit | commitdiff | tree | snapshot
2021-05-10 Paulo MouraFix char_code/2 predicate wrong error term when the... commit | commitdiff | tree | snapshot
2021-05-10 Mark ThomMerge pull request #934 from panasenco/dockerfile commit | commitdiff | tree | snapshot
2021-05-10 Mark ThomMerge pull request #938 from pmoura/fix_bitwise_shift_f... commit | commitdiff | tree | snapshot
2021-05-10 Mark ThomMerge pull request #937 from pmoura/fix_open_predicate_... commit | commitdiff | tree | snapshot
2021-05-10 Mark ThomMerge pull request #936 from pmoura/fix_throw_1_control... commit | commitdiff | tree | snapshot
2021-05-10 Mark ThomMerge pull request #939 from pmoura/fix_missing_argumen... commit | commitdiff | tree | snapshot
2021-05-10 Mark ThomMerge pull request #940 from pmoura/fix_power_infix_ope... commit | commitdiff | tree | snapshot
2021-05-10 Mark ThomMerge pull request #944 from triska/master commit | commitdiff | tree | snapshot
2021-05-10 Mark ThomMerge pull request #945 from pmoura/fix_char_code_error... commit | commitdiff | tree | snapshot
2021-05-10 Mark ThomMerge pull request #942 from pmoura/fix_op_3_predicate_... commit | commitdiff | tree | snapshot
2021-05-09 Paulo MouraFix char_code/2 predicate failure instead of exception... commit | commitdiff | tree | snapshot
2021-05-09 Markus TriskaFIXED: module qualification for between/3 in goal expan... commit | commitdiff | tree | snapshot
2021-05-09 Paulo MouraFix op/3 predicate operator_priority domain error commit | commitdiff | tree | snapshot
2021-05-09 Paulo MouraFix (**)/2 operator type commit | commitdiff | tree | snapshot
2021-05-09 Paulo MouraFix missing argument in current_op/3 predicate exceptio... commit | commitdiff | tree | snapshot
2021-05-09 Paulo MouraFix bitwise shift functions type error in the second... commit | commitdiff | tree | snapshot
2021-05-09 Paulo MouraFix open/3-4 predicates error term when the stream... commit | commitdiff | tree | snapshot
2021-05-09 Paulo MouraFix throw/1 control construct to throw an instantiation... commit | commitdiff | tree | snapshot
2021-05-09 panasencoSwitched from using @LukeMathWalker's image to using... commit | commitdiff | tree | snapshot
2021-05-08 Mark ThomMerge pull request #928 from panasenco/permutation commit | commitdiff | tree | snapshot
2021-05-08 Mark ThomMerge pull request #933 from pmoura/add_epsilon_arithme... commit | commitdiff | tree | snapshot
2021-05-08 panasencoMoved MIT header to top of lists.pl 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-07 panasencoPorted permutation/2 from SWI library(lists) 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
next
FORK: A modern Prolog implementation written mostly in Rust