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

Commit Graph

  • b9561ec8db update toplevel interaction Markus Triska 2020-03-17 17:42:57 +01:00
  • b1d8eff019 remove Addr::PStrTail (#276) Mark Thom 2020-03-17 02:03:29 -06:00
  • f9c4a40d60 add set_input/1, set_output/1 Mark Thom 2020-03-15 23:29:21 -06:00
  • 8e318f76a7 correct contextual quoting of chars Mark Thom 2020-03-15 21:15:42 -06:00
  • 7d21ea93a6 Merge pull request #289 from triska/documentation Mark Thom 2020-03-15 12:09:44 -03:00
  • 8630ba4a2d Merge pull request #291 from triska/toplevel Mark Thom 2020-03-15 12:09:25 -03:00
  • 17a448e045 support 'h' to print help message during toplevel interaction Markus Triska 2020-03-15 13:24:28 +01:00
  • 7ff11dce35 support 'p' to reprint answer with max depth, allowing w -> p -> w ... Markus Triska 2020-03-15 13:16:40 +01:00
  • e2a4854bcf include a short overview of notable libraries Markus Triska 2020-03-15 11:23:17 +01:00
  • bef96e231d use max_depth at toplevel, allowing full printing of terms with the 'w' keypress (#287), put disjunctions on new lines (#278) Mark Thom 2020-03-15 00:35:59 -06:00
  • 325df8a6e3 add provisional max_depth option to write_term, speed printing of non-cyclic terms Mark Thom 2020-03-15 00:09:20 -06:00
  • 3620f72b6c output strings more efficiently Mark Thom 2020-03-14 18:17:11 -06:00
  • 42a90b2d40 don't emit overwriting warnings for term_expansion/2 or goal_expansion/2 Mark Thom 2020-03-14 14:18:01 -06:00
  • 97aab6950c correct DCG descriptions of lists (#286) Mark Thom 2020-03-14 14:14:26 -06:00
  • 31258247b3 Give new answer variables readable names (#279) Mark Thom 2020-03-14 03:04:11 -06:00
  • beed4e8aa8 print strings as strings only in the term expander Mark Thom 2020-03-13 21:05:25 -06:00
  • c60a0bc062 print strings as strings (#285) Mark Thom 2020-03-13 18:24:13 -06:00
  • 733c2d4152 eliminate inner_numbervar_count Mark Thom 2020-03-13 17:12:35 -06:00
  • 79b5857f72 Merge pull request #284 from triska/master Mark Thom 2020-03-13 17:06:27 -03:00
  • 7260eba26a allow module export of nonterminals (#281) Mark Thom 2020-03-13 15:40:03 -06:00
  • 7e7a1b2caf properly handle '\n' when quoted and not (#283, #280) Mark Thom 2020-03-13 15:32:56 -06:00
  • 24bed8c548 ADDED: library(format), describing strings with format_//2 Markus Triska 2020-03-13 20:46:53 +01:00
  • 99181e3302 fix -names (#275) Mark Thom 2020-03-13 13:49:12 -06:00
  • d57d2b96d6 Revert "fix $VAR-names (#275) and properly print single control chars (#280)" Mark Thom 2020-03-13 13:47:58 -06:00
  • 6c9e704aa8 sort variables in findall_with_existential before computing set difference (#282), trawl back changes of (#279) Mark Thom 2020-03-13 13:18:47 -06:00
  • d3eb31e4c3 fix $VAR-names (#275) and properly print single control chars (#280) Mark Thom 2020-03-13 02:48:31 -06:00
  • 698b01f85a give new answer variables readable names (#279) Mark Thom 2020-03-13 02:40:06 -06:00
  • 4c88e97330 add current_output, printing of stream terms Mark Thom 2020-03-11 00:38:01 -06:00
  • 25babff827 add streams.rs, consume them in place of the old PrologStream Mark Thom 2020-03-09 11:56:16 -06:00
  • 23e833c69e update README.md Mark Thom 2020-03-08 18:02:06 -06:00
  • 22bb3fe876 replace termion with crossterm Mark Thom 2020-03-08 18:01:54 -06:00
  • eee10d3ee7 fix broken conformity tests, quote left paren Mark Thom 2020-03-08 16:49:47 -06:00
  • c7591045af represent the current_dir as an absolute path, not a relative one. (#262) Mark Thom 2020-03-07 16:00:04 -07:00
  • 6ddfef6383 count single character atoms as characters when generating first argument indices Mark Thom 2020-03-06 21:19:53 -07:00
  • 9852e30b39 compare characters directly in term comparison tests Mark Thom 2020-03-05 12:50:11 -07:00
  • 2d3ce32314 switch to representation error for partial strings (#267) Mark Thom 2020-03-01 23:21:35 -07:00
  • d8e0bea110 correct handling of strings and partial strings as lists, print bar operator with surrounding spaces (#274) Mark Thom 2020-03-01 00:00:40 -07:00
  • b2cf6a6ea8 update README Mark Thom 2020-02-29 15:23:48 -07:00
  • 2ebcd673c8 add s pointers for strings and partial strings, put_unsafe_value calls store earlier to avoid unnecessary heap writes (#273) Mark Thom 2020-02-28 23:42:40 -07:00
  • aa5f186a96 allow set_prolog_flag in declarations Mark Thom 2020-02-28 21:42:22 -07:00
  • 934f73f696 remove cyclic_term/1 Mark Thom 2020-02-27 16:19:48 -07:00
  • 993c6f0e7b actually do lco, and mark unsafe variables before the goals where they last occur, not just in the last goal Mark Thom 2020-02-26 21:57:57 -07:00
  • 1d79e22468 mention rustup.rs in README (#261) Mark Thom 2020-02-23 13:22:56 -07:00
  • 8ba92d8b99 update prolog_parser version, allow ('|') operator in DCGs (#274) Mark Thom 2020-02-23 13:16:14 -07:00
  • af23258152 remove setof/3, bagof/3 non-determinism (#270) Mark Thom 2020-02-22 15:13:01 -07:00
  • b2e50b42a3 rename non_iso.pl to iso_ext.pl (#265) Mark Thom 2020-02-22 00:58:37 -07:00
  • 003b4d0218 add comparisons between partial strings and string constants (#263) Mark Thom 2020-02-22 00:51:27 -07:00
  • 545472f9c4 correct misreported error in toplevel loop (#272) Mark Thom 2020-02-21 21:09:59 -07:00
  • 8f781c27f9 remove same_length/2 from clpb.pl Mark Thom 2020-02-21 17:21:15 -07:00
  • 589dc34b99 make partial strings accept characters (#268) Mark Thom 2020-02-21 13:08:03 -07:00
  • 564622e38b partial_string/3 should accept empty lists (#264) Mark Thom 2020-02-21 12:55:33 -07:00
  • d3744d6f66 identify ground partial strings under (==) (#269) Mark Thom 2020-02-21 12:51:23 -07:00
  • 2613ef0633 adopt compatibility predicates from clpb and clpz into lists and pairs libraries Mark Thom 2020-02-21 12:48:15 -07:00
  • be3cdcd71a fix #255 (I think?) Mark Thom 2020-02-21 01:02:52 -07:00
  • d48ac09e25 correct PStrLocation offset bug in copier.rs Mark Thom 2020-02-20 10:59:42 -07:00
  • e5a0ba7bf3 revert to older between.pl Mark Thom 2020-02-20 10:07:45 -07:00
  • eb1980d286 Merge branch 'master' of https://github.com/mthom/rusty-wam v0.8.118 Mark Thom 2020-02-19 21:44:18 -07:00
  • 424af312e5 update Cargo.lock and toml version Mark Thom 2020-02-19 21:42:39 -07:00
  • a2a4c78c9a update README Mark Thom 2020-02-19 21:38:19 -07:00
  • 0457b38e41 add redone partial strings (#24, #95) Mark Thom 2020-02-19 21:34:09 -07:00
  • 617f803355 update between/3 to allow inf as upper bound Mark Thom 2020-02-19 15:55:56 -07:00
  • d3da2683cb stop applying (=..)/2 to variables in tabling/trie.pl Mark Thom 2020-02-19 14:43:06 -07:00
  • d97c670fcd Merge pull request #258 from aarroyoc/master Mark Thom 2020-02-19 12:10:48 -04:00
  • 8902bcb5ab use raw_block.rs for the heap backend Mark Thom 2020-02-16 16:30:36 -07:00
  • 5f51e264f2 change raw_vec to raw_block to avoid clashes with liballoc package Mark Thom 2020-02-13 20:05:46 -07:00
  • 1c4e2c0ed6 allow the frontier of the RawVec to be offset by a trait function Mark Thom 2020-02-12 23:52:30 -07:00
  • 5a6333129b move bump allocation logic to its own module Mark Thom 2020-02-12 23:34:05 -07:00
  • 969bd8f82c remove partial strings, but represent strings as lists when warranted by double_quotes Mark Thom 2020-02-12 22:12:42 -07:00
  • a732bc9dc4 add n as an option to get the next solution Adrián Arroyo Calle 2020-02-10 17:51:26 +01:00
  • 1b5cf493d6 correct improper use of multifile directive in tabling/wrapper.pl Mark Thom 2020-02-06 10:12:57 -07:00
  • 0be8abd38c print extended characters recently added to alpha char set Mark Thom 2020-02-04 23:39:49 -07:00
  • b71e8082d2 prolog_parser version bump Mark Thom 2020-02-04 23:35:03 -07:00
  • 034af296ff recommit Cargo.lock Mark Thom 2020-02-04 17:49:20 -07:00
  • 554b08a7d2 version bump, README.md tweak Mark Thom 2020-02-04 17:47:57 -07:00
  • 00b38549f5 enable cross-query memoization in the tabling library Mark Thom 2020-02-02 22:52:17 -07:00
  • 62b41ddb93 remove tabling/SLG resolution from nice-to-have list Mark Thom 2020-02-02 22:34:54 -07:00
  • d83c5cf5f1 add tabling library, update README, make Cargo.toml non-local Mark Thom 2020-02-02 22:24:48 -07:00
  • 740bd528c4 add multifile and module scoped predicates Mark Thom 2020-02-02 22:13:14 -07:00
  • 668c9489c9 update README Mark Thom 2020-01-26 20:19:44 -07:00
  • dcf2eadcf2 add preliminary multifile declaration support Mark Thom 2020-01-26 20:17:52 -07:00
  • 9c1064c1a3 use atom_concat in gensym.pl Mark Thom 2020-01-22 22:08:42 -07:00
  • 40bf5bc75f don't hold on to popped or frames Mark Thom 2020-01-20 20:59:30 -07:00
  • 6be2d8ccf2 correct bug in bb_b_put, correct stack truncation bug resulting in erroneous failures (affecting issue #255 and the in-progress tabling library) Mark Thom 2020-01-19 20:56:11 -07:00
  • 9958ad6f34 add prefixes to gensym keys Mark Thom 2020-01-13 21:01:09 -07:00
  • 728be8c259 add simple gensym library Mark Thom 2020-01-13 20:30:58 -07:00
  • 9a80d398e8 add listing sources to modules Mark Thom 2020-01-13 20:17:22 -07:00
  • 242c47bb92 Merge branch 'master' of https://github.com/mthom/rusty-wam Mark Thom 2020-01-03 00:47:56 -07:00
  • 85e37a9977 implement less defaulty interface in cont.pl Mark Thom 2019-12-23 12:19:18 -07:00
  • dded56af78 remove l* languages Mark Thom 2019-12-23 11:49:20 -07:00
  • 3bf1cbbe6c push of preliminary delimited continuations library cont.pl (#136) Mark Thom 2019-12-20 22:27:49 -07:00
  • 4ef8ab6e76 merge with master Mark Thom 2019-12-19 20:04:30 -04:00
  • 837ae4cb17 preliminary cont work Mark Thom 2019-12-19 20:02:10 -04:00
  • a4e352ba0d use Addr::StackCell(0,0) to indicate non-live local variables Mark Thom 2019-12-12 20:34:50 -07:00
  • 02d8b1441d expand goals inside (\+)/1 Mark Thom 2019-12-11 21:42:15 -07:00
  • 196784bd09 change goal and term expansions, change call/N to use goal expansions Mark Thom 2019-12-10 21:36:02 -07:00
  • b0fa45cd33 correct odd accidental change to clpb.pl Mark Thom 2019-12-08 11:44:01 -07:00
  • 923c9d4ad8 remove zeroing out from Stack::truncate Mark Thom 2019-12-08 11:43:22 -07:00
  • 2be7070e1a revert arithmetic code Mark Thom 2019-12-08 00:17:55 -07:00
  • f16c2a6e99 update tests Mark Thom 2019-12-07 19:21:09 -07:00
  • d6e75110a5 reconcile latest changes against stack changes Mark Thom 2019-12-07 18:59:03 -07:00