]> Repositorios git - scryer-prolog.git/shortlog
projects / scryer-prolog.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
scryer-prolog.git
2022-03-06 Mark ThomMerge pull request #1326 from pmoura/fix_halt_1_predica... commit | commitdiff | tree | snapshot
2022-03-06 Paulo MouraFix halt/1 built-in predicate for ISO Prolog Core stand... commit | commitdiff | tree | snapshot
2022-03-06 Mark ThomMerge pull request #1323 from triska/simplex commit | commitdiff | tree | snapshot
2022-03-06 Markus TriskaADDED: library(simplex), for solving linear programming... commit | commitdiff | tree | snapshot
2022-03-06 Mark Thomonly recommend git cloning to get the latest scryer... commit | commitdiff | tree | snapshot
2022-03-06 Mark ThomMerge pull request #1322 from triska/explain_strings_better commit | commitdiff | tree | snapshot
2022-03-06 Mark ThomMerge branch 'rebis-dev' into 0.9.0 release v0.9.0 commit | commitdiff | tree | snapshot
2022-03-06 Markus TriskaDOC: Better explanation of strings and partial strings. commit | commitdiff | tree | snapshot
2022-03-06 Mark Thommark variables in ArithmeticEvaluator (#690) commit | commitdiff | tree | snapshot
2022-03-06 Mark Thomuse must_be(chars) in read_from_chars/2 (#1305) commit | commitdiff | tree | snapshot
2022-03-06 Mark Thomreset ReadlineStream from read_query_line (#1317, ... commit | commitdiff | tree | snapshot
2022-03-06 Mark Thomchange domain_error(integer, ..) to type_error(integer... commit | commitdiff | tree | snapshot
2022-03-06 Mark Thomdereference list link in delete_attribute (#1148) commit | commitdiff | tree | snapshot
2022-03-02 Markus TriskaADDED: "f" to enumerate the next 5 solutions, similar... commit | commitdiff | tree | snapshot
2022-03-02 Mark Thomsave arguments to delayed goal before calling verify_at... commit | commitdiff | tree | snapshot
2022-03-01 Mark ThomMerge pull request #1313 from triska/all_solutions commit | commitdiff | tree | snapshot
2022-03-01 Markus TriskaADDED: "a" to enumerate all solutions commit | commitdiff | tree | snapshot
2022-03-01 Mark ThomMerge pull request #1312 from triska/str_loc_as_cell commit | commitdiff | tree | snapshot
2022-03-01 Markus TriskaFIXED: load_html/3: use str_loc_as_cell! to store attri... commit | commitdiff | tree | snapshot
2022-03-01 Mark Thomrefer to structures using str_loc_as_cell! (#1311) commit | commitdiff | tree | snapshot
2022-02-27 Mark Thomfix unexpected error in length/2 (#1303) commit | commitdiff | tree | snapshot
2022-02-27 Mark Thomadd proper error throwing for call_with_inference_limit... commit | commitdiff | tree | snapshot
2022-02-26 Mark Thomcompare '[]' in pstr_comparator of compare_term_test... commit | commitdiff | tree | snapshot
2022-02-26 Mark Thompop pstr offsets from iterator stack in printer (#1290) commit | commitdiff | tree | snapshot
2022-02-26 Mark Thomunify '' to [] in unify_complete_string (#1292, #1288) commit | commitdiff | tree | snapshot
2022-02-23 Mark Thomrecognize [] as equivalent to "" in unify_atom (#1288) commit | commitdiff | tree | snapshot
2022-02-22 Mark ThomMerge pull request #1287 from triska/rebis-dev-sgml commit | commitdiff | tree | snapshot
2022-02-22 Markus Triskause newly available get_n_chars/3 from library(charsio) commit | commitdiff | tree | snapshot
2022-02-22 Markus TriskaFIXED: library(sgml): load_html/3 and load_xml/3 now... commit | commitdiff | tree | snapshot
2022-02-21 Mark Thomcorrect '$skip_max_list/4' for non-lists (#1276) commit | commitdiff | tree | snapshot
2022-02-19 Mark Thomupdate setup_call_cleanup tests commit | commitdiff | tree | snapshot
2022-02-19 Mark Thomadjust dynamic external indices upon retraction, reset... commit | commitdiff | tree | snapshot
2022-02-19 Mark Thomthrow instantiation_error on variables from (#1283) commit | commitdiff | tree | snapshot
2022-02-19 Mark Thomdelay callable errors in control predicates (#1282) commit | commitdiff | tree | snapshot
2022-02-16 Mark Thombuild CStr's to vars in write_literal_to_var (#1284) commit | commitdiff | tree | snapshot
2022-02-15 Mark Thomdon't unify module-qualified variables to ! (#1281) commit | commitdiff | tree | snapshot
2022-02-12 Mark Thomuse VecDeque for generating indices during code generat... commit | commitdiff | tree | snapshot
2022-02-12 Mark Thomadd missing fact to beginning of tmember_t/3 (#1275) commit | commitdiff | tree | snapshot
2022-02-09 Mark Thomgroup predicate subsequences by first instantiated... commit | commitdiff | tree | snapshot
2022-02-07 Mark Thomprint bounded depth partial strings correctly commit | commitdiff | tree | snapshot
2022-02-07 Mark Thomupdate setup_call_cleanup tests commit | commitdiff | tree | snapshot
2022-02-07 Mark Thomuse printer cycle detection when printing partial strin... commit | commitdiff | tree | snapshot
2022-02-06 Mark Thomreference partial strings properly in read_term (#1271) commit | commitdiff | tree | snapshot
2022-02-06 Mark Thomfix write_canonical on strings (#1233) commit | commitdiff | tree | snapshot
2022-02-06 Mark Thomfix '$skip_max_list'/4 (#1260) commit | commitdiff | tree | snapshot
2022-02-06 Mark Thomfix float formatting (#1233, #1258) commit | commitdiff | tree | snapshot
2022-02-01 Mark Thomreset instruction pointers with calls, make HCPrinter... commit | commitdiff | tree | snapshot
2022-02-01 Mark Thomcount cycle lengths in skip_max_list_cycle (#1260) commit | commitdiff | tree | snapshot
2022-02-01 Mark Thomtag length/2 as the source of finite_memory errors... commit | commitdiff | tree | snapshot
2022-01-30 Mark ThomMerge pull request #1257 from mthom/rebis-dev_improved... commit | commitdiff | tree | snapshot
2022-01-29 Mark Thomadd range check to arg/3 (#1250) rebis-dev_improved-length origin/rebis-dev_improved-length commit | commitdiff | tree | snapshot
2022-01-29 Mark Thomimprove '$skip_max_list'/4 and length/2 (#1023, #110) commit | commitdiff | tree | snapshot
2022-01-28 Mark ThomMerge pull request #1254 from triska/valid_dotdotdot commit | commitdiff | tree | snapshot
2022-01-28 Markus TriskaENHANCED: Make toplevel output a Prolog term that can... commit | commitdiff | tree | snapshot
2022-01-27 Mark Thominline store & deref calls in '' (#1176) commit | commitdiff | tree | snapshot
2022-01-27 Mark Thomuse expand_goal directly for existential-qualified... commit | commitdiff | tree | snapshot
2022-01-26 Mark Thomdon't read into the heap while incrementing self.s... commit | commitdiff | tree | snapshot
2022-01-22 Mark Thomlazily throw exceptions of dcg_body from goal-expanded... commit | commitdiff | tree | snapshot
2022-01-21 Mark Thomrecognize []/N as callable (#1241, #989) commit | commitdiff | tree | snapshot
2022-01-21 Mark Thomexpand phrase/{2,3} using dcg_body whenever possible commit | commitdiff | tree | snapshot
2022-01-21 Mark Thommodule-qualify callables more liberally but not for... commit | commitdiff | tree | snapshot
2022-01-20 Mark Thomdereference car of Lis in HeapPStRIter::step (#1238) commit | commitdiff | tree | snapshot
2022-01-20 Mark Thomthrow errors from phrase/{2,3} where expected (#1220) commit | commitdiff | tree | snapshot
2022-01-20 Mark Thomstreamline and fix phrase/{2,3} (#1237) commit | commitdiff | tree | snapshot
2022-01-20 Mark ThomMerge pull request #1236 from triska/omit-module-prefix commit | commitdiff | tree | snapshot
2022-01-19 Markus Triskaomit module prefix, because the goals are already modul... commit | commitdiff | tree | snapshot
2022-01-19 Mark ThomMerge pull request #1235 from triska/better-initializat... commit | commitdiff | tree | snapshot
2022-01-19 Markus TriskaENHANCED: more specific warning when initialization... commit | commitdiff | tree | snapshot
2022-01-19 Mark ThomMerge pull request #1234 from aarroyoc/ctrld commit | commitdiff | tree | snapshot
2022-01-19 Mark Thomprint -0.0 as 0.0 (#1164) commit | commitdiff | tree | snapshot
2022-01-19 Mark Thomthrow error instead of overwriting builtin export ... commit | commitdiff | tree | snapshot
2022-01-19 Mark Thomremove number/3 from arithmetic.pl (#1170) commit | commitdiff | tree | snapshot
2022-01-18 Adrián Arroyo... Fix Ctrl-D (#1168) commit | commitdiff | tree | snapshot
2022-01-18 Mark Thomfix floor for f64 (#1223) commit | commitdiff | tree | snapshot
2022-01-18 Mark Thominclude library(error) in toplevel.pl (#1226) commit | commitdiff | tree | snapshot
2022-01-18 Mark Thomclear alias in close before resetting the stream to... commit | commitdiff | tree | snapshot
2022-01-18 Mark ThomMerge pull request #1232 from triska/toplevel_read_from... commit | commitdiff | tree | snapshot
2022-01-18 Markus TriskaFIXED: toplevel to use (newly renamed) read_from_chars/2 commit | commitdiff | tree | snapshot
2022-01-18 Mark ThomMerge pull request #1228 from triska/charsio-read-renames commit | commitdiff | tree | snapshot
2022-01-18 Mark ThomMerge pull request #1229 from triska/faster_decryption commit | commitdiff | tree | snapshot
2022-01-18 Mark ThomMerge pull request #1230 from josd/patch-1 commit | commitdiff | tree | snapshot
2022-01-17 Markus TriskaENHANCED: library(crypto): Retain a compact internal... commit | commitdiff | tree | snapshot
2022-01-17 Jos De RooUpdate clpz.pl commit | commitdiff | tree | snapshot
2022-01-17 Markus TriskaMODIFIED: library(charsio): read_n_chars/3 is now calle... commit | commitdiff | tree | snapshot
2022-01-17 Markus TriskaMODIFIED: library(charsio): read_term_from_chars/2... commit | commitdiff | tree | snapshot
2022-01-17 Mark Thomdereference second argument of '/2 commit | commitdiff | tree | snapshot
2022-01-16 Mark ThomMerge pull request #1224 from triska/working_directory commit | commitdiff | tree | snapshot
2022-01-16 Markus Triskacorrect reference to '$working_directory'/2 commit | commitdiff | tree | snapshot
2022-01-16 Mark ThomMerge pull request #1222 from triska/retain_string_of_nil commit | commitdiff | tree | snapshot
2022-01-16 Markus Triskaretain the string "[]" as is, instead of converting... commit | commitdiff | tree | snapshot
2022-01-16 Mark Thomdeduplicate but do not sort anonymous variables in... commit | commitdiff | tree | snapshot
2022-01-15 Mark Thomadd missing cases to retract_clause (#1214) commit | commitdiff | tree | snapshot
2022-01-14 Mark Thomallow late dynamic declaration for predicates (#1205) commit | commitdiff | tree | snapshot
2022-01-14 Mark Thomput_complete_string should push the empty list to the... commit | commitdiff | tree | snapshot
2022-01-14 Mark Thomfix off-by-one error in DynamicIndexedChoice (#1210) commit | commitdiff | tree | snapshot
2022-01-14 Mark Thomfix syntax regressions (#1198, #1164) commit | commitdiff | tree | snapshot
2022-01-13 Mark Thomwrite plaintext and ciphertext directly to atoms (... commit | commitdiff | tree | snapshot
2022-01-13 Mark ThomMerge pull request #1208 from triska/mention-rebis-dev commit | commitdiff | tree | snapshot
2022-01-13 Markus Triskaadd links to the rebis-dev branch and its announcement commit | commitdiff | tree | snapshot
2022-01-13 Mark Thomdelimit partial strings around \x0\ commit | commitdiff | tree | snapshot
next
FORK: A modern Prolog implementation written mostly in Rust