rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2,431 Commits 2 Branches 18 Tags
5848ff57355a8cc488306c94dbf2a2b70d4418b3
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark Thom 64c9ac4071 Merge pull request #1348 from mthom/revert-1347-min-rust-version 
Revert "Set minimum rust version in Cargo.toml"
 2022-03-12 11:10:25 -07:00
Mark Thom 75fc922898 Revert "Set minimum rust version in Cargo.toml" 2022-03-12 11:10:17 -07:00
Mark Thom 59e2c3fd5e Merge pull request #1347 from Skgland/min-rust-version 
Set minimum rust version in Cargo.toml
 2022-03-12 11:07:03 -07:00
Mark Thom dfbdaa9dab Merge pull request #1342 from wkral/no-add-history 
Add --no-add-history flag
 2022-03-11 18:25:47 -07:00
Mark Thom eace0d9b37 print rationals that are integers as integers (#663) 2022-03-09 21:24:16 -07:00
Mark Thom d83b32a200 print variables instead of offsets in setup_call_cleanup tests 2022-03-08 22:05:54 -07:00
Mark Thom 9cefb33388 correct loading of variable name strings in write_term/3 2022-03-08 22:00:12 -07:00
Mark Thom bd5d6d0686 fix parser bounds check bug (#1333, #1301) 2022-03-08 21:25:19 -07:00
Mark Thom ecebaf8216 unify empty list to '' in atom_chars/2 (#1334, #1336) 2022-03-08 18:25:40 -07:00
Mark Thom 8762647b55 wrap meta-predicate specifications in functors (#1330) 2022-03-07 22:36:52 -07:00
Mark Thom 664c0ee77c fix float formatting (#1331) 2022-03-07 19:44:39 -07:00
Mark Thom 7a9c3d351d Merge pull request #1332 from triska/call_nth_0 
ENHANCED: call_nth(Goal, 0) now fails, correct error for N < 0.
 2022-03-07 15:16:47 -07:00
Mark Thom bd594e0c05 fix number/1 (#1329) 2022-03-06 19:17:52 -07:00
Mark Thom 3bf42860e2 Merge pull request #1328 from pmoura/fix_bounded_and_max_arity_flags 
Fix querying the values of the bounded and max_arity flags
 2022-03-06 18:51:14 -07:00
Mark Thom 1808597258 compare functor arity first (#1327) 2022-03-06 16:37:21 -07:00
Mark Thom 2744989cf1 fix compare/3 (#1327) 2022-03-06 15:49:01 -07:00
Mark Thom 0d04abb5c7 Merge pull request #1326 from pmoura/fix_halt_1_predicate_compliance 
Fix halt/1 built-in predicate for ISO Prolog Core standard compliance
 2022-03-06 14:46:46 -07:00
Mark Thom 475fbf9561 Merge pull request #1323 from triska/simplex 
ADDED: library(simplex), for solving linear programming problems.
 2022-03-06 13:46:32 -07:00
Mark Thom bc9123affb only recommend git cloning to get the latest scryer version in README.md 2022-03-06 10:27:25 -07:00
Mark Thom 7fd12972ad Merge pull request #1322 from triska/explain_strings_better 
DOC: Better explanation of strings and partial strings.
 2022-03-06 10:07:37 -07:00
Mark Thom 2d19243b3b Merge branch 'rebis-dev' into 0.9.0 release
Test / build (macos-10.15, beta) (push) Has been cancelled
Details
Test / build (macos-10.15, stable) (push) Has been cancelled
Details
Test / build (ubuntu-20.04, beta) (push) Has been cancelled
Details
Test / build (ubuntu-20.04, stable) (push) Has been cancelled
Details
2022-03-06 09:45:05 -07:00
Mark Thom 0c19c56909 mark variables in ArithmeticEvaluator (#690) 2022-03-05 17:57:10 -07:00
Mark Thom de35baadf3 use must_be(chars) in read_from_chars/2 (#1305) 2022-03-05 17:39:13 -07:00
Mark Thom 66c209f9e4 reset ReadlineStream from read_query_line (#1317, #1285) 2022-03-05 17:39:13 -07:00
Mark Thom d7a3ed2d4a change domain_error(integer, ..) to type_error(integer, ..) in random.pl (#1310) 2022-03-05 17:39:13 -07:00
Mark Thom 0c25ffc26e dereference list link in delete_attribute (#1148) 2022-03-05 17:39:03 -07:00
Mark Thom a38f7c8524 save arguments to delayed goal before calling verify_attrs (#1304) 2022-03-01 23:59:41 -07:00
Mark Thom bf85cd404c Merge pull request #1313 from triska/all_solutions 
ADDED: "a" to enumerate all solutions
 2022-03-01 15:34:21 -07:00
Mark Thom c2b360d03e Merge pull request #1312 from triska/str_loc_as_cell 
FIXED: load_html/3: use str_loc_as_cell! to store attribute structures
 2022-03-01 12:09:42 -07:00
Mark Thom 1b4b4807a5 refer to structures using str_loc_as_cell! (#1311) 2022-02-28 18:28:13 -07:00
Mark Thom d4d135f2a9 fix unexpected error in length/2 (#1303) 2022-02-27 11:38:48 -07:00
Mark Thom 96faad1c01 add proper error throwing for call_with_inference_limit/3 (#1296) 2022-02-27 11:38:44 -07:00
Mark Thom d55d5f15ae compare '[]' in pstr_comparator of compare_term_test (#1299) 2022-02-25 23:57:27 -07:00
Mark Thom 26e4560429 pop pstr offsets from iterator stack in printer (#1290) 2022-02-25 23:36:26 -07:00
Mark Thom 775bd3a08b unify '' to [] in unify_complete_string (#1292, #1288) 2022-02-25 23:01:08 -07:00
Mark Thom d92d8bce89 recognize [] as equivalent to "" in unify_atom (#1288) 2022-02-22 23:45:58 -07:00
Mark Thom 1b91663244 Merge pull request #1287 from triska/rebis-dev-sgml 
FIXED: library(sgml): load_html/3 and load_xml/3 now both work again.
 2022-02-22 15:55:03 -07:00
Mark Thom 063f0da565 correct '$skip_max_list/4' for non-lists (#1276) 2022-02-20 23:44:18 -07:00
Mark Thom c893247107 update setup_call_cleanup tests 2022-02-19 01:00:02 -07:00
Mark Thom a5adcfff4c adjust dynamic external indices upon retraction, reset dynamic_mode to Next regardless of success or failure 2022-02-19 01:00:02 -07:00
Mark Thom d3583276b3 throw instantiation_error on variables from (#1283) 2022-02-19 01:00:02 -07:00
Mark Thom 55d8de1b23 delay callable errors in control predicates (#1282) 2022-02-19 00:59:59 -07:00
Mark Thom 5b829636cb build CStr's to vars in write_literal_to_var (#1284) 2022-02-15 22:33:29 -07:00
Mark Thom 68ac92a616 don't unify module-qualified variables to ! (#1281) 2022-02-14 18:46:15 -07:00
Mark Thom db20cda27a use VecDeque for generating indices during code generation (#1053) 2022-02-11 19:23:43 -07:00
Mark Thom 60dd47c696 add missing fact to beginning of tmember_t/3 (#1275) 2022-02-11 17:25:01 -07:00
Mark Thom 42da543980 group predicate subsequences by first instantiated arg (#1053) 2022-02-08 23:34:42 -07:00
Mark Thom e4ea547623 print bounded depth partial strings correctly 2022-02-07 14:09:22 -07:00
Mark Thom 33a6c81a07 update setup_call_cleanup tests 2022-02-06 21:46:06 -07:00
Mark Thom 9ba503cd6b use printer cycle detection when printing partial strings (#1263), refactor skip_max_list functions 2022-02-06 21:36:49 -07:00
Mark Thom f3f3dccf8e reference partial strings properly in read_term (#1271) 2022-02-06 15:14:18 -07:00
Mark Thom 2f0718e885 fix write_canonical on strings (#1233) 2022-02-05 20:40:28 -07:00
Mark Thom 7b8001d060 fix '$skip_max_list'/4 (#1260) 2022-02-05 18:33:30 -07:00
Mark Thom 3c022e4332 fix float formatting (#1233, #1258) 2022-02-05 18:33:27 -07:00
Mark Thom 37e34c5209 reset instruction pointers with calls, make HCPrinter::range_from safe (#1233) 2022-01-31 21:24:19 -07:00
Mark Thom 4b71607215 count cycle lengths in skip_max_list_cycle (#1260) 2022-01-31 18:23:16 -07:00
Mark Thom e62875ac90 tag length/2 as the source of finite_memory errors in list.pl (#1259) 2022-01-31 18:08:00 -07:00
Mark Thom 835345b89e Merge pull request #1257 from mthom/rebis-dev_improved-length 
Improved length/2 and arg/3 range checking
 2022-01-30 11:30:16 -07:00
Mark Thom 4ddacc707d add range check to arg/3 (#1250) 2022-01-29 12:50:09 -07:00
Mark Thom 0d653a2ce6 improve '$skip_max_list'/4 and length/2 (#1023, #110) 2022-01-29 12:47:26 -07:00
Mark Thom 3208260ef8 Merge pull request #1254 from triska/valid_dotdotdot 
ENHANCED: Make toplevel output a Prolog term that can be read back also for "...".
 2022-01-28 11:55:52 -07:00
Mark Thom b3006f6fd8 inline store & deref calls in '' (#1176) 2022-01-26 23:03:19 -07:00
Mark Thom 142ddcd57a use expand_goal directly for existential-qualified goals in all-solutions predicates (#1246) 2022-01-26 17:34:36 -07:00
Mark Thom a562793fce don't read into the heap while incrementing self.s (#1233, #1245) 2022-01-25 20:37:29 -07:00
Mark Thom e6c4ecfc10 lazily throw exceptions of dcg_body from goal-expanded phrase/{2,3} (#1244) 2022-01-22 14:55:18 -07:00
Mark Thom 5ff579f793 recognize []/N as callable (#1241, #989) 2022-01-21 08:10:59 -07:00
Mark Thom 8df346f377 expand phrase/{2,3} using dcg_body whenever possible 2022-01-21 08:10:55 -07:00
Mark Thom af76068297 module-qualify callables more liberally but not for built-ins (#1243) 2022-01-20 17:40:45 -07:00
Mark Thom 5dddf0a460 dereference car of Lis in HeapPStRIter::step (#1238) 2022-01-19 20:51:23 -07:00
Mark Thom 1854338ff4 throw errors from phrase/{2,3} where expected (#1220) 2022-01-19 20:19:47 -07:00
Mark Thom 11b96875e0 streamline and fix phrase/{2,3} (#1237) 2022-01-19 20:07:15 -07:00
Mark Thom 6462c524f4 Merge pull request #1236 from triska/omit-module-prefix 
omit module prefix, because the goals are already module-qualified
 2022-01-19 17:22:44 -07:00
Mark Thom ab77b6b28e Merge pull request #1235 from triska/better-initialization-warning 
ENHANCED: more specific warning when initialization/1 fails (#1149)
 2022-01-19 16:41:43 -07:00
Mark Thom 88436b8627 Merge pull request #1234 from aarroyoc/ctrld 
Fix Ctrl-D in toplevel
 2022-01-18 21:34:30 -07:00
Mark Thom f6116510a1 print -0.0 as 0.0 (#1164) 2022-01-18 21:31:14 -07:00
Mark Thom 5a132aaff4 throw error instead of overwriting builtin export (#1225) 2022-01-18 19:16:14 -07:00
Mark Thom 59992c8af2 remove number/3 from arithmetic.pl (#1170) 2022-01-18 17:38:45 -07:00
Mark Thom b980ae1e8c fix floor for f64 (#1223) 2022-01-17 22:04:10 -07:00
Mark Thom 97b9d488d4 include library(error) in toplevel.pl (#1226) 2022-01-17 21:53:52 -07:00
Mark Thom 3ebf8d5db9 clear alias in close before resetting the stream to null (#1231) 2022-01-17 17:58:14 -07:00
Mark Thom 89e33903b2 Merge pull request #1232 from triska/toplevel_read_from_chars 
FIXED: toplevel to use (newly renamed) read_from_chars/2
 2022-01-17 17:44:58 -07:00
Mark Thom 413f797155 Merge pull request #1228 from triska/charsio-read-renames 
MODIFIED: Rename two predicates in library(charsio)
 2022-01-17 17:03:46 -07:00
Mark Thom 6c8dc49216 Merge pull request #1229 from triska/faster_decryption 
ENHANCED: library(crypto): Retain a compact internal representation of the ciphertext throughout decryption.
 2022-01-17 17:03:29 -07:00
Mark Thom 9ded1447ec Merge pull request #1230 from josd/patch-1 
Update clpz.pl
 2022-01-17 17:03:03 -07:00
Mark Thom c6400550e1 dereference second argument of '/2 2022-01-17 00:00:23 -07:00
Mark Thom f26749ad79 Merge pull request #1224 from triska/working_directory 
correct reference to '$working_directory'/2
 2022-01-16 15:46:11 -07:00
Mark Thom 7baa187863 Merge pull request #1222 from triska/retain_string_of_nil 
retain the string "[]" as is, instead of converting it to '[]' (i.e., "")
 2022-01-16 11:58:15 -07:00
Mark Thom 83378e4373 deduplicate but do not sort anonymous variables in toplevel (#1196) 2022-01-15 19:24:22 -07:00
Mark Thom 06abe2302b add missing cases to retract_clause (#1214) 2022-01-15 00:51:38 -07:00
Mark Thom f3e5f7879d allow late dynamic declaration for predicates (#1205) 2022-01-14 16:31:49 -07:00
Mark Thom bc5125b719 put_complete_string should push the empty list to the heap for empty strings (#1209) 2022-01-14 16:31:49 -07:00
Mark Thom c6d23f9a0b fix off-by-one error in DynamicIndexedChoice (#1210) 2022-01-14 16:31:22 -07:00
Mark Thom 3b8afce7c7 fix syntax regressions (#1198, #1164) 2022-01-13 23:54:55 -07:00
Mark Thom 39e28f1f2a write plaintext and ciphertext directly to atoms (#1193) 2022-01-13 08:47:56 -07:00
Mark Thom 08363b1d73 Merge pull request #1208 from triska/mention-rebis-dev 
add links to the rebis-dev branch and its announcement
 2022-01-13 08:03:25 -07:00
Mark Thom d9e190096c delimit partial strings around \x0\ 2022-01-12 22:10:59 -07:00
Mark Thom 4dca86d5cf serialize call_0 test (#1206) 2022-01-12 21:42:26 -07:00
Mark Thom d3b628bb24 Merge pull request #1207 from triska/semi-deterministic 
deterministic --> semi-deterministic
 2022-01-12 15:30:24 -07:00
Mark Thom 340d428c88 Merge pull request #1199 from Skgland/do_not_gen_in_src 
Generate into $OUT_DIR instead of src/
 2022-01-11 23:01:59 -07:00
Mark Thom d22bbc54c7 Merge pull request #1195 from triska/rebis-dev-format-U 
ADDED: format specifier ~NU, using underscores to separate groups of digits
 2022-01-11 22:49:38 -07:00