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

Commit Graph

  • 7b569becbe add support for comparison operators. Mark Thom 2017-12-03 17:44:51 -07:00
  • db38f091a8 coerce rationals to floats before coercing floats to rationals. Mark Thom 2017-12-03 15:16:40 -07:00
  • 775fe42781 tweak README Mark Thom 2017-12-03 14:23:00 -07:00
  • 0ee2286199 tweak README Mark Thom 2017-12-03 14:22:26 -07:00
  • a2e0b84618 correct README Mark Thom 2017-12-03 14:15:52 -07:00
  • e8a9da0dca add bitwise and modular operations. Mark Thom 2017-12-03 14:15:01 -07:00
  • c4cb3574ba extend false cases for is Mark Thom 2017-12-02 14:28:27 -07:00
  • 9a7419c507 add support for rational numbers, division. Mark Thom 2017-12-02 11:10:25 -07:00
  • a65adf960e , Mark Thom 2017-11-16 13:44:44 -07:00
  • 4a51496981 remove is from inlined terms. Mark Thom 2017-11-13 13:35:34 -07:00
  • ded701436a separate handling of inlined query terms. Mark Thom 2017-11-13 13:18:05 -07:00
  • b1ae09d7aa add register marking for non-callable/inlined predicates. Mark Thom 2017-11-12 23:43:42 -07:00
  • e0f2ca80b5 simply post order iterators. Mark Thom 2017-11-12 01:36:19 -07:00
  • e5a235cf80 eliminate QueryTermRef. Mark Thom 2017-11-11 18:57:23 -07:00
  • 1f19d5de95 get rid of chunked iterators for facts. Mark Thom 2017-11-11 17:32:46 -07:00
  • 498389e9e9 remove QueryTermRef from Allocator Mark Thom 2017-11-11 17:00:10 -07:00
  • e503e312a1 reuse defunct AND stack frames. Mark Thom 2017-11-11 16:01:29 -07:00
  • d6086390e0 remove Div for ast.rs Mark Thom 2017-11-08 22:57:40 -07:00
  • 41d99938e7 fix arithmetic bugs. Mark Thom 2017-11-06 22:01:54 -07:00
  • 4624508fc1 clean up atomic and var code. Mark Thom 2017-11-06 20:22:15 -07:00
  • 2225674b58 pass binding info to arithmetic evaluator Mark Thom 2017-11-06 13:35:48 -07:00
  • 4cc3409809 instantiated vars in arithmetic exprs Mark Thom 2017-11-06 10:45:27 -07:00
  • ff9a1a60d8 correct README Mark Thom 2017-11-05 17:14:49 -07:00
  • 5568d0b370 add provisions for arithmetic support. Mark Thom 2017-11-05 17:12:30 -07:00
  • a70c100e0d proceed is a jump instruction Mark Thom 2017-11-04 10:23:58 -06:00
  • d6af02f8c6 add proceed to close out inlined atomic and var Mark Thom 2017-11-03 22:23:04 -06:00
  • e78ffaabd8 record places after inline instrs Mark Thom 2017-11-03 21:08:10 -06:00
  • 28069a301e inline atomic and var Mark Thom 2017-11-03 20:44:35 -06:00
  • 57cc8ccac9 inline atomic and var. Mark Thom 2017-11-03 20:41:01 -06:00
  • 2abec91360 fix incorrect handling of terminal cuts. Mark Thom 2017-11-02 15:29:31 -06:00
  • e4e9b09175 fix indexing bug on anonvars. Mark Thom 2017-09-16 15:25:11 -06:00
  • e1644dcbb6 update parser. Mark Thom 2017-09-10 21:17:56 -06:00
  • e179f381a8 correct README Mark Thom 2017-09-06 18:12:35 -06:00
  • d9340344ff finalize operator support. Mark Thom 2017-09-06 18:11:43 -06:00
  • 92de7acd22 transition to the operator precedence parser. Mark Thom 2017-09-06 00:36:14 -06:00
  • 8ee27af9fd add control operators. Mark Thom 2017-09-04 23:30:07 -06:00
  • 502f498114 add exception error prelude. Mark Thom 2017-08-18 12:44:04 -06:00
  • 02c0f1cf56 add top level exception reporting, exceptions for call/N. Mark Thom 2017-08-17 18:20:58 -06:00
  • 1a7edc2d13 tweak README Mark Thom 2017-08-15 14:28:28 -06:00
  • 3cacb49f6a tweak README Mark Thom 2017-08-15 14:28:00 -06:00
  • 803c66c917 change ; over to SPACE Mark Thom 2017-08-15 14:15:28 -06:00
  • e944641d56 remove finished TODO Mark Thom 2017-08-15 12:11:58 -06:00
  • caf740b9cd correct throw omission in README Mark Thom 2017-08-15 11:07:23 -06:00
  • cc82447c64 bug fixes. Mark Thom 2017-08-15 11:06:19 -06:00
  • 1d2c02e9af adjust for nested throws. Mark Thom 2017-08-14 22:49:41 -06:00
  • aa3bee5db9 remove diagnostic message Mark Thom 2017-08-14 13:26:34 -06:00
  • 8d7d215234 add tests, update status. Mark Thom 2017-08-14 13:21:45 -06:00
  • a3fbf1bc73 generalize has_null_ball Mark Thom 2017-08-14 10:11:17 -06:00
  • a06d99a313 cleanup code generation, add throw/catch, copy_term, var, atomic, not, false builtins Mark Thom 2017-08-13 23:53:01 -06:00
  • 198eca678c tweak codegen Mark Thom 2017-08-05 10:15:40 -06:00
  • 180fca20f9 update README Mark Thom 2017-08-03 21:25:50 -06:00
  • 28018c0d43 add tests, remove extraneous instructions. Mark Thom 2017-08-03 11:28:15 -06:00
  • 0050c1d4cb add tests. Mark Thom 2017-08-03 11:22:52 -06:00
  • 83899b7273 remove print_code calls Mark Thom 2017-08-03 10:56:51 -06:00
  • 409d79719d fix faulty chunking on call/N. Mark Thom 2017-08-03 10:55:43 -06:00
  • 315c748c31 clean up support for recursive calls, add support for (and protection of) built-in predicates. Mark Thom 2017-08-02 17:38:12 -06:00
  • 3aa8780086 fix recursive calls to call/N Mark Thom 2017-07-28 17:02:08 -06:00
  • 8a99b6d3bc add support for embedded calls (syntax) Mark Thom 2017-06-25 15:39:00 -06:00
  • b349ac8bf9 add more tests Mark Thom 2017-05-29 12:21:05 -06:00
  • cf14f736f7 update README Mark Thom 2017-05-26 12:48:51 -06:00
  • ca43a5b8e0 update README Mark Thom 2017-05-26 12:48:09 -06:00
  • 4ab0716b86 update README Mark Thom 2017-05-26 12:46:19 -06:00
  • f29bd3dc0b add tests, add to README. Mark Thom 2017-05-26 12:27:41 -06:00
  • 4d6897509d evacuate arguments on overwrite. Mark Thom 2017-05-25 16:41:36 -06:00
  • cf470e48c2 add tests Mark Thom 2017-05-25 14:46:48 -06:00
  • 13c902918b remove diagnostic calls Mark Thom 2017-05-24 19:12:39 -06:00
  • 2f23541ee0 support call/N Mark Thom 2017-05-24 19:10:31 -06:00
  • 39f0f2bacb .. Mark Thom 2017-05-17 16:46:04 -06:00
  • 0063329e3e correct formatting bugs Mark Thom 2017-05-17 16:40:05 -06:00
  • 5efee09434 refine code generation, scale back unsafe variable instructions for conjunctive queries Mark Thom 2017-05-17 16:32:46 -06:00
  • 5fa9881556 add (non)-deterministic REPL demarcations Mark Thom 2017-05-16 19:35:22 -06:00
  • 950a6ec57c add unwrap to var lookup in fixtures Mark Thom 2017-05-16 15:26:26 -06:00
  • 9afa37a94b remove dead code Mark Thom 2017-05-10 10:47:05 -06:00
  • 91b9aed33a code cleanup Mark Thom 2017-05-10 10:21:02 -06:00
  • 6fa5bad5bf add top level declarative structure Mark Thom 2017-05-09 16:26:17 -06:00
  • 9c72177b60 cleanup of run_query Mark Thom 2017-05-08 14:33:27 -06:00
  • f155b5b2c2 add support for conjunctive queries. Mark Thom 2017-05-07 15:26:36 -06:00
  • 9687878219 refine *_void emission" Mark Thom 2017-05-01 14:22:32 -06:00
  • 5d354bbce7 fix formatting Mark Thom 2017-05-01 11:41:33 -06:00
  • 1ab2619cce fix void instrs Mark Thom 2017-05-01 11:39:56 -06:00
  • e68e3cc1ad tweak head check Mark Thom 2017-04-30 13:59:11 -06:00
  • 316e5c5c1a transition to debray allocation Mark Thom 2017-04-30 13:53:15 -06:00
  • 1bdc539c25 add fixtures Mark Thom 2017-04-29 16:52:08 -06:00
  • a6304d3f96 prep for debray allocation Mark Thom 2017-04-29 16:50:53 -06:00
  • 2e7aa6423c minor tweaks. Mark Thom 2017-04-18 13:57:48 -06:00
  • 7acee092eb more codegen tweaks. Mark Thom 2017-04-16 16:53:25 -06:00
  • 0ef8dc03ac adjust register allocation around cut Mark Thom 2017-04-09 19:46:44 -06:00
  • 19ee43e186 optimized up to chapter 6 Mark Thom 2017-04-09 19:12:36 -06:00
  • d2cf8626a1 tidying up Mark Thom 2017-04-09 12:23:54 -06:00
  • 759e1da4c8 remove spurious Into instance Mark Thom 2017-03-30 00:53:54 -06:00
  • 79ae4abb81 optimized up to section 5.11 Mark Thom 2017-03-30 00:51:23 -06:00
  • 02482aec8a slight tweaks. Mark Thom 2017-03-25 21:35:31 -06:00
  • b7ff27af1b correct register overallocation Mark Thom 2017-03-25 12:26:06 -06:00
  • a836e14b5f remove print debug Mark Thom 2017-03-25 02:00:19 -06:00
  • d65970ee57 optimized up to section 5.10 Mark Thom 2017-03-25 01:58:54 -06:00
  • 24b60eb2c6 optimizations up to section 5.8 Mark Thom 2017-03-23 16:55:43 -06:00
  • e1cc5ecfd6 optimizations up to section 5.7. Mark Thom 2017-03-23 01:06:06 -06:00
  • 9362aa6af3 optimizations Mark Thom 2017-03-22 22:30:45 -06:00
  • 540a5b805f fix README Mark Thom 2017-03-10 23:51:37 -07:00
  • fcb3cc1287 transition to prolog Mark Thom 2017-03-10 23:50:26 -07:00