This website requires JavaScript.
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
Mark Thom