Mark Thom
|
ab9a14cc6a
|
add randomness predicates, small but consequential changes to TrailRef
|
2019-10-17 00:21:21 -06:00 |
|
Mark Thom
|
42a3bdc357
|
eliminate lingering attribute goals
|
2019-10-16 11:38:33 -03:00 |
|
Mark Thom
|
b6a2e26a4f
|
bump toml version number to package clpb on crates
|
2019-10-16 09:59:41 -03:00 |
|
Mark Thom
|
ca27234275
|
deallocate old stack frames (#201), start using tags, fix a panic! associated with partial strings
|
2019-10-15 22:54:12 -06:00 |
|
Mark Thom
|
c4269b87c2
|
re: issues #200, #201
|
2019-10-15 00:42:55 -06:00 |
|
Yu Ding
|
adb469f627
|
Upgrade to edition. Bump up edition in Cargo.toml
|
2019-10-14 00:23:32 -07:00 |
|
Mark Thom
|
da89b1af63
|
handle TCO when setting up verify_attributes interrupts
|
2019-10-13 14:13:52 -06:00 |
|
Mark Thom
|
1d41489381
|
correct off by 1 error in verify_attrs_interrupt, revert to previous lists.pl
|
2019-10-12 19:14:33 -06:00 |
|
Mark Thom
|
8c4c70b089
|
fix verify_attributes_stepper bug: proceed now considered a head instruction
|
2019-10-12 03:26:50 -06:00 |
|
Mark Thom
|
f898b98b06
|
copy terms to global variable blackboard, fix attribute_goals//1
|
2019-10-09 14:11:31 -06:00 |
|
Mark Thom
|
3409db010f
|
fix several issues with goal expansion, crashing after attribute_goals is called
|
2019-10-08 12:28:23 -06:00 |
|
Mark Thom
|
673fb31ae2
|
update prolog_parser to v0.8.33
|
2019-10-06 12:02:47 -06:00 |
|
Mark Thom
|
93d1cd1b09
|
implement DCGs using the logical expansion of the draft proposal
|
2019-10-05 00:17:57 -06:00 |
|
Mark Thom
|
3fa168d35b
|
fixes for issues #185 and #181
|
2019-10-04 20:03:03 -06:00 |
|
Mark Thom
|
1569cac98f
|
correct dcg handling of cuts
|
2019-10-04 15:41:48 -06:00 |
|
Mark Thom
|
caeff99f69
|
perform singleton variable scans on top level terms only
|
2019-10-04 10:38:45 -06:00 |
|
Mark Thom
|
b61ed65208
|
fix goal expansion in disjunctions, add warnings for singleton variables
|
2019-10-03 22:13:34 -06:00 |
|
Mark Thom
|
a2655864c6
|
update version
|
2019-10-02 22:13:31 -06:00 |
|
Mark Thom
|
abc7498a42
|
add the initialization directive
|
2019-10-01 16:51:22 -06:00 |
|
Mark Thom
|
b26c5c213e
|
return to toplevel from a long running query after receiving Ctrl-C
|
2019-09-30 13:27:22 -06:00 |
|
Mark Thom
|
9df14cf890
|
add use_module/{1,2} as full fledged predicates
|
2019-09-30 10:26:29 -06:00 |
|
Mark Thom
|
e8bac464d0
|
devour dangling whitespace before checking for EOF
|
2019-09-29 10:05:40 -06:00 |
|
Mark Thom
|
9a83ccbdbc
|
make *.pl files in src/prolog/lib available from libraries.rs
|
2019-09-26 23:10:04 -06:00 |
|
Mark Thom
|
2c1c1b7d12
|
migrate to rustyline, add history support
|
2019-09-26 11:25:05 -06:00 |
|
Mark Thom
|
737acb7cde
|
ignore single line comments after end token read
|
2019-09-25 22:40:31 -06:00 |
|
Mark Thom
|
8207fdea40
|
replace HashMap with IndexMap and HashSet with IndexSet
|
2019-09-22 17:31:25 -06:00 |
|
Mark Thom
|
380aae85bd
|
add wam_instructions/2 to render predicate instructions as lists of functors
|
2019-09-22 16:06:50 -06:00 |
|
Mark Thom
|
40500ca2d6
|
print line numbers to trace the location of parsing errors
|
2019-09-17 22:50:32 -06:00 |
|
Mark Thom
|
9d2ac9e235
|
address issue #153
|
2019-09-05 22:43:50 -06:00 |
|
Mark Thom
|
4b22f80a77
|
check for and load .scryerrc from the user's home directory
|
2019-09-04 23:30:48 -06:00 |
|
Mark Thom
|
2c880b2bc0
|
address issues #143, #150, #155
|
2019-09-02 16:53:31 -04:00 |
|
Mark Thom
|
39d5e6a2f9
|
correct for issue #145
|
2019-06-14 09:00:43 -04:00 |
|
Mark Thom
|
ea9cfa6d40
|
pass more numbers by reference
|
2019-05-25 00:16:07 -04:00 |
|
Mark Thom
|
e66d5c7b31
|
correct #68 in variable_names conformity tests
|
2019-05-13 23:37:03 -04:00 |
|
Mark Thom
|
d5223b9bbd
|
fix min/1, max/1
|
2019-05-13 18:11:27 -04:00 |
|
Mark Thom
|
f344150322
|
revamp evaluable functors, add missing evaluable functors
|
2019-05-12 20:14:00 -04:00 |
|
Mark Thom
|
f988b67403
|
print full list in erroneous variable_names
|
2019-05-09 22:56:15 -04:00 |
|
Mark Thom
|
7fef8a3e86
|
correct variable_names culprit
|
2019-05-08 19:58:05 -04:00 |
|
Mark Thom
|
da17d3070d
|
update version number, correct printer
|
2019-05-06 22:14:38 -04:00 |
|
Mark Thom
|
3547ae2db4
|
quote solo characters wherever they lead atoms
|
2019-05-05 22:48:19 -04:00 |
|
Mark Thom
|
b05cff3044
|
improve matching on partial strings as lists
|
2019-04-30 21:30:28 -06:00 |
|
Mark Thom
|
3fd274c583
|
add remaining atomic term processing builtins, rename (=@=)/2 to variant/2, address issue #133
|
2019-04-30 20:55:53 -06:00 |
|
Mark Thom
|
fb023c99c1
|
respect ambiguity with ., add ... to indicate more answers
|
2019-04-29 22:44:53 -06:00 |
|
Mark Thom
|
14d629492d
|
add unify_with_occurs_check/2
|
2019-04-28 22:23:34 -06:00 |
|
Mark Thom
|
9dbadac14f
|
correct various bugs
|
2019-04-28 21:09:56 -06:00 |
|
Mark Thom
|
918da4f423
|
fix odd response, toplevel issues
|
2019-04-28 17:19:16 -06:00 |
|
Mark Thom
|
d066765248
|
add subsumes_term/2
|
2019-04-28 14:48:12 -06:00 |
|
Mark Thom
|
6be03a7f7a
|
add number_chars/2
|
2019-04-28 14:36:38 -06:00 |
|
Mark Thom
|
e135063325
|
speed up unification
|
2019-04-27 23:39:19 -06:00 |
|
Mark Thom
|
9b21e04539
|
address issues #121 - #123
|
2019-04-27 21:51:48 -06:00 |
|