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

Commit Graph

  • 6308aa7a1e re: conformity test #181 Mark Thom 2019-04-07 11:44:56 -06:00
  • 0579ad6cfa update README.md Mark Thom 2019-04-07 10:09:01 -06:00
  • 4bd9908b89 resolve conformity test #138 (issue #52) Mark Thom 2019-04-07 10:07:17 -06:00
  • 68f89b32b8 update README Mark Thom 2019-04-06 17:50:50 -06:00
  • fb0b7085b4 fix more conformity errors Mark Thom 2019-04-06 17:44:04 -06:00
  • 16eadc7412 correct for issues #88, #89, #90, conformity test #208. Mark Thom 2019-04-06 09:46:42 -06:00
  • a3af56351b correct prolog_parser package Mark Thom 2019-04-06 00:15:07 -06:00
  • 7a497fd4e1 correct bad atom_length/2, atom_chars/2 error reporting Mark Thom 2019-04-06 00:13:52 -06:00
  • 3aa8d11a98 update version number Mark Thom 2019-04-05 23:04:40 -06:00
  • e3e6f926c7 add atom_length/2, atom_chars/2, atom_codes/2 Mark Thom 2019-04-05 23:00:53 -06:00
  • 272b4f6d8d add current_op/3 Mark Thom 2019-04-05 21:25:49 -06:00
  • 03f2190d6b remove $reify_switch Mark Thom 2019-04-05 09:04:05 -06:00
  • 6dade1b917 update version number Mark Thom 2019-04-04 22:52:06 -06:00
  • 3912a4772d fix conformity errors Mark Thom 2019-04-04 22:51:00 -06:00
  • 546aeea479 move forall/2 to non_iso, correct test cases. Mark Thom 2019-04-03 18:13:05 -06:00
  • 535a6c17e9 move forall/2 to non_iso, correct test cases. Mark Thom 2019-04-03 18:12:36 -06:00
  • 9ad809680d Merge pull request #83 from pmoura/add_forall_2_predicate Mark Thom 2019-04-03 10:13:26 -03:00
  • 712d85129c update parser Mark Thom 2019-04-03 09:26:37 -06:00
  • f0570a3940 update parser to correct additional conformity errors, re: #52 Mark Thom 2019-04-03 09:06:43 -06:00
  • 785d8d28e3 add de facto standard forall/2 predicate as a built-in predicate Paulo Moura 2019-04-03 11:58:29 +01:00
  • 98f9027b2e pass more conformity tests Mark Thom 2019-04-01 23:08:03 -06:00
  • 82ff29c496 Merge branch 'master' of https://github.com/mthom/rusty-wam Mark Thom 2019-04-01 22:05:45 -06:00
  • b6a5254e35 re: #80, #52 Mark Thom 2019-04-01 22:05:30 -06:00
  • 9051d126a7 Merge pull request #82 from KellerFuchs/readme Mark Thom 2019-04-01 19:35:16 -03:00
  • 0dc0081ad5 README: Use checkboxes to track item completion in Phase 2 The Fox in the Shell 2019-04-01 19:01:04 +02:00
  • 128181753b update version number Mark Thom 2019-04-01 09:05:17 -06:00
  • e3e0473b69 fix term_variables, add (^)/2 as an actual evaluable functor Mark Thom 2019-04-01 09:04:50 -06:00
  • 2240418a25 re: #75, #52 Mark Thom 2019-03-31 22:30:42 -06:00
  • df5e538dc6 add structural tests for strings as char code lists Mark Thom 2019-03-31 20:11:20 -06:00
  • a15ebd20c1 add support for char codes Mark Thom 2019-03-31 19:48:40 -06:00
  • a97e8a4b5c update version number Mark Thom 2019-03-31 11:36:42 -06:00
  • 701cbc7a19 do a better job recognizing and bracketing operators Mark Thom 2019-03-31 11:35:19 -06:00
  • 252873694b clean up heap_print.rs Mark Thom 2019-03-31 02:17:50 -06:00
  • a2f531eeb7 correct comma printing Mark Thom 2019-03-31 02:13:58 -06:00
  • 35e91ee47c make op/3 a predicate call from the query context Mark Thom 2019-03-31 00:29:53 -06:00
  • 3e67400bd3 specially handle commas Mark Thom 2019-03-30 21:31:57 -06:00
  • 0aefcf7eae add op/3 to builtin predicates Mark Thom 2019-03-30 18:14:47 -06:00
  • f55968b1b8 properly demarcate ops in dbrefs Mark Thom 2019-03-30 13:38:03 -06:00
  • 352ebd1706 re: #73 Mark Thom 2019-03-30 12:38:26 -06:00
  • 8945bae70b use can_be(list, _) in all solutions predicates Mark Thom 2019-03-30 10:44:49 -06:00
  • 5a30c7b9be Merge branch 'master' of https://github.com/mthom/rusty-wam Mark Thom 2019-03-29 22:50:43 -06:00
  • b45c591c89 update writer Mark Thom 2019-03-29 22:49:33 -06:00
  • f766e9f1b0 Merge pull request #70 from XVilka/patch-1 Mark Thom 2019-03-29 09:12:26 -03:00
  • 5b36230df7 Update downcast dependency Anton Kochkov 2019-03-29 16:37:56 +08:00
  • 3aeebbe6d6 pass more conformity tests Mark Thom 2019-03-29 00:14:03 -06:00
  • 381ad12104 add db refs Mark Thom 2019-03-27 23:00:59 -06:00
  • e7bc01369a make current_predicate/1 more general, re: #66 Mark Thom 2019-03-27 21:13:36 -06:00
  • 32c8a5e55f index inlined and builtin clausetypes inside a BTreeMap Mark Thom 2019-03-26 21:59:50 -06:00
  • 44f762a4f0 update readline.rs crate Mark Thom 2019-03-24 17:17:54 -06:00
  • 0a78ddcd0b update version number Mark Thom 2019-03-24 15:26:51 -06:00
  • 7ff7edee59 bracket RHS when necessary in variable equations Mark Thom 2019-03-24 15:26:32 -06:00
  • 3ad1b86286 use updated readline Mark Thom 2019-03-24 13:18:28 -06:00
  • 155c54c99d fix toplevel heap view Mark Thom 2019-03-24 10:10:43 -06:00
  • ca5138ccea fix toplevel heap view Mark Thom 2019-03-24 09:55:20 -06:00
  • eecfcafef6 update tests Mark Thom 2019-03-24 09:33:12 -06:00
  • 12fac66431 do a better job of printing integral floats. Mark Thom 2019-03-24 09:30:20 -06:00
  • 11198fdb31 print attribute goals alongside variable bindings as a single, unified goals Mark Thom 2019-03-24 00:26:29 -06:00
  • 0351936a58 update version number Mark Thom 2019-03-23 09:43:26 -06:00
  • 0b79ae0524 do not print unbound vars at toplevel Mark Thom 2019-03-23 09:43:05 -06:00
  • 380375228b allow toplevel answers to be passed back as queries Mark Thom 2019-03-22 10:00:07 -06:00
  • 33b581effc enable an option to disable readline Mark Thom 2019-03-21 19:46:42 -06:00
  • 4b2fb8b1c7 fail if attempting dynamic transaction in term and goal expansion Mark Thom 2019-03-19 21:03:37 -06:00
  • 55a251d1c4 correct register threshold calculation. Mark Thom 2019-03-17 21:45:30 -06:00
  • cd683c7f3d update readline instructions in README, dependence on readline_rs_compat with new library search paths Mark Thom 2019-03-17 19:22:36 -06:00
  • 9471a07ffa use readline with better build support Mark Thom 2019-03-17 18:42:26 -06:00
  • 179bede1db update version and README Mark Thom 2019-03-17 18:11:08 -06:00
  • c7ebd59b4a set rl_startup_hook only once Mark Thom 2019-03-17 18:09:48 -06:00
  • fd703c3610 make toplevel more consistent with answers, depend on readline package without renaming. Mark Thom 2019-03-17 17:49:51 -06:00
  • 4cefd35eb4 add rename-dependencies to Cargo manifest Mark Thom 2019-03-17 15:25:55 -06:00
  • 840b98dcf3 update readline.rs version Mark Thom 2019-03-17 15:22:31 -06:00
  • 2927387a66 use the updated readline.rs Mark Thom 2019-03-17 15:01:10 -06:00
  • a85fd5efa5 use concrete version number for readline-rs Mark Thom 2019-03-17 14:51:55 -06:00
  • 4a7cd50e4b use new readline crate Mark Thom 2019-03-17 14:50:57 -06:00
  • 1ce8d90627 add halt/0 Mark Thom 2019-03-17 14:38:55 -06:00
  • 2fad1c724c use the readline library at toplevel Mark Thom 2019-03-16 19:12:06 -06:00
  • bc0f0719fb update README Mark Thom 2019-03-13 09:29:28 -06:00
  • 0eb2fb3d90 add non-backtrackable and backtrackable global variables Mark Thom 2019-03-13 00:16:57 -06:00
  • f0f8bfb569 update build instructions, change to the scryer-prolog crate Mark Thom 2019-03-13 00:00:24 -06:00
  • d81268a181 clean up bb_put/2 a bit Mark Thom 2019-03-12 22:57:02 -06:00
  • 4a736453fc update README: backtrackable globals Mark Thom 2019-03-12 22:39:59 -06:00
  • 527ac606e9 bb_put/2 and bb_get/2 Mark Thom 2019-03-12 22:38:47 -06:00
  • b5ad8051d8 use ordsets in library(dif) Mark Thom 2019-03-12 19:13:03 -06:00
  • 2af08b31d2 change the semantics of put_atts/2 to better reflect those of SICSTus Mark Thom 2019-03-12 18:45:42 -06:00
  • a6d3f39152 add ordsets library, domain.pl attributed variables example Mark Thom 2019-03-10 22:33:09 -06:00
  • b1d061f76b eliminate generation of dynamic clauses when compiling term expansion clauses Mark Thom 2019-03-09 17:36:27 -07:00
  • 0d41b27abb remove dynamic code indices when modules are redefined. Mark Thom 2019-03-09 14:19:49 -07:00
  • 9f398b2552 perform term and goal expansion on asserted dynamic predicates inside modules Mark Thom 2019-03-09 13:41:33 -07:00
  • 870aa7651e propagate dynamic database changes to toplevel Mark Thom 2019-03-09 03:19:32 -07:00
  • adf9629333 stop module dynamic predicate modifications from taking on the user module index. Mark Thom 2019-03-09 00:37:58 -07:00
  • 92c36aa0d9 properly update dynamically updated predicates in module indices Mark Thom 2019-03-08 23:11:06 -07:00
  • da0e1b9436 add assoc.pl, add max evaluable functor Mark Thom 2019-03-08 22:31:12 -07:00
  • 089428b8c4 split dynamic database keys across modules Mark Thom 2019-03-08 21:22:15 -07:00
  • 267d1a9f5f improve Rust-generated permissions errors Mark Thom 2019-03-07 23:46:01 -07:00
  • 3cb1996e61 make clause/2 global in scope Mark Thom 2019-03-07 23:32:41 -07:00
  • 933c19c317 correct clause/2 to work only on properly scoped terms Mark Thom 2019-03-07 22:55:54 -07:00
  • b1e47cc465 further cross-module dynamic database fixes Mark Thom 2019-03-07 22:01:03 -07:00
  • 72f759da40 correct mismanagement of dynamic database across modules Mark Thom 2019-03-07 20:27:55 -07:00
  • 72c8807ff1 update toplevel exports when updated dynamically Mark Thom 2019-03-06 23:35:50 -07:00
  • d4de3c2003 update toplevel exports when updated dynamically Mark Thom 2019-03-06 22:33:16 -07:00
  • 2467df232d Merge branch 'master' of https://github.com/mthom/rusty-wam Mark Thom 2019-03-06 21:53:17 -07:00