Marco A L Barbosa
|
37ff4a821c
|
Add feature num to use num crate in place of rug.
|
2019-11-20 17:51:08 -03:00 |
|
Mark Thom
|
f82c6f3fed
|
avoid overwriting IndexPtr's for clauses already declared dynamic (#227)
|
2019-11-20 10:50:33 -04:00 |
|
Mark Thom
|
6f9477f0bb
|
rollback changes in snapshot handling
|
2019-11-17 21:07:16 -04:00 |
|
Mark Thom
|
de88fdc4dc
|
correct failure to observe last call position in queries'
|
2019-11-17 20:18:11 -04:00 |
|
Mark Thom
|
cee3dbc453
|
quote values and goals in equations, eliminate dead code, correct retract/1
|
2019-11-16 17:15:25 -07:00 |
|
Mark Thom
|
ed985c3cfe
|
move more of the toplevel from rust into prolog
|
2019-11-16 00:26:15 -07:00 |
|
Mark Thom
|
4ad62e4606
|
add warnings when initialization goals fail (#168)
|
2019-10-30 00:25:17 -06:00 |
|
Mark Thom
|
d34811aa36
|
handle asserts in modules a little better (#223, #224)
|
2019-10-30 00:14:36 -06:00 |
|
Mark Thom
|
b90d69a45b
|
install asserted predicates into modules from initialization directives (#222)
|
2019-10-29 00:06:51 -06:00 |
|
Mark Thom
|
81f220a4d2
|
replace \n\r and \r\n by \n (#221)
|
2019-10-27 20:50:21 -06:00 |
|
Mark Thom
|
e594ade84d
|
finish #214, add needed ambiguity checks if 0 is the final character
|
2019-10-27 19:23:35 -06:00 |
|
Mark Thom
|
0dcd9e5805
|
correct sign/1 (#216)
|
2019-10-27 14:18:32 -06:00 |
|
Mark Thom
|
e656e7fbae
|
add sign/1 (#216) and gcd/2 (#217) as evaluable functors, update the README
|
2019-10-27 13:05:05 -06:00 |
|
Mark Thom
|
ccfcc654a5
|
remove module from toplevel in unqualified use_module
|
2019-10-26 12:39:42 -06:00 |
|
Mark Thom
|
a358431d30
|
reload files properly (re: #213)
|
2019-10-26 01:34:41 -06:00 |
|
Mark Thom
|
1b1879a6fa
|
fix attributed variables bug causing weighted_maximum/3 example to omit a variable binding
|
2019-10-20 14:50:46 -06:00 |
|
Mark Thom
|
24e5e39c28
|
add order preserving tidy_trail, fix random_labeling/2
|
2019-10-19 00:29:50 -06:00 |
|
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
|
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
|
7f297eb064
|
Merge pull request #191 from dingelish/master
Fix some old Rust codes
|
2019-10-14 00:59:03 -03:00 |
|
Mark Thom
|
83ead46e13
|
re: issue #196
|
2019-10-14 00:07:22 -06: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
|
5893ff4231
|
correct latest out of bounds panic, use first argument indexing in maplists/{2..9}
|
2019-10-12 01:20:42 -06:00 |
|
Yu Ding
|
9b789629c9
|
Fix some old Rust codes
Done by cargo fix using nightly-2019-10-04 toolchain. Fixed ... to ..=, trait object to dyn trait object
|
2019-10-09 14:56:50 -07: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
|
d4f9d18149
|
print errors with line numbers in GNU style
|
2019-10-04 15:32:26 -06:00 |
|
Mark Thom
|
caeff99f69
|
perform singleton variable scans on top level terms only
|
2019-10-04 10:38:45 -06:00 |
|
Mark Thom
|
0a84f183fe
|
make attribute_goals a nonterminal
|
2019-10-03 23:29:18 -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
|
02d1ed237f
|
don't add default index for dynamic predicates unless defined at toplevel
|
2019-10-02 22:30:00 -06:00 |
|
Mark Thom
|
516c66a47d
|
properly handle undefined predicates declared dynamic
|
2019-10-02 22:01:32 -06:00 |
|
Mark Thom
|
04bc8ec084
|
print attributes of variables when attribute_goals/2 is not defined
|
2019-10-02 17:01:03 -06:00 |
|
Mark Thom
|
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}
|
2019-10-02 15:51:48 -06:00 |
|
Mark Thom
|
239ffb205b
|
expand goals in initialization directives.
|
2019-10-01 23:25:17 -06:00 |
|
Mark Thom
|
c0ad3231f5
|
eliminate extraneous choice point in $get_attr
|
2019-10-01 22:36:46 -06:00 |
|
Mark Thom
|
abc7498a42
|
add the initialization directive
|
2019-10-01 16:51:22 -06:00 |
|
Mark Thom
|
1ec831b2e2
|
limit scope of raw mode on stdout to allow interrupts to work
|
2019-09-30 14:09:02 -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
|
376b39a4ef
|
support loading of modules from files specified at the command line
|
2019-09-29 10:16:27 -06:00 |
|
Mark Thom
|
e8bac464d0
|
devour dangling whitespace before checking for EOF
|
2019-09-29 10:05:40 -06:00 |
|
Mark Thom
|
5ec4dfedb0
|
target out_dir in build script
|
2019-09-27 00:05:19 -06:00 |
|