Mark Thom
|
f55968b1b8
|
properly demarcate ops in dbrefs
|
2019-03-30 13:38:03 -06:00 |
|
Mark Thom
|
352ebd1706
|
re: #73
|
2019-03-30 12:38:26 -06:00 |
|
Mark Thom
|
8945bae70b
|
use can_be(list, _) in all solutions predicates
|
2019-03-30 10:44:49 -06:00 |
|
Mark Thom
|
5a30c7b9be
|
Merge branch 'master' of https://github.com/mthom/rusty-wam
Merge with downcast update.
|
2019-03-29 22:50:43 -06:00 |
|
Mark Thom
|
b45c591c89
|
update writer
|
2019-03-29 22:49:33 -06:00 |
|
Anton Kochkov
|
5b36230df7
|
Update downcast dependency
It wasn't able to compile with latest Rust 1.33
|
2019-03-29 16:37:56 +08:00 |
|
Mark Thom
|
3aeebbe6d6
|
pass more conformity tests
|
2019-03-29 00:14:03 -06:00 |
|
Mark Thom
|
32c8a5e55f
|
index inlined and builtin clausetypes inside a BTreeMap
|
2019-03-26 21:59:50 -06:00 |
|
Mark Thom
|
44f762a4f0
|
update readline.rs crate
|
2019-03-24 17:17:54 -06:00 |
|
Mark Thom
|
0a78ddcd0b
|
update version number
|
2019-03-24 15:26:51 -06:00 |
|
Mark Thom
|
3ad1b86286
|
use updated readline
|
2019-03-24 13:18:28 -06:00 |
|
Mark Thom
|
155c54c99d
|
fix toplevel heap view
|
2019-03-24 10:10:43 -06:00 |
|
Mark Thom
|
ca5138ccea
|
fix toplevel heap view
|
2019-03-24 09:55:20 -06:00 |
|
Mark Thom
|
12fac66431
|
do a better job of printing integral floats.
|
2019-03-24 09:30:20 -06:00 |
|
Mark Thom
|
0351936a58
|
update version number
|
2019-03-23 09:43:26 -06:00 |
|
Mark Thom
|
380375228b
|
allow toplevel answers to be passed back as queries
|
2019-03-22 10:00:07 -06:00 |
|
Mark Thom
|
33b581effc
|
enable an option to disable readline
|
2019-03-21 19:46:42 -06:00 |
|
Mark Thom
|
cd683c7f3d
|
update readline instructions in README, dependence on readline_rs_compat with new library search paths
|
2019-03-17 19:22:36 -06:00 |
|
Mark Thom
|
9471a07ffa
|
use readline with better build support
|
2019-03-17 18:42:26 -06:00 |
|
Mark Thom
|
179bede1db
|
update version and README
|
2019-03-17 18:11:08 -06:00 |
|
Mark Thom
|
fd703c3610
|
make toplevel more consistent with answers, depend on readline package without renaming.
|
2019-03-17 17:49:51 -06:00 |
|
Mark Thom
|
4cefd35eb4
|
add rename-dependencies to Cargo manifest
|
2019-03-17 15:25:55 -06:00 |
|
Mark Thom
|
840b98dcf3
|
update readline.rs version
|
2019-03-17 15:22:31 -06:00 |
|
Mark Thom
|
2927387a66
|
use the updated readline.rs
|
2019-03-17 15:01:10 -06:00 |
|
Mark Thom
|
a85fd5efa5
|
use concrete version number for readline-rs
|
2019-03-17 14:51:55 -06:00 |
|
Mark Thom
|
4a7cd50e4b
|
use new readline crate
|
2019-03-17 14:50:57 -06:00 |
|
Mark Thom
|
2fad1c724c
|
use the readline library at toplevel
|
2019-03-16 19:12:06 -06:00 |
|
Mark Thom
|
0eb2fb3d90
|
add non-backtrackable and backtrackable global variables
|
2019-03-13 00:16:57 -06:00 |
|
Mark Thom
|
f0f8bfb569
|
update build instructions, change to the scryer-prolog crate
|
2019-03-13 00:00:24 -06: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
|
b6922e2a0d
|
fix Cargo.toml
|
2019-01-30 21:52:01 -07:00 |
|
Mark Thom
|
fcffb90549
|
add atts.pl, various fixes
|
2019-01-30 21:31:48 -07:00 |
|
Mark Thom
|
c32090325a
|
update version number
|
2019-01-22 22:57:47 -07:00 |
|
Mark Thom
|
34414b6895
|
fix printer
|
2019-01-22 22:57:23 -07:00 |
|
Mark Thom
|
e92996126b
|
prepare for improved (?) ambiguity checks
|
2019-01-22 20:50:07 -07:00 |
|
Mark Thom
|
498fe5247d
|
prepare to add bracketing conditions to heap_print
|
2019-01-20 23:56:15 -07:00 |
|
Mark Thom
|
0dabb3f370
|
add op info to structures and atoms
|
2019-01-19 22:27:40 -07:00 |
|
Mark Thom
|
56ec550031
|
fix unification on string lists.
|
2018-12-23 12:14:03 -07:00 |
|
Mark Thom
|
c718e17346
|
update version number
|
2018-11-15 23:24:54 -07:00 |
|
Mark Thom
|
a4e882756e
|
fix tests
|
2018-10-24 23:16:49 -06:00 |
|
Mark Thom
|
4c76920489
|
fix conformity errors
|
2018-10-17 22:10:00 -06:00 |
|
Mark Thom
|
8e4bb039f0
|
divide atom tables by module
|
2018-10-03 22:56:12 -06:00 |
|
Mark Thom
|
58ed374363
|
enable backtracking on partial strings
|
2018-09-24 22:24:23 -06:00 |
|
Mark Thom
|
66584cee5e
|
add term_expansion basics
|
2018-09-22 17:05:19 -06:00 |
|
Mark Thom
|
4d57989c2b
|
term_expansion beginnings
|
2018-09-22 16:25:32 -06:00 |
|
Mark Thom
|
8eb327c735
|
correct conformity error
|
2018-09-16 14:21:50 -06:00 |
|
Mark Thom
|
f226cb3dbd
|
correct conformity errors
|
2018-09-16 14:11:21 -06:00 |
|
Mark Thom
|
38bb7c7dec
|
correct handling of .
|
2018-09-14 00:46:02 -06:00 |
|
Mark Thom
|
1e2047e72c
|
streamline inputs.
|
2018-09-13 19:44:50 -06:00 |
|
Mark Thom
|
ccbc0566ba
|
provisional changes #2
|
2018-09-12 23:31:29 -06:00 |
|