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
|
5ec4dfedb0
|
target out_dir in build script
|
2019-09-27 00:05:19 -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 |
|
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
|
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 |
|
Anton Kochkov
|
580dc761d5
|
Remove unnecessary mutability
|
2019-05-08 14:09:33 +08:00 |
|
Mark Thom
|
bf8a2ab6a6
|
add variable_names as a write option
|
2019-05-05 00:58:56 -04:00 |
|
Mark Thom
|
fb023c99c1
|
respect ambiguity with ., add ... to indicate more answers
|
2019-04-29 22:44:53 -06:00 |
|
Mark Thom
|
918da4f423
|
fix odd response, toplevel issues
|
2019-04-28 17:19:16 -06:00 |
|
Mark Thom
|
18a9a6434f
|
delay attributed variables goal, naively correct dif/2
|
2019-04-24 20:37:31 -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
|
3912a4772d
|
fix conformity errors
|
2019-04-04 22:51:00 -06:00 |
|
Mark Thom
|
535a6c17e9
|
move forall/2 to non_iso, correct test cases.
|
2019-04-03 18:12:36 -06:00 |
|
Mark Thom
|
b6a5254e35
|
re: #80, #52
|
2019-04-01 22:05:30 -06:00 |
|
Mark Thom
|
a2f531eeb7
|
correct comma printing
|
2019-03-31 02:13:58 -06:00 |
|
Mark Thom
|
7ff7edee59
|
bracket RHS when necessary in variable equations
|
2019-03-24 15:26:32 -06:00 |
|
Mark Thom
|
ca5138ccea
|
fix toplevel heap view
|
2019-03-24 09:55:20 -06:00 |
|
Mark Thom
|
11198fdb31
|
print attribute goals alongside variable bindings as a single, unified goals
|
2019-03-24 00:26:29 -06:00 |
|
Mark Thom
|
0b79ae0524
|
do not print unbound vars at toplevel
|
2019-03-23 09:43:05 -06:00 |
|
Mark Thom
|
4b2fb8b1c7
|
fail if attempting dynamic transaction in term and goal expansion
|
2019-03-19 21:03:37 -06:00 |
|
Mark Thom
|
0eb2fb3d90
|
add non-backtrackable and backtrackable global variables
|
2019-03-13 00:16:57 -06:00 |
|
Mark Thom
|
b5ad8051d8
|
use ordsets in library(dif)
|
2019-03-12 19:13:03 -06:00 |
|
Mark Thom
|
a6d3f39152
|
add ordsets library, domain.pl attributed variables example
|
2019-03-10 22:33:09 -06:00 |
|
Mark Thom
|
adf9629333
|
stop module dynamic predicate modifications from taking on the user module index.
|
2019-03-09 00:37:58 -07:00 |
|
Mark Thom
|
92c36aa0d9
|
properly update dynamically updated predicates in module indices
|
2019-03-08 23:11:06 -07:00 |
|
Mark Thom
|
da0e1b9436
|
add assoc.pl, add max evaluable functor
|
2019-03-08 22:31:12 -07:00 |
|
Mark Thom
|
089428b8c4
|
split dynamic database keys across modules
|
2019-03-08 21:22:15 -07:00 |
|
Mark Thom
|
b1e47cc465
|
further cross-module dynamic database fixes
|
2019-03-07 22:01:03 -07:00 |
|
Mark Thom
|
72f759da40
|
correct mismanagement of dynamic database across modules
|
2019-03-07 20:27:55 -07:00 |
|
Mark Thom
|
72c8807ff1
|
update toplevel exports when updated dynamically
|
2019-03-06 23:35:50 -07:00 |
|
Mark Thom
|
d4de3c2003
|
update toplevel exports when updated dynamically
|
2019-03-06 22:33:16 -07:00 |
|
Mark Thom
|
07fe30c970
|
correct abolish/1
|
2019-03-06 09:54:27 -07:00 |
|
Mark Thom
|
d49917c88f
|
give module bounds a better respect for dynamic predicates
|
2019-03-06 09:17:24 -07:00 |
|
Mark Thom
|
6439d09733
|
give dynamic predicates a better respect for module bounds
|
2019-03-06 00:09:55 -07:00 |
|
Mark Thom
|
14f05a67e3
|
separate constraint checks and code addition into separate phases in machine::compile
|
2019-03-05 00:17:56 -07:00 |
|
Mark Thom
|
3d8c0a43a6
|
refactor to actual modules
|
2019-03-03 23:29:02 -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
|
2fb5408ab5
|
add assertz/1 and asserta/1
|
2019-03-02 00:27:40 -07:00 |
|
Mark Thom
|
818a971833
|
start enabling the dynamic database
|
2019-02-28 21:49:07 -07:00 |
|