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

Commit Graph

  • 673fb31ae2 update prolog_parser to v0.8.33 Mark Thom 2019-10-06 12:02:47 -06:00
  • 93d1cd1b09 implement DCGs using the logical expansion of the draft proposal Mark Thom 2019-10-05 00:17:57 -06:00
  • 3fa168d35b fixes for issues #185 and #181 Mark Thom 2019-10-04 20:03:03 -06:00
  • 1569cac98f correct dcg handling of cuts Mark Thom 2019-10-04 15:41:48 -06:00
  • d4f9d18149 print errors with line numbers in GNU style Mark Thom 2019-10-04 15:32:26 -06:00
  • caeff99f69 perform singleton variable scans on top level terms only Mark Thom 2019-10-04 10:38:45 -06:00
  • 0a84f183fe make attribute_goals a nonterminal Mark Thom 2019-10-03 23:29:18 -06:00
  • b61ed65208 fix goal expansion in disjunctions, add warnings for singleton variables Mark Thom 2019-10-03 22:13:34 -06:00
  • 02d1ed237f don't add default index for dynamic predicates unless defined at toplevel Mark Thom 2019-10-02 22:30:00 -06:00
  • a2655864c6 update version Mark Thom 2019-10-02 22:13:31 -06:00
  • 516c66a47d properly handle undefined predicates declared dynamic Mark Thom 2019-10-02 22:01:32 -06:00
  • 04bc8ec084 print attributes of variables when attribute_goals/2 is not defined Mark Thom 2019-10-02 17:01:03 -06:00
  • a623061a1a correct handling of ! in phrase/{2,3}, get rid of extraneous choice points in put_atts/2 and get_atts/2, allow loading of non-module files from the command line and use_module/{2,3} Mark Thom 2019-10-02 15:51:48 -06:00
  • ccd3dfb436 properly expand goals in initialization directives Mark Thom 2019-10-02 15:09:34 -06:00
  • b12ba338df remove readline_compat_rs reference from README Mark Thom 2019-10-02 11:33:28 -06:00
  • 239ffb205b expand goals in initialization directives. Mark Thom 2019-10-01 23:25:17 -06:00
  • c0ad3231f5 eliminate extraneous choice point in $get_attr Mark Thom 2019-10-01 22:36:46 -06:00
  • abc7498a42 add the initialization directive Mark Thom 2019-10-01 16:51:22 -06:00
  • 1ec831b2e2 limit scope of raw mode on stdout to allow interrupts to work Mark Thom 2019-09-30 14:09:02 -06:00
  • b26c5c213e return to toplevel from a long running query after receiving Ctrl-C Mark Thom 2019-09-30 13:27:22 -06:00
  • ecb2cc3518 fix improper consolidation of DCG variables Mark Thom 2019-09-30 12:21:53 -06:00
  • 9df14cf890 add use_module/{1,2} as full fledged predicates Mark Thom 2019-09-30 10:26:29 -06:00
  • 376b39a4ef support loading of modules from files specified at the command line Mark Thom 2019-09-29 10:16:27 -06:00
  • e8bac464d0 devour dangling whitespace before checking for EOF Mark Thom 2019-09-29 10:05:40 -06:00
  • 5ec4dfedb0 target out_dir in build script Mark Thom 2019-09-27 00:05:19 -06:00
  • 9a83ccbdbc make *.pl files in src/prolog/lib available from libraries.rs Mark Thom 2019-09-26 23:10:04 -06:00
  • 2c1c1b7d12 migrate to rustyline, add history support Mark Thom 2019-09-26 11:25:05 -06:00
  • 529b664bf3 Merge pull request #164 from triska/master Mark Thom 2019-09-25 22:52:11 -06:00
  • 737acb7cde ignore single line comments after end token read Mark Thom 2019-09-25 22:40:31 -06:00
  • 930e9a9e82 ADDED: library(si) for safe type tests. Markus Triska 2019-09-25 23:17:50 +02:00
  • e108b844bd Merge pull request #151 from Atul9/cargo-fmt Mark Thom 2019-09-23 11:56:51 -03:00
  • 1273e2d52d Format code using 'cargo fmt' Atul Bhosale 2019-09-23 19:35:37 +07:00
  • 8207fdea40 replace HashMap with IndexMap and HashSet with IndexSet Mark Thom 2019-09-22 17:31:25 -06:00
  • 380aae85bd add wam_instructions/2 to render predicate instructions as lists of functors Mark Thom 2019-09-22 16:06:50 -06:00
  • 4cfab7aff8 Merge branch 'master' of https://github.com/mthom/rusty-wam Mark Thom 2019-09-17 22:50:50 -06:00
  • 40500ca2d6 print line numbers to trace the location of parsing errors Mark Thom 2019-09-17 22:50:32 -06:00
  • 3e3031bb9d Merge pull request #159 from XVilka/patch-1 Mark Thom 2019-09-12 22:04:57 -03:00
  • a46a9a707d Create Travis CI config Anton Kochkov 2019-09-12 15:46:40 +08:00
  • 9d2ac9e235 address issue #153 Mark Thom 2019-09-05 22:43:50 -06:00
  • 4b22f80a77 check for and load .scryerrc from the user's home directory Mark Thom 2019-09-04 23:30:48 -06:00
  • a757b92c9d fix read module if readline is not present Mark Thom 2019-09-03 15:18:43 -06:00
  • cefcf916c3 slight formatting changes Mark Thom 2019-09-03 10:10:51 -04:00
  • 2c880b2bc0 address issues #143, #150, #155 Mark Thom 2019-09-02 16:53:31 -04:00
  • 07412b9d34 add fail predicate Mark Thom 2019-06-20 20:59:27 -04:00
  • b2fed73011 re: issue #144 Mark Thom 2019-06-16 01:25:42 -04:00
  • 39d5e6a2f9 correct for issue #145 Mark Thom 2019-06-14 09:00:43 -04:00
  • 4fd70e9c6d correct bug in between.pl, re: #146 Mark Thom 2019-06-09 12:12:34 -04:00
  • ea9cfa6d40 pass more numbers by reference Mark Thom 2019-05-25 00:16:07 -04:00
  • 1baf772b1c pass Number's by reference when possible Mark Thom 2019-05-22 19:48:34 -04:00
  • e66d5c7b31 correct #68 in variable_names conformity tests Mark Thom 2019-05-13 23:37:03 -04:00
  • d5223b9bbd fix min/1, max/1 Mark Thom 2019-05-13 18:11:27 -04:00
  • 59ab4cd67c process float/1 and pi/0 Mark Thom 2019-05-12 22:21:29 -04:00
  • f344150322 revamp evaluable functors, add missing evaluable functors Mark Thom 2019-05-12 20:14:00 -04:00
  • f988b67403 print full list in erroneous variable_names Mark Thom 2019-05-09 22:56:15 -04:00
  • 7fef8a3e86 correct variable_names culprit Mark Thom 2019-05-08 19:58:05 -04:00
  • 3f07178312 Merge pull request #138 from XVilka/unmut Mark Thom 2019-05-08 09:45:13 -04:00
  • 13215f8c35 Add .gitignore Anton Kochkov 2019-05-08 14:09:44 +08:00
  • 580dc761d5 Remove unnecessary mutability Anton Kochkov 2019-05-08 14:09:33 +08:00
  • 6240f04769 correct error reporting for variable_names write option Mark Thom 2019-05-06 22:45:32 -04:00
  • da17d3070d update version number, correct printer Mark Thom 2019-05-06 22:14:38 -04:00
  • 3547ae2db4 quote solo characters wherever they lead atoms Mark Thom 2019-05-05 22:48:19 -04:00
  • bf8a2ab6a6 add variable_names as a write option Mark Thom 2019-05-05 00:58:56 -04:00
  • b05cff3044 improve matching on partial strings as lists Mark Thom 2019-04-30 21:30:28 -06:00
  • d09aeb4125 update README Mark Thom 2019-04-30 20:56:18 -06:00
  • 3fd274c583 add remaining atomic term processing builtins, rename (=@=)/2 to variant/2, address issue #133 Mark Thom 2019-04-30 20:55:53 -06:00
  • fb023c99c1 respect ambiguity with ., add ... to indicate more answers Mark Thom 2019-04-29 22:44:53 -06:00
  • 14d629492d add unify_with_occurs_check/2 Mark Thom 2019-04-28 22:23:34 -06:00
  • 9dbadac14f correct various bugs Mark Thom 2019-04-28 21:09:56 -06:00
  • 918da4f423 fix odd response, toplevel issues Mark Thom 2019-04-28 17:19:16 -06:00
  • d066765248 add subsumes_term/2 Mark Thom 2019-04-28 14:48:12 -06:00
  • 6be03a7f7a add number_chars/2 Mark Thom 2019-04-28 14:36:38 -06:00
  • e135063325 speed up unification Mark Thom 2019-04-27 23:39:19 -06:00
  • 9b21e04539 address issues #121 - #123 Mark Thom 2019-04-27 21:51:48 -06:00
  • 531d8b3352 re: issue #120 Mark Thom 2019-04-27 00:40:00 -06:00
  • 7bda7c5bf3 printer: abbreviate lists with | Mark Thom 2019-04-26 09:48:12 -06:00
  • 3783070585 use ellipses to indicate infinite terms in printer Mark Thom 2019-04-25 22:27:23 -06:00
  • 9b93c33491 re: issue #118 Mark Thom 2019-04-25 20:11:34 -06:00
  • b07a19fc47 address issues #114, #115 Mark Thom 2019-04-25 09:10:52 -06:00
  • 18a9a6434f delay attributed variables goal, naively correct dif/2 Mark Thom 2019-04-24 20:37:31 -06:00
  • 65cc418171 update version number Mark Thom 2019-04-23 20:28:01 -06:00
  • 01e57f83ee address issues #111 and #108 Mark Thom 2019-04-23 20:27:47 -06:00
  • cc09c68433 update version number Mark Thom 2019-04-23 08:40:28 -06:00
  • b102749220 move setup_call_cleanup/3 and call_with_inference_limit/3 to non_iso Mark Thom 2019-04-23 08:40:10 -06:00
  • a5dc7f2387 various fixes Mark Thom 2019-04-22 21:28:33 -06:00
  • 535465fcd4 use binary_pow for (^)/2 Mark Thom 2019-04-22 19:49:04 -06:00
  • f9448e894e use binary_pow for (^)/2 Mark Thom 2019-04-22 19:48:09 -06:00
  • 59c21dbc3b update version number Mark Thom 2019-04-22 18:54:32 -06:00
  • f745b077a9 instantiate variables in numerical comparisons Mark Thom 2019-04-22 18:54:03 -06:00
  • 29848a51ee update prolog_parser, address conformity tests #3, #5, #11 Mark Thom 2019-04-21 17:58:00 -03:00
  • c8c8c5abae address issues #104, #105, #103 Mark Thom 2019-04-20 20:13:19 -03:00
  • e089c8bdd2 fix conformity testing #274 Mark Thom 2019-04-18 20:32:50 -06:00
  • 2a69a74319 minor fixes Mark Thom 2019-04-17 21:31:00 -06:00
  • 465f2cc6e5 make return_from_clause macro respect verify_attributes Mark Thom 2019-04-14 23:15:59 -06:00
  • d3eec10fc5 fix conformity tests #279 and #296 Mark Thom 2019-04-14 09:45:04 -06:00
  • fb47423c77 update Mark Thom 2019-04-13 18:43:04 -06:00
  • c41451c395 correct prolog_parser path Mark Thom 2019-04-13 18:40:52 -06:00
  • ae90554378 read from streams. Mark Thom 2019-04-13 18:40:17 -06:00
  • ed17867be0 update prolog_parser, refine bracketing tests. Mark Thom 2019-04-07 12:56:31 -06:00
  • e9c8d6adb9 correct conformity test #234 Mark Thom 2019-04-07 12:14:20 -06:00
  • 8963936f0c re: conformity test #181 Mark Thom 2019-04-07 11:49:21 -06:00