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

Commit Graph

  • 6eb36226b1 Merge pull request #934 from panasenco/dockerfile Mark Thom 2021-05-10 11:10:39 -06:00
  • 21984f0bbe Merge pull request #938 from pmoura/fix_bitwise_shift_functions_type_error_in_second_argument Mark Thom 2021-05-10 11:10:20 -06:00
  • 5eac945bc0 Merge pull request #937 from pmoura/fix_open_predicate_error_term_on_bound_stream_argument Mark Thom 2021-05-10 11:10:12 -06:00
  • 2736b4198a Merge pull request #936 from pmoura/fix_throw_1_control_construct_with_var_argument Mark Thom 2021-05-10 11:09:59 -06:00
  • a4f2f7faa6 Merge pull request #939 from pmoura/fix_missing_argument_in_current_op_3_predicate_exception_term Mark Thom 2021-05-10 11:09:44 -06:00
  • 94923175a8 Merge pull request #940 from pmoura/fix_power_infix_operator_type_as_per_standard Mark Thom 2021-05-10 11:09:23 -06:00
  • f1c629e7bf Merge pull request #944 from triska/master Mark Thom 2021-05-10 11:09:09 -06:00
  • 5d0c60bd24 Merge pull request #945 from pmoura/fix_char_code_error_checking Mark Thom 2021-05-10 11:08:58 -06:00
  • 59f08cd651 Merge pull request #942 from pmoura/fix_op_3_predicate_operator_priority_domain_error Mark Thom 2021-05-10 11:07:04 -06:00
  • 63db194140 Fix char_code/2 predicate failure instead of exception on non-integer second argument Paulo Moura 2021-05-10 00:37:09 +01:00
  • 38db8d4e1a FIXED: module qualification for between/3 in goal expansion (#941) Markus Triska 2021-05-09 23:54:37 +02:00
  • c2e8cbb846 Fix op/3 predicate operator_priority domain error Paulo Moura 2021-05-09 22:25:37 +01:00
  • 3c567b895f Fix (**)/2 operator type Paulo Moura 2021-05-09 21:02:44 +01:00
  • 673c75fb72 Fix missing argument in current_op/3 predicate exception term Paulo Moura 2021-05-09 20:51:41 +01:00
  • 7a576ee36e Fix bitwise shift functions type error in the second argument Paulo Moura 2021-05-09 19:58:35 +01:00
  • 73c09e3365 Fix open/3-4 predicates error term when the stream argument is bound Paulo Moura 2021-05-09 19:21:21 +01:00
  • 07dd2b279e Fix throw/1 control construct to throw an instantiation error when the argument is not bound Paulo Moura 2021-05-09 12:42:51 +01:00
  • c7943d2521 Switched from using @LukeMathWalker's image to using the official Rust image. Was experiencing cache issues before that, either due to the image, or due to Docker cache being weird... panasenco 2021-05-08 17:04:54 -07:00
  • 9b483d381f Merge pull request #928 from panasenco/permutation Mark Thom 2021-05-08 15:09:01 -06:00
  • 4e25337779 Merge pull request #933 from pmoura/add_epsilon_arithmetic_constant Mark Thom 2021-05-08 15:08:13 -06:00
  • 1e5041b8b0 Moved MIT header to top of lists.pl panasenco 2021-05-08 13:32:30 -07:00
  • 3f4bbe9b9e Add epsilon/0 arithmetic constant Paulo Moura 2021-05-08 21:23:54 +01:00
  • 56eaf883dc Merge pull request #932 from pmoura/fix_abolish_bug_with_no_existing_predicates Mark Thom 2021-05-08 12:39:28 -06:00
  • d8c0af7ded Fix abolish/1 to succeed on non-existing predicates as per standard Paulo Moura 2021-05-08 11:13:08 +01:00
  • 8724a6b6e2 Ported permutation/2 from SWI library(lists) panasenco 2021-05-07 00:29:48 -07:00
  • b968b2c438 add missing default RevJmpBy arm to thread_choice_instr_at_to (prompted by #922) Mark Thom 2021-05-05 11:16:33 -06:00
  • 533d1ea9ab set self.dynamic_mode to FirstOrNext::Next independently of succeed or failure in dynamic indexing instructions (prompted by #922) Mark Thom 2021-05-04 20:54:00 -06:00
  • c9e32c449a correct assertz/1 bugs (#922) Mark Thom 2021-05-04 17:53:02 -06:00
  • d9e42bfcba fix incremental compilation and multifile bugs Mark Thom 2021-05-03 16:59:12 -06:00
  • f552564fc1 import builtins to dynamically generated modules unless builtins is being defined Mark Thom 2021-05-02 11:01:17 -06:00
  • b21a096516 add read/2 and nl/1 (#896) Mark Thom 2021-05-01 15:29:41 -06:00
  • d0b25de554 add user_error stream (#917) Mark Thom 2021-04-30 21:58:03 -06:00
  • bba836dc31 fail on undefined multifile/discontiguous/dynamic predicates (#915) Mark Thom 2021-04-30 21:46:50 -06:00
  • 14fc8e2efa support full paths in load_context_path/2 (#916) Mark Thom 2021-04-30 20:38:26 -06:00
  • d8bd4fbea6 fail when retracting undefined dynamic predicates (#918) Mark Thom 2021-04-30 20:36:56 -06:00
  • 7cc89da879 Merge pull request #920 from panasenco/serialize Mark Thom 2021-04-29 13:11:13 -06:00
  • baed12f45e Oops, we want to keep digits as characters in library(abnf), but as numbers in library(json). panasenco 2021-04-28 22:58:04 -07:00
  • dfbf291725 Restructuring and improving documentation. panasenco 2021-04-28 22:22:00 -07:00
  • cb07074246 Replaced object() with pairs() in library(json), and made key type explicit. panasenco 2021-04-28 16:09:38 -07:00
  • 0198fe90b6 Added ABNF grammar to library(charsio) as well as octet character type that it depends on. Modified library(json) to use the new ABNF grammar. panasenco 2021-04-27 22:48:03 -07:00
  • 061221b073 Alphabetized character logic in macros.rs and system_calls.rs panasenco 2021-04-27 11:58:39 -07:00
  • 7e4cfede7d fix use of local skeletons to reload predicates (#919) Mark Thom 2021-04-27 02:00:54 -06:00
  • 48225c3c0a Merge pull request #913 from panasenco/json Mark Thom 2021-04-26 13:34:04 -06:00
  • 02b89362b2 Replaced raw_chars//1 in library(pio) with seq//1 in library(dcgs). panasenco 2021-04-25 14:53:37 -07:00
  • e0e812f95c Added aw_chars//1 to library(pio). Began using setup_call_cleanup/3 as suggested by @triska. panasenco 2021-04-24 21:29:50 -07:00
  • 2cbc7e4f9a Another thorough rewrite of library(json) to better preserve the complete set of answers as much as possible and thereby write more elegant and simple code. Some performance gains too! panasenco 2021-04-22 23:51:34 -07:00
  • 7bec37bfd8 Merge pull request #912 from panasenco/json Mark Thom 2021-04-22 17:44:44 -06:00
  • 828550687c Rewrote many parts of library(json) to leave no choicepoints when generating JSON. However, the generating performance actually worsened slightly... panasenco 2021-04-22 13:31:06 -07:00
  • d3caba4073 Now preserving distinction between ints and floats panasenco 2021-04-20 19:59:01 -07:00
  • 7e802706fe Seem to be generating JSON correctly and at a good speed too! panasenco 2021-04-20 17:26:38 -07:00
  • c87e3eac08 Removed CLP(Z) from library(json), achieving a 100x speedup in JSON parsing. panasenco 2021-04-20 16:58:33 -07:00
  • 5b1b12ec9e Fixed forward slash special case issue, added a bunch of test files that were successfully read! panasenco 2021-04-19 21:46:11 -07:00
  • c0c6f13d44 Fixed defaulty representations of json_members//1 and json_elements//1 panasenco 2021-04-19 14:57:15 -07:00
  • 20f192daa1 Changed formatting to match Markus Triska's as much as I can tell panasenco 2021-04-18 23:44:10 -07:00
  • 0e73b53803 Complete reordering and partial rewrite to match the official McKeeman form of the JSON specification panasenco 2021-04-18 23:21:12 -07:00
  • e2923c378e Added objects and type distinction based on the principal functor panasenco 2021-04-18 14:59:16 -07:00
  • 216d4da85a Parsing and generating JSON numbers works perfectly now as far as I can tell panasenco 2021-04-17 21:44:57 -07:00
  • 407e775282 Began working on json library (fresh start after thinking about instantiation in terms of search strategies) panasenco 2021-04-12 15:15:29 -07:00
  • e71afa63b0 Merge pull request #909 from triska/master Mark Thom 2021-04-17 10:34:48 -06:00
  • 30fd99679a add a new section about support and discussions Markus Triska 2021-04-17 13:42:35 +02:00
  • a9ef15cdfa Merge pull request #900 from triska/master Mark Thom 2021-04-14 15:28:59 -06:00
  • b08442b46f assertz/1, asserta/1, retract/1, retractall/1 are meta-predicates (#902, #903) Mark Thom 2021-04-14 15:10:45 -06:00
  • f56e2fc48e remove rectractall/1 (built-in since 8188e3d0cf). Markus Triska 2021-04-14 20:18:50 +02:00
  • 5452b55e38 Merge pull request #897 from panasenco/master Mark Thom 2021-04-12 21:55:58 -06:00
  • bec8d36961 Switched to cargo-chef for preparing the Docker image panasenco 2021-04-12 14:54:15 -07:00
  • 8188e3d0cf add missing standard predicates (#896) Mark Thom 2021-04-12 10:49:18 -06:00
  • 10e92eec32 call '$erase_ball' before running cleanup code in setup_call_cleanup (#886) Mark Thom 2021-03-24 16:56:48 -06:00
  • 37f2336eee stop unifying ! to free variables in control_functor/1 (#887) Mark Thom 2021-03-24 15:05:59 -06:00
  • 290cb1b517 make retract_local_clauses safe, remove warning about overwriting warning in do_not_duplicate_path_components test Mark Thom 2021-03-23 12:37:43 -06:00
  • 7520fe7000 use occurs check when enabled in UnifyValue (#885) Mark Thom 2021-03-22 22:05:03 -06:00
  • 9f861dfe89 reorder declaration matching in loader.pl Mark Thom 2021-03-22 18:13:01 -06:00
  • fffb87d013 flush loader term queue before compiling declarations, declare '/1' as dynamic before asserting Mark Thom 2021-03-22 16:53:23 -06:00
  • 0cb731c584 remove redundant retraction records for incremental compilation Mark Thom 2021-03-22 15:27:45 -06:00
  • 233faea200 compare the tails of partial string prefixes in compare_pstr_prefixes (#883) Mark Thom 2021-03-22 12:44:58 -06:00
  • 1b9015a049 copies only those attributes planted by the calling module Mark Thom 2021-03-21 13:00:29 -06:00
  • 111de1462c remove vestigial attribute goals struct field and related predicates Mark Thom 2021-03-21 11:58:37 -06:00
  • 7fb0b4a8df rename issue841-occure-check.pl to issue841-occurs-check.pl Mark Thom 2021-03-19 16:35:50 -06:00
  • 627c49c5db recognize cuts in (->)/(,)/(;) calling contexts (#878) Mark Thom 2021-03-19 16:34:55 -06:00
  • 665b1ad58a Merge pull request #872 from notoria/charsio Mark Thom 2021-03-18 14:51:36 -06:00
  • 4623e9d7fc fix findall/4 (#873) Mark Thom 2021-03-18 12:50:12 -06:00
  • a3f0290432 restore deleted parts of number_chars/2 and number_codes/2 (#721) Mark Thom 2021-03-17 20:23:58 -06:00
  • 69b1798af7 print floating point zero as 0.0 (#859) Mark Thom 2021-03-17 20:17:08 -06:00
  • 10af206024 make chars callable (#713) Mark Thom 2021-03-17 19:50:41 -06:00
  • 6c23d7aec8 always print variable bindings before names (#865) Mark Thom 2021-03-17 19:27:53 -06:00
  • 7937ccee30 check that a load context path is a filename before potentially returning it as a string Mark Thom 2021-03-17 18:58:33 -06:00
  • b98e8c34eb findall/4 should be declared as a meta-predicate (#873) Mark Thom 2021-03-17 18:13:06 -06:00
  • 5c2059b4e8 issue an imcomplete reduction error if stream ends with tokens remaining to be parsed (#871) Mark Thom 2021-03-17 14:23:34 -06:00
  • f4be0cf4b3 Extend alnum, add forgotten graphic_token notoria 2021-03-17 20:47:09 +01:00
  • 5f7abda22d remove operators declared at user-level from files when reloading Mark Thom 2021-03-16 13:47:30 -06:00
  • 51424aed32 clear user-level definitions when reloading a file (#455) Mark Thom 2021-03-16 02:30:09 -06:00
  • 914fb09ed0 don't warn about overwriting a clause asserted to a dynamic predicate whose clauses have all been retracted (#870) Mark Thom 2021-03-15 14:22:54 -06:00
  • 7ea7e5c951 remove intra-module predicates from module code directory when module is being re-defined (#848) Mark Thom 2021-03-13 23:22:24 -07:00
  • c69807b416 Merge pull request #866 from Skgland/add_tests Mark Thom 2021-03-13 00:39:01 -07:00
  • 08320119f1 fix expected output for syntax_error test Skgland 2021-03-11 17:01:26 +01:00
  • 49dcd9bb4a address problems brought up in review Skgland 2021-03-11 16:16:31 +01:00
  • 8f41603101 add more tests Skgland 2021-03-11 01:19:17 +01:00
  • d437609365 improve comment Skgland 2021-03-11 01:18:11 +01:00
  • e1c681fffe clean up tests/ Skgland 2021-03-11 01:21:20 +01:00
  • d4d47182b4 fix is_cyclic_term (#864) Mark Thom 2021-03-10 16:11:43 -07:00
  • bc2d0191ff Merge pull request #861 from notoria/mod Mark Thom 2021-03-10 13:52:48 -07:00