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

Commit Graph

  • 2a70ca375c restore support for tabling and delimited continuations (#779) Mark Thom 2021-02-17 16:18:49 -07:00
  • 396c589743 add second term expansion to capture the addition of hook predicates to the expansion process in loader.pl, loader.rs Mark Thom 2021-02-17 15:39:52 -07:00
  • 7670b81633 remove VNs variable from loader.pl Mark Thom 2021-02-17 13:31:58 -07:00
  • f9b98f97b6 remove unnecessary cause of failure in parser, qualify call to op_/3 in builtins.pl Mark Thom 2021-02-17 11:56:58 -07:00
  • 00bf39204d add missing variable checks in various places Mark Thom 2021-02-17 11:12:19 -07:00
  • e9ba3ad223 handle user:goal_expansion, but not Target:goal_expansion, explicitly in loader.pl Mark Thom 2021-02-17 01:15:29 -07:00
  • 6b6666be47 support discontiguous and multifile declarations Mark Thom 2021-02-16 20:54:51 -07:00
  • e2a413df78 compile scoped clauses from loader.pl Mark Thom 2021-02-13 19:41:04 -07:00
  • b24f68eee7 remove vestigial uses of constant_eq Mark Thom 2021-02-11 19:22:03 -07:00
  • 72c1a0222c Box LoadStatePayload when storing it in the heap Mark Thom 2021-02-11 19:21:20 -07:00
  • bd97083268 remove unused is_internal function from indexing.rs Mark Thom 2021-02-11 18:51:21 -07:00
  • e7cf5d4f3d use machine-generated PartialEq instance for hashing Constant (#817) Mark Thom 2021-02-11 18:40:07 -07:00
  • 2429971bcd update call/N indices in user-level code_dir in addition to those of pre-loaded modules Mark Thom 2021-02-11 15:38:30 -07:00
  • 170a71bd02 offset SwitchOnTerm's Internal indices only if the proper instructions were emitted Mark Thom 2021-02-11 15:38:16 -07:00
  • 14efbb1356 roll back extent of heap when loads are complete in loader.pl Mark Thom 2021-02-11 15:37:43 -07:00
  • 20cd0dd77a use IndexMap over HashMap in prolog_parser Mark Thom 2021-02-11 15:35:14 -07:00
  • 2db1fac1eb break out of the first inner loop if constants contains no key in remove_constant_indices (#816) Mark Thom 2021-02-10 14:13:37 -07:00
  • ce8490ed41 Merge pull request #813 from triska/rebis-dev Mark Thom 2021-02-09 17:57:08 -07:00
  • 7e208984de reset merging_ptr offset before insertion of each overlapping constant (#816) Mark Thom 2021-02-09 17:18:00 -07:00
  • 4d29a3ae3c check for control functors (,/;/->) before jumping to internal interpretation (#815) Mark Thom 2021-02-09 16:40:25 -07:00
  • 547c63b28e qualify exception handling code in loader.pl (#809) Mark Thom 2021-02-09 15:47:14 -07:00
  • 9004aae597 Merge branch 'rebis-dev' of https://github.com/mthom/scryer-prolog into rebis-dev Mark Thom 2021-02-09 14:30:09 -07:00
  • 1bdfc5a1a4 ~| now incorporates the number of characters described so far Markus Triska 2021-02-09 20:52:26 +01:00
  • 195273f01d throw exceptions when modules do not contain claimed exports Mark Thom 2021-02-09 12:17:34 -07:00
  • 605aea2211 Merge pull request #811 from triska/master Mark Thom 2021-02-09 11:59:59 -07:00
  • d1afcb941f link to announcement of Rebis Development Branch, call for testing Markus Triska 2021-02-09 18:59:26 +01:00
  • cc7e21170f correct faulty removal of clauses in abolish/1 Mark Thom 2021-02-08 18:46:33 -07:00
  • 30602c0849 clean up implementation of (->)/2, (;)/2, and (,)/2 Mark Thom 2021-02-07 21:13:27 -07:00
  • 1dabe95899 remove tidy_trail Mark Thom 2021-02-07 15:39:48 -07:00
  • 4995c0ed94 append .pl to names of files that do not exist in loader.pl Mark Thom 2021-02-07 15:38:03 -07:00
  • df82dbe5f5 use parent() instead of ancestors().next() in load_context_directory() Mark Thom 2021-02-07 13:47:06 -07:00
  • de9c74e1d9 Merge branch 'Skgland-clean_up' into rebis-dev Mark Thom 2021-02-07 00:34:57 -07:00
  • d89eb9ff0e change reposity url Bennet Bleßmann 2021-02-06 22:38:40 +01:00
  • 5041042925 rename prolog_parser_rebis to prolog_parser Skgland 2021-02-06 21:57:27 +01:00
  • 0d983e63a1 fix incorrect rug path Skgland 2021-02-06 20:26:22 +01:00
  • 3f7a60d84b more clippy lints Skgland 2021-02-06 19:58:31 +01:00
  • 1eb9fcf521 more clippy lints Skgland 2021-02-06 19:53:53 +01:00
  • 1571690bbb fix clippy lint match|if let looks like matches! macro Skgland 2021-02-06 19:52:41 +01:00
  • eb2133e648 fix clippy lint Manual RangeInclusive::contains implementation Skgland 2021-02-06 19:49:32 +01:00
  • 9107b3ddbe fix some clippy lint warnings Skgland 2021-02-06 19:45:21 +01:00
  • 64433bd8dd fix macro hygien Skgland 2021-02-06 19:39:02 +01:00
  • bc6159c538 change prolog_parse_rebis to use 2018 edition rust Skgland 2021-02-06 19:32:52 +01:00
  • 8e5954f36f remove use statements from main.rs that temporary replaced extern crate and fixed paths that previously used them Skgland 2021-02-06 19:30:46 +01:00
  • b53ef148a0 remove extern crate declaration and fix outfall (macros now need to be imported into scope) Skgland 2021-02-06 19:21:24 +01:00
  • 3f950490f9 set rustyline to check the cursor position (#802), don't add .pl extension to files in loader.pl (#800) Mark Thom 2021-02-06 13:47:26 -07:00
  • 49b1c1368e remove dynamic clause declaration for clause internal Mark Thom 2021-02-05 23:16:42 -07:00
  • bdb5df104a shed module names from arguments of the (->)/2, (,)/2, (;)/2 predicates Mark Thom 2021-02-05 22:50:57 -07:00
  • 700778e574 collate paths as atoms in loader.pl (#778) Mark Thom 2021-02-05 20:18:56 -07:00
  • a104b35cea gather initialization goals and call them once load succeeds (#792) Mark Thom 2021-02-05 18:40:13 -07:00
  • bbbf95705b implement abolish/1 Mark Thom 2021-02-05 18:06:27 -07:00
  • 927871d73d Merge branch 'rebis-dev' of https://github.com/mthom/scryer-prolog into rebis-dev Mark Thom 2021-02-05 17:17:14 -07:00
  • 62419e975f bootstrap the top-level by calling ''/1 as in master (#790) Mark Thom 2021-02-05 17:16:42 -07:00
  • 3fc2c4223b delay premature set_switch_var_offset_* calls in retract_clause, add module resolution for asserta/assertz/retract/clause Mark Thom 2021-02-05 17:12:25 -07:00
  • 84da884211 Merge pull request #798 from triska/rebis-dev Mark Thom 2021-02-05 13:24:53 -07:00
  • 1bc8e9aebf make load_context_path/2 handle .pl file extensions, remove commented out code Mark Thom 2021-02-05 13:13:54 -07:00
  • a228e46a39 ENHANCED: Enable goal expansion for CLP(ℤ). Markus Triska 2021-02-05 21:06:08 +01:00
  • 81913a5987 Revert "preliminary workaround for #788" Markus Triska 2021-02-05 20:59:47 +01:00
  • 2d7f31a60d implement dynamic, multifile, and discontiguous properties and callable type checking for predicate_property/2 Mark Thom 2021-02-05 02:16:14 -07:00
  • 804858d736 remove defunct reset function (#782) Mark Thom 2021-02-04 21:02:34 -07:00
  • 222be9cf6c modify rightmost_power/2 to ignore module qualification on (^)/2 (#794) Mark Thom 2021-02-04 20:51:55 -07:00
  • 75a52f032b perform goal expansion in call/N (#788, #797) Mark Thom 2021-02-04 16:59:16 -07:00
  • a9e0a51059 Merge pull request #793 from triska/rebis-dev Mark Thom 2021-02-04 12:51:09 -07:00
  • 164b993064 preliminary workaround for #788 Markus Triska 2021-02-04 20:48:09 +01:00
  • 62b103fa23 Merge branch 'rebis-dev' of https://github.com/mthom/scryer-prolog into rebis-dev Mark Thom 2021-02-03 22:34:34 -07:00
  • e17eb01f76 respect module context in expand_module_names (#788) Mark Thom 2021-02-03 16:47:04 -07:00
  • 2fe55e4715 resolve calls to tranpose_ and same_length in lists.pl (#790) Mark Thom 2021-02-03 16:38:44 -07:00
  • a8a82e45a0 introduce cuts over indexed (:)/2 of dcgs:phrase_/3 (#786) Mark Thom 2021-02-03 16:03:12 -07:00
  • fcba140ffe Merge pull request #787 from triska/rebis-dev Mark Thom 2021-02-03 15:51:15 -07:00
  • b96ff781bc add meta_predicate declaration for must_succeed/1 Markus Triska 2021-02-03 23:49:28 +01:00
  • 94392f248c enable phrase_ rules for module resolved grammars (#785) Mark Thom 2021-02-03 15:48:09 -07:00
  • 24e6c31c44 add meta_predicate declaration for with_local_attributes/3 Markus Triska 2021-02-03 23:45:06 +01:00
  • cab0e4395a manually expand module names in higher-order predicates of lists.pl and give call_residue_vars/2 a meta-predicate definition Mark Thom 2021-02-03 15:37:16 -07:00
  • ae66e299e6 Use term expansion for generated predicates. Markus Triska 2021-01-08 17:28:29 +01:00
  • 88ad2ee103 restore cut after dcg_constr check (#784) Mark Thom 2021-02-03 15:18:38 -07:00
  • 48f3f4ca37 add meta-predicate declarations to reif library Mark Thom 2021-02-03 12:46:33 -07:00
  • f3ab17a3c0 Merge branch 'master' into rebis-dev Mark Thom 2021-02-03 12:00:00 -07:00
  • 5749d43fb6 restore prolog_parser test files (#782) Mark Thom 2021-02-03 11:19:33 -07:00
  • f5d808e68f do not traverse data structures when binding to local variables in unify_with_occurs_check (#781) Mark Thom 2021-02-03 11:11:22 -07:00
  • 88f1160e2b use find_inner_choice_instr when appending an indexed clause to an indexed subsequence Mark Thom 2021-02-03 01:22:13 -07:00
  • b7218d2279 Merge branch 'rebis-dev' of https://github.com/mthom/scryer-prolog into rebis-dev Mark Thom 2021-02-02 22:59:28 -07:00
  • e928a0aaea expand attributed variable goals Mark Thom 2021-02-02 21:47:59 -07:00
  • a2447ecaa3 replace Char '!' with QueryTerm::BlockedCut Mark Thom 2021-02-02 21:03:15 -07:00
  • 09a089d5f1 set target_pos' clause_start correctly in append_compiled_clause Mark Thom 2021-02-02 17:42:43 -07:00
  • 137b0cd837 Merge pull request #774 from brightly-salty/re-add-prolog_parser Mark Thom 2021-02-02 17:56:26 -07:00
  • 4ffdd9eb15 Add prolog_parser Caden Haustein 2021-02-02 18:35:41 -06:00
  • 4e29099ed9 export loader's public predicates from builtins, handle module resolution from DCGs Mark Thom 2021-02-02 15:43:52 -07:00
  • 8900df6f13 add built_in to predicate_property Mark Thom 2021-02-02 15:03:14 -07:00
  • 814c034683 add meta-predicate declarations before their definitions Mark Thom 2021-02-01 19:26:50 -07:00
  • e1ec4bee75 move term expansion logic entirely into loader.pl Mark Thom 2021-02-01 16:50:05 -07:00
  • 6ed7767512 add module scoping to predicate_property, expand subgoals in module resolved predicates Mark Thom 2021-02-01 16:09:19 -07:00
  • 08b18af8a0 call attribute variable goals with module resolution Mark Thom 2021-02-01 14:48:13 -07:00
  • 75908ab88f replace (:) with 0 in meta-predicate declarations, remove support for (:) in meta-predicate declarations Mark Thom 2021-01-31 18:00:10 -07:00
  • fcba33997f Merge branch 'master' into rebis-dev Mark Thom 2021-01-31 12:41:18 -07:00
  • 134be307d3 Merge pull request #771 from notoria/args Mark Thom 2021-01-31 12:11:57 -07:00
  • 092f8e6482 Fix errors, move prolog_parser Caden Haustein 2021-01-31 12:43:39 -06:00
  • cf5960afad Add prolog_parser to scryer_prolog Caden Haustein 2021-01-31 11:40:20 -06:00
  • e5204e55d3 Handled the empty case (#770) notoria 2021-01-31 11:03:17 +01:00
  • 61b14d1cd9 fix bug in append_compiled_clause, generalize merging indexed subsequences of clauses Mark Thom 2021-01-31 01:18:45 -07:00
  • c2e3b47d29 properly thread functors whose first subterm is a variable in thread_goals/4 Mark Thom 2021-01-30 23:37:23 -07:00
  • a239007db0 target prolog_parser_rebis on crates.io Mark Thom 2021-01-30 22:03:07 -07:00