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

Commit Graph

  • 042779cff9 add read support for user:term_expansion and user:goal_expansion Mark Thom 2019-01-05 19:22:38 -07:00
  • 36fdc8e822 do not add expansions behind module boundaries until the modules are added Mark Thom 2019-01-03 19:43:50 -07:00
  • 2f2f6314d8 correct write_canonical/2 bug Mark Thom 2018-12-28 16:59:26 -07:00
  • 56ec550031 fix unification on string lists. Mark Thom 2018-12-23 12:14:03 -07:00
  • 40fa795d49 fix ambiguity_check Mark Thom 2018-12-19 21:25:06 -07:00
  • b42706c1d6 make insert_from_end work correctly Mark Thom 2018-12-19 09:27:08 -07:00
  • 6f0018c3e0 correct space formatting in heap_print Mark Thom 2018-12-19 00:26:46 -07:00
  • 9064f73655 eliminate ambiguity check on structs with non-zero arity Mark Thom 2018-12-18 23:04:49 -07:00
  • 6234ae6ef1 convert append to push_char when applicable Mark Thom 2018-12-18 21:54:18 -07:00
  • 5c12c3047c remove lifetime on ReverseHeapVarDict Mark Thom 2018-12-18 21:42:34 -07:00
  • 2b774f3041 correct non-termination of expand_goal and expand_term Mark Thom 2018-12-15 00:04:56 -07:00
  • 47a1cfaddc correct non-termination of expand_goal and expand_term Mark Thom 2018-12-14 19:10:38 -07:00
  • e90669d159 fix expand_goal and expand_term Mark Thom 2018-12-13 19:38:44 -07:00
  • 45a68d4bc2 add expand_goal, make user:term_expansion and user:goal_expansion work properly within modules Mark Thom 2018-12-11 22:57:11 -07:00
  • 226bb7f9ed remove Option wrapper from cached_query Mark Thom 2018-12-10 21:21:15 -07:00
  • a4406f784a add support for user:goal_expansion Mark Thom 2018-12-09 00:48:28 -07:00
  • deabdafa48 remove needless result type in try_expand_term Mark Thom 2018-12-02 15:17:45 -07:00
  • c281c1b427 offset variable indexing for semi-context notations Mark Thom 2018-11-18 21:51:53 -07:00
  • c718e17346 update version number Mark Thom 2018-11-15 23:24:54 -07:00
  • 6e20f82d6f fix faulty tidy_trail Mark Thom 2018-11-15 23:04:52 -07:00
  • 81f4128bc6 update dcgs to handle ; and -> Mark Thom 2018-10-27 20:56:23 -06:00
  • a4e882756e fix tests Mark Thom 2018-10-24 23:16:49 -06:00
  • 69a7579adb use proper range notation Mark Thom 2018-10-24 21:08:27 -04:00
  • 036d248eb0 stop write_canonical from printing numbervars. Mark Thom 2018-10-23 23:11:13 -06:00
  • 32fecca45d add write variants Mark Thom 2018-10-23 22:53:50 -06:00
  • 1e3891204e make lists parse properly when used as dcg rules Mark Thom 2018-10-20 23:37:09 -06:00
  • 4c76920489 fix conformity errors Mark Thom 2018-10-17 22:10:00 -06:00
  • 1b7ffa00af fix semicontext notation Mark Thom 2018-10-15 22:31:53 -06:00
  • 3140c65f67 correctly handle anonymous variables when reading Mark Thom 2018-10-15 22:13:58 -06:00
  • 720426648e correctly handle anonymous variables when reading Mark Thom 2018-10-15 22:11:55 -06:00
  • a3dc6d2bef add expand_term/2 Mark Thom 2018-10-15 20:07:48 -06:00
  • eabb851d8c add expand_term/2 Mark Thom 2018-10-15 20:07:22 -06:00
  • 24a7206021 fix DCG bugs Mark Thom 2018-10-10 21:30:40 -06:00
  • 5586aa7057 remove needless self parameter from ambiguity_check Mark Thom 2018-10-09 19:58:15 -06:00
  • 2b32d2d94e smooth out ambiguity check Mark Thom 2018-10-08 23:23:52 -06:00
  • b2d9673593 add spaces between operators when there is an ambiguity Mark Thom 2018-10-08 23:04:23 -06:00
  • 41b8f7a36b add spaces between operators when there is an ambiguity Mark Thom 2018-10-08 23:04:03 -06:00
  • 9a6094bad2 correct phrase/2 Mark Thom 2018-10-08 11:02:48 -06:00
  • 1dc015b91f add DCG test case Mark Thom 2018-10-08 00:51:11 -06:00
  • 398d91576c fix bug with mark_non_var Mark Thom 2018-10-08 00:34:08 -06:00
  • fa1bb6df3a term_expansion bug fixes Mark Thom 2018-10-07 00:43:44 -06:00
  • 59ad71fccc add preliminary support for DCGs. Mark Thom 2018-10-07 00:07:12 -06:00
  • e7717d4f61 remove modules properly. Mark Thom 2018-10-06 19:51:38 -06:00
  • c85eba0e22 remove need for taking code_dir Mark Thom 2018-10-06 16:25:10 -06:00
  • 254ff9715b remove unnecessary parameter in compile_listing Mark Thom 2018-10-05 12:17:22 -04:00
  • 86255fe0d5 correct code dir swapping for term_expansion Mark Thom 2018-10-04 23:04:09 -06:00
  • d7e8da8324 minor modification to lco in codegen Mark Thom 2018-10-04 22:28:42 -06:00
  • 054def4cc7 remove need to clone instructions. Mark Thom 2018-10-04 22:18:29 -06:00
  • 4bd805cc76 remove need for RefCell wrapping on CodeDir Mark Thom 2018-10-04 21:43:49 -06:00
  • bf0521fde6 move atom_tbl up to Machine Mark Thom 2018-10-04 19:36:58 -06:00
  • d9b5734688 mark term_variables type errors with blame Mark Thom 2018-10-03 23:08:25 -06:00
  • 8e4bb039f0 divide atom tables by module Mark Thom 2018-10-03 22:56:12 -06:00
  • 61536d2004 remove module name from DirEntry Mark Thom 2018-10-02 20:37:15 -06:00
  • 5792990dff Merge pull request #58 from triska/master Mark Thom 2018-09-30 23:55:18 -03:00
  • 43f7743467 ENHANCED: Better error handling if Type is invalid. Markus Triska 2018-09-30 23:36:02 +02:00
  • aa8fe02b66 Merge pull request #57 from triska/master Mark Thom 2018-09-28 13:31:07 -03:00
  • 373546e83d correct can_be/2 for partial lists Markus Triska 2018-09-28 18:16:10 +02:00
  • 80def45d38 update README Mark Thom 2018-09-27 22:41:41 -06:00
  • a97987c20b add error.pl, correct numbervars/3 Mark Thom 2018-09-27 22:40:23 -06:00
  • 6d0770aafb duplicate_term is now copy_term Mark Thom 2018-09-26 22:39:34 -06:00
  • 415cd2ec8f Merge branch 'master' of https://github.com/mthom/rusty-wam Mark Thom 2018-09-26 19:33:40 -06:00
  • 6f668a8b7a move term_variables to builtins Mark Thom 2018-09-26 19:33:27 -06:00
  • d52ffb0e92 add tidy_pstr_trail to neck_cut Mark Thom 2018-09-25 09:50:19 -03:00
  • 4cf1aa0d8f add term variables Mark Thom 2018-09-24 23:33:47 -06:00
  • 5e30fa6264 add more tests Mark Thom 2018-09-24 22:47:01 -06:00
  • af5f08ddb2 add more tests Mark Thom 2018-09-24 22:39:15 -06:00
  • 58ed374363 enable backtracking on partial strings Mark Thom 2018-09-24 22:24:23 -06:00
  • 23eed192e9 match on partial strings through get_list Mark Thom 2018-09-24 19:53:51 -06:00
  • bf84edce59 partial strings are still a work in progress Mark Thom 2018-09-24 09:51:09 -03:00
  • 0c545467b9 correct numbervars Mark Thom 2018-09-22 17:45:52 -06:00
  • 10cbd0875b Merge branch 'develop' Mark Thom 2018-09-22 17:06:43 -06:00
  • 66584cee5e add term_expansion basics Mark Thom 2018-09-22 17:05:19 -06:00
  • 4d57989c2b term_expansion beginnings Mark Thom 2018-09-22 16:25:32 -06:00
  • 109a0ee74d tighten up numbervars Mark Thom 2018-09-21 10:29:07 -03:00
  • 908972eff1 incorporate term_expansion phase in compilation Mark Thom 2018-09-18 22:44:03 -06:00
  • 78ef18ad75 stop treating copier as trait object Mark Thom 2018-09-18 20:58:42 -06:00
  • 4d6590c6aa correct and load numbervars Mark Thom 2018-09-18 17:20:34 -03:00
  • d0ac258c77 restore parse_term to toplevel Mark Thom 2018-09-17 21:16:15 -06:00
  • 43ba8f23dc correct ordinary input Mark Thom 2018-09-17 20:24:58 -06:00
  • 8eb327c735 correct conformity error Mark Thom 2018-09-16 14:21:50 -06:00
  • f226cb3dbd correct conformity errors Mark Thom 2018-09-16 14:11:21 -06:00
  • 908b0a5712 correct new copier bug Mark Thom 2018-09-16 10:57:14 -06:00
  • 70939331d1 correct copier. Mark Thom 2018-09-16 02:32:29 -06:00
  • 61fe42a2ad fix copier Mark Thom 2018-09-16 01:37:42 -06:00
  • 38bb7c7dec correct handling of . Mark Thom 2018-09-14 00:46:02 -06:00
  • bd14eb5485 Merge branch 'master' of https://github.com/mthom/rusty-wam Mark Thom 2018-09-13 19:46:02 -06:00
  • 1e2047e72c streamline inputs. Mark Thom 2018-09-13 19:44:50 -06:00
  • d09e9fd8d8 provisional #4 Mark Thom 2018-09-13 00:46:41 -06:00
  • 9b1c18912a provisional #3 Mark Thom 2018-09-13 00:06:54 -06:00
  • ccbc0566ba provisional changes #2 Mark Thom 2018-09-12 23:31:29 -06:00
  • fbf16e2aea provisional changes to module insertion Mark Thom 2018-09-12 20:46:15 -06:00
  • 2941ade0ab update version number for push to crates Mark Thom 2018-09-11 10:58:44 -03:00
  • 79da405d38 move compile_listing body to dedicated function Mark Thom 2018-09-10 20:51:34 -06:00
  • 3f06ff874b make use of read_term in the repl Mark Thom 2018-09-10 00:18:17 -06:00
  • 664f0f83dc read modifications Mark Thom 2018-09-08 19:46:34 -06:00
  • 32439a1da5 transition to MachineCodeIndices internally Mark Thom 2018-09-08 02:31:33 -06:00
  • 8344575ae6 make partial_string callable. Mark Thom 2018-09-08 00:40:40 -06:00
  • f35bbeb35e Merge branch 'master' of http://github.com/mthom/rusty-wam Mark Thom 2018-09-06 16:34:46 -06:00
  • d1ec089405 add permission error for attempts at redefining builtins, re: #50 Mark Thom 2018-09-06 16:34:27 -06:00
  • 6d0ddc1183 be more efficient in (,)/3 clause, correct (;)/3 Mark Thom 2018-09-06 09:32:22 -03:00