rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 75d719d204 print most characters directly ((#1355) Mark Thom 2022-03-17 18:43:30 -06:00
  • 172e3e9f34 check self.ignore_ops and max_depth in print_rational (#1359) Mark Thom 2022-03-17 18:08:30 -06:00
  • 8e32bdd8db remove pstr offsets unconditionally from printer iteration stack, deal with fallout after the fact (#1357) Mark Thom 2022-03-16 19:11:39 -06:00
  • 895b02b641 improve length/2 (#1325) Mark Thom 2022-03-15 18:43:57 -06:00
  • d06b5f7ab5 prepare for publishing to crates.io (#1335) Mark Thom 2022-03-14 23:31:50 -06:00
  • e88ec6736c add (:) meta-predicate argument indicator (#1302) Mark Thom 2022-03-13 12:53:31 -06:00
  • 922abf21e7 derefence target variable in check_sort_errors (#1350) Mark Thom 2022-03-13 13:54:39 -06:00
  • c55bfa2c6e throw errors on cycles in sort/2 and keysort/2 (#1350 and #1351) Mark Thom 2022-03-13 10:48:03 -06:00
  • 5463c1d47f point code index to switch_on_term after appending indexed clause to single-clause predicate (#1346) Mark Thom 2022-03-12 20:12:28 -07:00
  • 3513a9c7ba Merge pull request #1349 from Skgland/min-rust-version Mark Thom 2022-03-12 13:12:03 -07:00
  • 45db236ec7 add a CI job to verify msrv is still correct Skgland 2022-03-12 19:02:34 +01:00
  • 5848ff5735 add min rust version Skgland 2022-03-12 18:57:33 +01:00
  • 64c9ac4071 Merge pull request #1348 from mthom/revert-1347-min-rust-version Mark Thom 2022-03-12 11:10:25 -07:00
  • 75fc922898 Revert "Set minimum rust version in Cargo.toml" Mark Thom 2022-03-12 11:10:17 -07:00
  • 59e2c3fd5e Merge pull request #1347 from Skgland/min-rust-version Mark Thom 2022-03-12 11:07:03 -07:00
  • 5bd73741cf add a CI job to verify msrv is still correct Skgland 2022-03-12 19:02:34 +01:00
  • fcfa3beaa3 add min rust version Skgland 2022-03-12 18:57:33 +01:00
  • dfbdaa9dab Merge pull request #1342 from wkral/no-add-history Mark Thom 2022-03-11 18:25:47 -07:00
  • 5f1f07e5a1 Add --no-add-history flag William Kral 2022-03-10 21:48:41 -08:00
  • eace0d9b37 print rationals that are integers as integers (#663) Mark Thom 2022-03-09 21:24:16 -07:00
  • d83b32a200 print variables instead of offsets in setup_call_cleanup tests Mark Thom 2022-03-08 22:05:54 -07:00
  • 9cefb33388 correct loading of variable name strings in write_term/3 Mark Thom 2022-03-08 22:00:12 -07:00
  • bd5d6d0686 fix parser bounds check bug (#1333, #1301) Mark Thom 2022-03-08 21:25:19 -07:00
  • ecebaf8216 unify empty list to '' in atom_chars/2 (#1334, #1336) Mark Thom 2022-03-08 18:25:40 -07:00
  • 8762647b55 wrap meta-predicate specifications in functors (#1330) Mark Thom 2022-03-07 22:36:52 -07:00
  • 664c0ee77c fix float formatting (#1331) Mark Thom 2022-03-07 19:44:31 -07:00
  • 7a9c3d351d Merge pull request #1332 from triska/call_nth_0 Mark Thom 2022-03-07 15:16:47 -07:00
  • 69e52d1ed8 ENHANCED: call_nth(Goal, 0) now fails, correct error for N < 0. Markus Triska 2022-03-07 23:38:30 +01:00
  • bd594e0c05 fix number/1 (#1329) Mark Thom 2022-03-06 19:17:52 -07:00
  • 3bf42860e2 Merge pull request #1328 from pmoura/fix_bounded_and_max_arity_flags Mark Thom 2022-03-06 18:51:14 -07:00
  • 0532f51cc2 Fix querying the values of the bounded and max_arity flags Paulo Moura 2022-03-07 00:30:35 +00:00
  • 1808597258 compare functor arity first (#1327) Mark Thom 2022-03-06 16:37:21 -07:00
  • 2744989cf1 fix compare/3 (#1327) Mark Thom 2022-03-06 15:48:54 -07:00
  • 0d04abb5c7 Merge pull request #1326 from pmoura/fix_halt_1_predicate_compliance Mark Thom 2022-03-06 14:46:46 -07:00
  • 495168e7bb Fix halt/1 built-in predicate for ISO Prolog Core standard compliance Paulo Moura 2022-03-06 21:33:49 +00:00
  • 475fbf9561 Merge pull request #1323 from triska/simplex Mark Thom 2022-03-06 13:46:32 -07:00
  • c6264cf098 ADDED: library(simplex), for solving linear programming problems. Markus Triska 2022-03-06 21:36:55 +01:00
  • bc9123affb only recommend git cloning to get the latest scryer version in README.md Mark Thom 2022-03-06 10:27:25 -07:00
  • 7fd12972ad Merge pull request #1322 from triska/explain_strings_better Mark Thom 2022-03-06 10:07:37 -07:00
  • 2d19243b3b Merge branch 'rebis-dev' into 0.9.0 release v0.9.0 Mark Thom 2022-03-06 09:39:28 -07:00
  • 8ad4f188f2 DOC: Better explanation of strings and partial strings. Markus Triska 2022-03-06 11:05:15 +01:00
  • 0c19c56909 mark variables in ArithmeticEvaluator (#690) Mark Thom 2022-03-05 15:27:36 -07:00
  • de35baadf3 use must_be(chars) in read_from_chars/2 (#1305) Mark Thom 2022-03-05 11:14:24 -07:00
  • 66c209f9e4 reset ReadlineStream from read_query_line (#1317, #1285) Mark Thom 2022-03-05 10:38:16 -07:00
  • d7a3ed2d4a change domain_error(integer, ..) to type_error(integer, ..) in random.pl (#1310) Mark Thom 2022-03-03 23:24:26 -07:00
  • 0c25ffc26e dereference list link in delete_attribute (#1148) Mark Thom 2022-03-03 23:22:36 -07:00
  • 9f864574de ADDED: "f" to enumerate the next 5 solutions, similar to GUPU. Markus Triska 2022-03-02 21:02:19 +01:00
  • a38f7c8524 save arguments to delayed goal before calling verify_attrs (#1304) Mark Thom 2022-03-01 23:59:33 -07:00
  • bf85cd404c Merge pull request #1313 from triska/all_solutions Mark Thom 2022-03-01 15:34:21 -07:00
  • 102adb3544 ADDED: "a" to enumerate all solutions Markus Triska 2022-03-01 23:52:51 +01:00
  • c2b360d03e Merge pull request #1312 from triska/str_loc_as_cell Mark Thom 2022-03-01 12:09:42 -07:00
  • 1bec1b7002 FIXED: load_html/3: use str_loc_as_cell! to store attribute structures Markus Triska 2022-03-01 20:20:51 +01:00
  • 1b4b4807a5 refer to structures using str_loc_as_cell! (#1311) Mark Thom 2022-02-28 18:28:13 -07:00
  • d4d135f2a9 fix unexpected error in length/2 (#1303) Mark Thom 2022-02-26 11:07:38 -07:00
  • 96faad1c01 add proper error throwing for call_with_inference_limit/3 (#1296) Mark Thom 2022-02-26 10:57:52 -07:00
  • d55d5f15ae compare '[]' in pstr_comparator of compare_term_test (#1299) Mark Thom 2022-02-25 23:57:27 -07:00
  • 26e4560429 pop pstr offsets from iterator stack in printer (#1290) Mark Thom 2022-02-25 23:36:26 -07:00
  • 775bd3a08b unify '' to [] in unify_complete_string (#1292, #1288) Mark Thom 2022-02-25 23:01:08 -07:00
  • d92d8bce89 recognize [] as equivalent to "" in unify_atom (#1288) Mark Thom 2022-02-22 23:45:04 -07:00
  • 1b91663244 Merge pull request #1287 from triska/rebis-dev-sgml Mark Thom 2022-02-22 15:55:03 -07:00
  • 8fb673e93e use newly available get_n_chars/3 from library(charsio) Markus Triska 2022-02-22 23:51:01 +01:00
  • d1372d9b3b FIXED: library(sgml): load_html/3 and load_xml/3 now both work again. Markus Triska 2022-02-22 23:49:01 +01:00
  • 063f0da565 correct '$skip_max_list/4' for non-lists (#1276) Mark Thom 2022-02-20 23:44:18 -07:00
  • c893247107 update setup_call_cleanup tests Mark Thom 2022-02-18 22:17:15 -07:00
  • a5adcfff4c adjust dynamic external indices upon retraction, reset dynamic_mode to Next regardless of success or failure Mark Thom 2022-02-18 19:49:16 -07:00
  • d3583276b3 throw instantiation_error on variables from (#1283) Mark Thom 2022-02-18 19:33:16 -07:00
  • 55d8de1b23 delay callable errors in control predicates (#1282) Mark Thom 2022-02-17 20:26:30 -07:00
  • 5b829636cb build CStr's to vars in write_literal_to_var (#1284) Mark Thom 2022-02-15 22:22:36 -07:00
  • 68ac92a616 don't unify module-qualified variables to ! (#1281) Mark Thom 2022-02-14 18:46:15 -07:00
  • db20cda27a use VecDeque for generating indices during code generation (#1053) Mark Thom 2022-02-11 19:23:43 -07:00
  • 60dd47c696 add missing fact to beginning of tmember_t/3 (#1275) Mark Thom 2022-02-11 17:25:01 -07:00
  • 42da543980 group predicate subsequences by first instantiated arg (#1053) Mark Thom 2022-02-08 23:34:42 -07:00
  • e4ea547623 print bounded depth partial strings correctly Mark Thom 2022-02-07 14:09:22 -07:00
  • 33a6c81a07 update setup_call_cleanup tests Mark Thom 2022-02-06 21:46:06 -07:00
  • 9ba503cd6b use printer cycle detection when printing partial strings (#1263), refactor skip_max_list functions Mark Thom 2022-02-06 21:12:54 -07:00
  • f3f3dccf8e reference partial strings properly in read_term (#1271) Mark Thom 2022-02-06 15:14:18 -07:00
  • 2f0718e885 fix write_canonical on strings (#1233) Mark Thom 2022-02-05 20:40:28 -07:00
  • 7b8001d060 fix '$skip_max_list'/4 (#1260) Mark Thom 2022-02-04 21:51:22 -07:00
  • 3c022e4332 fix float formatting (#1233, #1258) Mark Thom 2022-02-03 19:57:41 -07:00
  • 37e34c5209 reset instruction pointers with calls, make HCPrinter::range_from safe (#1233) Mark Thom 2022-01-31 21:24:19 -07:00
  • 4b71607215 count cycle lengths in skip_max_list_cycle (#1260) Mark Thom 2022-01-31 18:23:16 -07:00
  • e62875ac90 tag length/2 as the source of finite_memory errors in list.pl (#1259) Mark Thom 2022-01-31 18:08:00 -07:00
  • 835345b89e Merge pull request #1257 from mthom/rebis-dev_improved-length Mark Thom 2022-01-30 11:30:16 -07:00
  • 4ddacc707d add range check to arg/3 (#1250) Mark Thom 2022-01-29 12:50:09 -07:00
  • 0d653a2ce6 improve '$skip_max_list'/4 and length/2 (#1023, #110) Mark Thom 2022-01-29 00:57:39 -07:00
  • 3208260ef8 Merge pull request #1254 from triska/valid_dotdotdot Mark Thom 2022-01-28 11:55:52 -07:00
  • 2e57789d10 ENHANCED: Make toplevel output a Prolog term that can be read back also for "...". Markus Triska 2022-01-28 18:47:55 +01:00
  • b3006f6fd8 inline store & deref calls in '' (#1176) Mark Thom 2022-01-26 23:03:19 -07:00
  • 142ddcd57a use expand_goal directly for existential-qualified goals in all-solutions predicates (#1246) Mark Thom 2022-01-26 17:34:36 -07:00
  • a562793fce don't read into the heap while incrementing self.s (#1233, #1245) Mark Thom 2022-01-24 18:47:53 -07:00
  • e6c4ecfc10 lazily throw exceptions of dcg_body from goal-expanded phrase/{2,3} (#1244) Mark Thom 2022-01-22 12:22:50 -07:00
  • 5ff579f793 recognize []/N as callable (#1241, #989) Mark Thom 2022-01-20 23:46:03 -07:00
  • 8df346f377 expand phrase/{2,3} using dcg_body whenever possible Mark Thom 2022-01-20 23:32:08 -07:00
  • af76068297 module-qualify callables more liberally but not for built-ins (#1243) Mark Thom 2022-01-20 17:40:45 -07:00
  • 5dddf0a460 dereference car of Lis in HeapPStRIter::step (#1238) Mark Thom 2022-01-19 20:51:23 -07:00
  • 1854338ff4 throw errors from phrase/{2,3} where expected (#1220) Mark Thom 2022-01-19 20:19:47 -07:00
  • 11b96875e0 streamline and fix phrase/{2,3} (#1237) Mark Thom 2022-01-19 20:07:15 -07:00
  • 6462c524f4 Merge pull request #1236 from triska/omit-module-prefix Mark Thom 2022-01-19 17:22:44 -07:00
  • b703303dd4 omit module prefix, because the goals are already module-qualified Markus Triska 2022-01-20 00:48:30 +01:00
  • ab77b6b28e Merge pull request #1235 from triska/better-initialization-warning Mark Thom 2022-01-19 16:41:43 -07:00