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

Commit Graph

  • 57ddf64cba cut properly in first (,)/3 clause Mark Thom 2018-09-06 09:16:44 -03:00
  • 96ff9c0126 correct comma implementation Mark Thom 2018-09-05 18:35:06 -06:00
  • 33d1a7c701 add structural tests for partial strings, rename ast.rs Mark Thom 2018-09-04 21:20:45 -06:00
  • 9713286023 throw the correct error if the final reduce does not work, re: #49 Mark Thom 2018-09-04 18:52:45 -06:00
  • 55b54a8c87 update README Mark Thom 2018-09-03 22:05:59 -06:00
  • 1c1eda8345 edit README, ast, remove redundant modules Mark Thom 2018-09-03 22:02:15 -06:00
  • ff9d2662e6 farm parser out to a crate, remove it as a git submodule. Mark Thom 2018-09-03 21:58:07 -06:00
  • 4be20e48e6 fixes to quoted Mark Thom 2018-09-03 17:21:28 -06:00
  • 239552f4c3 correct print_var_eq bad ending check Mark Thom 2018-09-03 15:14:02 -06:00
  • 684e3d217f properly handle character controls from ASCII to UTF-8, re: #48 Mark Thom 2018-09-03 13:57:32 -06:00
  • c3cce4abd5 properly handle character controls from ASCII to UTF-8, re: #48 Mark Thom 2018-09-03 13:50:49 -06:00
  • 3960ea4f06 do not unify partial strings unless they coincide in memory Mark Thom 2018-09-03 00:20:01 -06:00
  • c5fd13dfa0 distinguish eq from structural_eq on strings Mark Thom 2018-09-03 00:06:01 -06:00
  • abcb53699a finalize support for partial strings Mark Thom 2018-09-02 23:32:51 -06:00
  • 2818e851a0 add info to README, prepare for partial strings Mark Thom 2018-09-01 23:04:13 -06:00
  • 575955c7b3 Merge branch 'master' of http://github.com/mthom/rusty-wam Mark Thom 2018-09-01 13:48:28 -06:00
  • 78ea3f5441 add (^) as an evaluable factor, re: #39 Mark Thom 2018-09-01 13:48:04 -06:00
  • a5a4f71a2a correct README Mark Thom 2018-08-31 15:37:10 -03:00
  • db36958504 allow continuable strings, re: #48 Mark Thom 2018-08-31 01:15:34 -06:00
  • d9751671c8 correct get_single_quoted_item, re: #48 Mark Thom 2018-08-30 23:51:15 -06:00
  • ebd62a2c91 add slightly more descriptive syntax errors Mark Thom 2018-08-30 00:35:42 -06:00
  • 872b153b08 correct printing of lists when double_quotes is set to atom Mark Thom 2018-08-30 00:04:19 -06:00
  • 92927bbcef read predicate reads piecemeal data Mark Thom 2018-08-29 23:21:31 -06:00
  • dc04708796 split error classification Mark Thom 2018-08-29 21:20:56 -06:00
  • 0f44b60537 chars are atoms, trailing whitespace is acceptable. Mark Thom 2018-08-29 20:14:23 -06:00
  • d1f4ead15c correct README Mark Thom 2018-08-29 00:16:12 -06:00
  • 03b76c65ba correct README Mark Thom 2018-08-29 00:10:09 -06:00
  • 16a748bc0f add tests for string lists, structural equality on string lists. Mark Thom 2018-08-29 00:05:00 -06:00
  • dc91f46d83 use reference to match on SyntaxError, re: #45 Mark Thom 2018-08-28 14:30:50 -03:00
  • b418e63a89 unify matching strings with different cursors. Mark Thom 2018-08-26 20:50:12 -06:00
  • 92e338861d add clean errors for read, re: #45 Mark Thom 2018-08-26 20:34:43 -06:00
  • 5afa4a7848 modify structural_eq_test Mark Thom 2018-08-26 02:03:16 -06:00
  • 9759c523b6 equate chars with atoms consisting of chars Mark Thom 2018-08-24 23:14:41 -06:00
  • 7884a20042 support strings as char lists in term comparisons Mark Thom 2018-08-23 01:24:26 -06:00
  • ddf5593e44 revert is_undefined back to ref match, re: #44 Mark Thom 2018-08-22 18:24:49 -06:00
  • f861b7a80e update to handle strings as lists. Mark Thom 2018-08-22 00:26:48 -06:00
  • 013eb29e2b add string table, StringList representation Mark Thom 2018-08-21 00:22:16 -06:00
  • 01d6ef099f add StringList internal datatype Mark Thom 2018-08-20 22:00:38 -06:00
  • d19ece6df8 add some prolog flags, tabled strings Mark Thom 2018-08-18 18:03:28 -06:00
  • f9e6b7fec5 get rid of dynamic lookup for $call_with_default_policy. Mark Thom 2018-08-12 23:17:34 -06:00
  • c1ad5cd33f get rid of dynamic lookup for $call_with_default_policy. Mark Thom 2018-08-12 23:14:28 -06:00
  • 00d4ef7ad8 print equations lexographically by variable name, re: #26 Mark Thom 2018-08-09 18:23:47 -06:00
  • 0cc4aa77ed complete call_with_inference_limit/3 Mark Thom 2018-08-09 00:31:41 -06:00
  • 3fef717677 set CWILCallPolicy count field back to private Mark Thom 2018-08-08 00:47:48 -06:00
  • 7016d378d6 add call_with_inference_limit/3 Mark Thom 2018-08-08 00:42:57 -06:00
  • 707e5fcf8b restore setup_call_cleanup/3 Mark Thom 2018-08-04 16:12:37 -06:00
  • ae11e82040 fail on parse error invoked by read/1 Mark Thom 2018-08-04 14:56:38 -06:00
  • cf82accc4b add proceed to inlined instructions in tail position Mark Thom 2018-07-31 15:14:28 -06:00
  • 1ce527d179 realize full cheney in copier.rs Mark Thom 2018-07-29 18:38:26 -06:00
  • 1b025d409f preliminary read support Mark Thom 2018-07-25 17:15:36 -06:00
  • 38dcd6113e preliminary read support Mark Thom 2018-07-25 17:12:07 -06:00
  • 82ff377585 add numbered vars to writeq Mark Thom 2018-07-16 20:12:50 -06:00
  • c5e1a08214 move print_constant logic to heap_print.rs Mark Thom 2018-07-16 19:06:27 -06:00
  • f5e254dd64 add support for quoted atoms to writeq Mark Thom 2018-07-15 17:54:37 -06:00
  • 7527bc76f8 update README Mark Thom 2018-07-12 00:14:14 -06:00
  • 89044266d6 add tests for module resolution operator, README documentation. Mark Thom 2018-07-08 19:49:15 -06:00
  • cd03b7795f finalize the module resolution operator. Mark Thom 2018-07-08 15:21:09 -06:00
  • 073a8888f3 include builtins implicitly in every module. Mark Thom 2018-07-04 23:25:55 -06:00
  • 0abd075b0b complete trimdown of listing compilation. Mark Thom 2018-07-01 18:14:45 -06:00
  • fc11fda947 prepare module code Mark Thom 2018-06-25 00:21:33 -06:00
  • d8ed3e11df get rid of LocalMachineCodeIndex Mark Thom 2018-06-24 23:33:04 -06:00
  • 870316b0d1 get rid of LocalMachineCodeIndex Mark Thom 2018-06-24 23:32:50 -06:00
  • 2d7032e61a prepare for changes to relocation scheme Mark Thom 2018-06-18 21:28:22 -06:00
  • a824a53fa8 prepare for updating the code_dir with each new predicate Mark Thom 2018-06-16 23:36:22 -06:00
  • 7b99dc53b6 reorder print_constant comments for unsupported escape characters Mark Thom 2018-05-28 20:30:13 -06:00
  • a13b94622b print chars somewhat appropriately. Mark Thom 2018-05-28 20:19:52 -06:00
  • 07ec2d34c8 hacky workaround Mark Thom 2018-05-28 20:07:34 -06:00
  • b49c0f5d36 get rid of spurious warning, add type error for skip_max_list Mark Thom 2018-05-21 16:20:08 -06:00
  • 4608c4fe58 fix offsetting of heap in existence errors Mark Thom 2018-05-20 16:26:52 -06:00
  • a60af300fd add instantiation error to skip_max_list Mark Thom 2018-05-20 12:51:21 -06:00
  • c5386c3e88 correct for use in earlier releases of rust. Mark Thom 2018-05-17 13:14:38 -06:00
  • ddb79e6b34 print certain atoms in single quotes. Mark Thom 2018-05-16 20:34:53 -06:00
  • 3f3fcc34c4 use lexer macros. Mark Thom 2018-05-16 20:17:00 -06:00
  • df265e60a9 remove no longer present items from predicate list Mark Thom 2018-05-15 22:51:34 -06:00
  • 9fbb73dcb8 Merge branch 'develop' Mark Thom 2018-05-15 22:48:37 -06:00
  • 06d896277c major refactor Mark Thom 2018-05-15 22:47:36 -06:00
  • 8f1d721477 move SGC and call inference instructions over to SystemClauseType Mark Thom 2018-05-15 00:23:42 -06:00
  • 9a88d179d1 remove IsClause Mark Thom 2018-05-14 16:43:49 -06:00
  • 18e2e77600 add (=..)/2, arg/3 Mark Thom 2018-05-13 17:02:33 -06:00
  • 81d0538a5c switch to machine implemented arg Mark Thom 2018-05-13 14:55:44 -06:00
  • 175a5db5d7 parse the list functor Mark Thom 2018-05-13 14:10:48 -06:00
  • b0bdf50a78 parse negative numbers properly, handle length errors and failures properly. Mark Thom 2018-05-12 18:23:57 -06:00
  • 5690409534 correct faulty bind (two tests now fail: conjunctive_queries and lists) Mark Thom 2018-05-12 15:51:20 -06:00
  • 0951bcff58 add arg Mark Thom 2018-05-12 01:21:31 -06:00
  • 7455c2e9db add support for callable if-then and disjunct Mark Thom 2018-05-12 00:30:34 -06:00
  • ba7e7ac895 throw exception when call-ing a system instruction. Mark Thom 2018-05-10 23:08:56 -06:00
  • 910bafef61 port remaining builtins to SystemClauseType Mark Thom 2018-05-10 22:40:01 -06:00
  • 5a631c17c7 make system calls exempt from call policy. Mark Thom 2018-05-10 22:24:15 -06:00
  • 0f980e204d add more tests that pass. Mark Thom 2018-05-10 19:47:53 -06:00
  • 954c29b103 add catch/throw support, make exceptions and arithmetic tests pass. Mark Thom 2018-05-10 01:43:36 -06:00
  • bae107f8cd eliminate need for embedded, handwritten WAM code. Mark Thom 2018-05-09 22:58:23 -06:00
  • b09c20670b shift to builtins Mark Thom 2018-05-08 22:38:49 -06:00
  • 24d6fb16a8 add system call preliminaries Mark Thom 2018-05-07 22:29:02 -06:00
  • 1a0f50200f system calls preliminary Mark Thom 2018-05-07 22:27:58 -06:00
  • a1bfcf4c9d add system call preliminaries Mark Thom 2018-05-07 22:24:59 -06:00
  • 7573a8fb10 record cyclic terms in printer Mark Thom 2018-05-07 00:44:42 -06:00
  • 30926a71ab streamline variable search in heap_print.rs Mark Thom 2018-05-06 22:10:51 -06:00
  • 885d7c04e3 simplify detection of cycles in printer Mark Thom 2018-05-05 13:20:06 -06:00
  • 81a199836d properly handle cyclic terms in the printer. Mark Thom 2018-05-05 12:33:29 -06:00
  • d6495c8195 add support for printing cyclic terms. Mark Thom 2018-05-05 01:53:05 -06:00