Yu Ding
|
adb469f627
|
Upgrade to edition. Bump up edition in Cargo.toml
|
2019-10-14 00:23:32 -07: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
|
673fb31ae2
|
update prolog_parser to v0.8.33
|
2019-10-06 12:02:47 -06:00 |
|
Mark Thom
|
3fa168d35b
|
fixes for issues #185 and #181
|
2019-10-04 20:03:03 -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
|
737acb7cde
|
ignore single line comments after end token read
|
2019-09-25 22:40:31 -06:00 |
|
Atul Bhosale
|
1273e2d52d
|
Format code using 'cargo fmt'
|
2019-09-23 19:35:37 +07: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
|
1baf772b1c
|
pass Number's by reference when possible
|
2019-05-22 19:48:34 -04:00 |
|
Mark Thom
|
d5223b9bbd
|
fix min/1, max/1
|
2019-05-13 18:11:27 -04:00 |
|
Mark Thom
|
59ab4cd67c
|
process float/1 and pi/0
|
2019-05-12 22:21:29 -04:00 |
|
Mark Thom
|
f344150322
|
revamp evaluable functors, add missing evaluable functors
|
2019-05-12 20:14:00 -04:00 |
|
Mark Thom
|
bf8a2ab6a6
|
add variable_names as a write option
|
2019-05-05 00:58:56 -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
|
e135063325
|
speed up unification
|
2019-04-27 23:39:19 -06:00 |
|
Mark Thom
|
531d8b3352
|
re: issue #120
|
2019-04-27 00:40:00 -06:00 |
|
Mark Thom
|
b07a19fc47
|
address issues #114, #115
|
2019-04-25 09:10:52 -06:00 |
|
Mark Thom
|
a5dc7f2387
|
various fixes
|
2019-04-22 21:28:33 -06:00 |
|
Mark Thom
|
535465fcd4
|
use binary_pow for (^)/2
|
2019-04-22 19:49:04 -06:00 |
|
Mark Thom
|
f9448e894e
|
use binary_pow for (^)/2
|
2019-04-22 19:48:09 -06:00 |
|
Mark Thom
|
e089c8bdd2
|
fix conformity testing #274
|
2019-04-18 20:32:50 -06:00 |
|
Mark Thom
|
d3eec10fc5
|
fix conformity tests #279 and #296
|
2019-04-14 09:45:04 -06:00 |
|
Mark Thom
|
ae90554378
|
read from streams.
|
2019-04-13 18:40:17 -06:00 |
|
Mark Thom
|
16eadc7412
|
correct for issues #88, #89, #90, conformity test #208.
|
2019-04-06 09:46:42 -06:00 |
|
Mark Thom
|
e3e6f926c7
|
add atom_length/2, atom_chars/2, atom_codes/2
|
2019-04-05 23:00:53 -06:00 |
|
Mark Thom
|
3912a4772d
|
fix conformity errors
|
2019-04-04 22:51:00 -06:00 |
|
Mark Thom
|
e3e0473b69
|
fix term_variables, add (^)/2 as an actual evaluable functor
|
2019-04-01 09:04:50 -06:00 |
|
Mark Thom
|
2240418a25
|
re: #75, #52
|
2019-03-31 22:30:42 -06:00 |
|
Mark Thom
|
df5e538dc6
|
add structural tests for strings as char code lists
|
2019-03-31 20:11:20 -06:00 |
|
Mark Thom
|
a15ebd20c1
|
add support for char codes
|
2019-03-31 19:48:40 -06:00 |
|
Mark Thom
|
701cbc7a19
|
do a better job recognizing and bracketing operators
|
2019-03-31 11:35:19 -06:00 |
|
Mark Thom
|
a2f531eeb7
|
correct comma printing
|
2019-03-31 02:13:58 -06:00 |
|
Mark Thom
|
352ebd1706
|
re: #73
|
2019-03-30 12:38:26 -06:00 |
|
Mark Thom
|
381ad12104
|
add db refs
|
2019-03-27 23:00:59 -06:00 |
|
Mark Thom
|
da0e1b9436
|
add assoc.pl, add max evaluable functor
|
2019-03-08 22:31:12 -07:00 |
|
Mark Thom
|
3d8c0a43a6
|
refactor to actual modules
|
2019-03-03 23:29:02 -07:00 |
|
Mark Thom
|
77652d4458
|
correct inlining calling in last call context
|
2019-03-02 22:57:07 -07:00 |
|
Mark Thom
|
e4cb904470
|
correct inlined calling bug in last call, add dynamic database manipulation predicates
|
2019-03-02 16:57:45 -07:00 |
|
Mark Thom
|
818a971833
|
start enabling the dynamic database
|
2019-02-28 21:49:07 -07:00 |
|
Mark Thom
|
f41b5f465e
|
add findall/3
|
2019-02-22 00:56:04 -07:00 |
|
Mark Thom
|
bf62fd7f78
|
refactor parts of machine_state_impl.rs that consume copier.rs
|
2019-02-19 22:01:50 -07:00 |
|
Mark Thom
|
b710112df2
|
refactor copier.rs
|
2019-02-19 22:00:13 -07:00 |
|