notoria
|
ad28d0025a
|
No trimming of the buffer
|
2020-04-25 18:20:20 +02:00 |
|
notoria
|
d6772c5ca5
|
Implemented phrase_from_file/2 and /2
|
2020-04-25 18:04:13 +02:00 |
|
notoria
|
4b50608642
|
Implementation of the predicate char_type for a subset
|
2020-04-23 16:09:06 +02:00 |
|
notoria
|
e3a7f9eb7a
|
Draft of an implementation of char_type
|
2020-04-22 12:57:18 +02:00 |
|
Mark Thom
|
ee425bb7f0
|
change CPU_now to CpuNow
|
2020-04-20 10:37:00 -06:00 |
|
notoria
|
5a063c541d
|
Added the sleep predicate
|
2020-04-19 21:35:49 +02:00 |
|
Markus Triska
|
4693c23a49
|
ADDED: library(time), providing time/1 for benchmarking
sleep/1 and predicates for reasoning about time stamps should also
be added to this library.
|
2020-04-19 19:18:47 +02:00 |
|
Mark Thom
|
9daf290432
|
remove SCCCutPolicy panic, revise (;)/2 so that comma'ed cuts are handled properly (#361)
|
2020-04-18 20:10:53 -06:00 |
|
notoria
|
3f578e24b5
|
Removed $raw_input_read_char
|
2020-04-18 14:16:46 -06:00 |
|
notoria
|
fb5ee5e190
|
get_single_char reads Tab as \t
|
2020-04-18 14:16:46 -06:00 |
|
notoria
|
63e8378310
|
get_single_char reads Enter as \n
|
2020-04-18 14:16:46 -06:00 |
|
notoria
|
d3a1f11dfe
|
Added predicate for reading a single character
|
2020-04-18 14:16:46 -06:00 |
|
Mark Thom
|
d3a9392421
|
provide read_term_from_chars/2 (#334)
|
2020-04-12 17:26:11 -06:00 |
|
Mark Thom
|
0380d70a46
|
add write_term_to_chars/3 to iso_ext.pl (#288)
|
2020-04-12 14:29:28 -06:00 |
|
Mark Thom
|
97d8d07947
|
recognize empty lists as partial strings (#328)
|
2020-04-11 23:08:15 -06:00 |
|
Mark Thom
|
4f0adad78e
|
remove string/1, use a more general test for the partial_string/1 type test (#328)
|
2020-04-11 22:47:52 -06:00 |
|
Mark Thom
|
d76ae413c4
|
use fixnums in place of bignums where possible
|
2020-04-05 20:32:16 -06:00 |
|
Mark Thom
|
141f3bcec3
|
harmonize partial strings with complete strings (#276), make Addr a copyable type
|
2020-04-03 10:22:46 -06:00 |
|
Mark Thom
|
194e5dc94e
|
initial commit for merge
|
2020-03-26 22:01:23 -06:00 |
|
Mark Thom
|
b1d8eff019
|
remove Addr::PStrTail (#276)
|
2020-03-17 02:03:29 -06:00 |
|
Mark Thom
|
f9c4a40d60
|
add set_input/1, set_output/1
|
2020-03-15 23:29:21 -06:00 |
|
Markus Triska
|
17a448e045
|
support 'h' to print help message during toplevel interaction
|
2020-03-15 13:42:51 +01:00 |
|
Markus Triska
|
7ff11dce35
|
support 'p' to reprint answer with max depth, allowing w -> p -> w ...
|
2020-03-15 13:26:49 +01:00 |
|
Mark Thom
|
bef96e231d
|
use max_depth at toplevel, allowing full printing of terms with the 'w' keypress (#287), put disjunctions on new lines (#278)
|
2020-03-15 00:35:59 -06:00 |
|
Mark Thom
|
325df8a6e3
|
add provisional max_depth option to write_term, speed printing of non-cyclic terms
|
2020-03-15 00:09:20 -06:00 |
|
Mark Thom
|
31258247b3
|
Give new answer variables readable names (#279)
|
2020-03-14 03:04:11 -06:00 |
|
Mark Thom
|
6c9e704aa8
|
sort variables in findall_with_existential before computing set difference (#282), trawl back changes of (#279)
|
2020-03-13 13:18:47 -06:00 |
|
Mark Thom
|
698b01f85a
|
give new answer variables readable names (#279)
|
2020-03-13 02:40:06 -06:00 |
|
Mark Thom
|
4c88e97330
|
add current_output, printing of stream terms
|
2020-03-11 00:38:01 -06:00 |
|
Mark Thom
|
25babff827
|
add streams.rs, consume them in place of the old PrologStream
|
2020-03-09 11:56:16 -06:00 |
|
Mark Thom
|
22bb3fe876
|
replace termion with crossterm
|
2020-03-08 18:01:54 -06:00 |
|
Mark Thom
|
eee10d3ee7
|
fix broken conformity tests, quote left paren
|
2020-03-08 16:49:47 -06:00 |
|
Mark Thom
|
2d3ce32314
|
switch to representation error for partial strings (#267)
|
2020-03-01 23:21:35 -07:00 |
|
Mark Thom
|
be3cdcd71a
|
fix #255 (I think?)
|
2020-02-21 01:02:52 -07:00 |
|
Mark Thom
|
eb1980d286
|
Merge branch 'master' of https://github.com/mthom/rusty-wam
|
2020-02-19 21:44:18 -07:00 |
|
Mark Thom
|
0457b38e41
|
add redone partial strings (#24, #95)
|
2020-02-19 21:34:09 -07:00 |
|
Mark Thom
|
8902bcb5ab
|
use raw_block.rs for the heap backend
|
2020-02-16 16:30:36 -07:00 |
|
Mark Thom
|
969bd8f82c
|
remove partial strings, but represent strings as lists when warranted by double_quotes
|
2020-02-12 22:12:42 -07:00 |
|
Adrián Arroyo Calle
|
a732bc9dc4
|
add n as an option to get the next solution
|
2020-02-10 17:51:26 +01:00 |
|
Mark Thom
|
740bd528c4
|
add multifile and module scoped predicates
|
2020-02-02 22:13:14 -07:00 |
|
Mark Thom
|
6be2d8ccf2
|
correct bug in bb_b_put, correct stack truncation bug resulting in erroneous failures (affecting issue #255 and the in-progress tabling library)
|
2020-01-19 20:56:11 -07:00 |
|
Mark Thom
|
85e37a9977
|
implement less defaulty interface in cont.pl
|
2019-12-23 12:19:18 -07:00 |
|
Mark Thom
|
3bf1cbbe6c
|
push of preliminary delimited continuations library cont.pl (#136)
|
2019-12-20 22:27:49 -07:00 |
|
Mark Thom
|
4ef8ab6e76
|
merge with master
|
2019-12-19 20:04:30 -04:00 |
|
Mark Thom
|
837ae4cb17
|
preliminary cont work
|
2019-12-19 20:02:10 -04:00 |
|
Mark Thom
|
02d8b1441d
|
expand goals inside (\+)/1
|
2019-12-11 21:42:15 -07:00 |
|
Mark Thom
|
196784bd09
|
change goal and term expansions, change call/N to use goal expansions
|
2019-12-10 21:36:02 -07:00 |
|
Mark Thom
|
d6e75110a5
|
reconcile latest changes against stack changes
|
2019-12-07 18:59:03 -07:00 |
|
Mark Thom
|
5ccd334555
|
resolve panic caused by lingering attribute goals (#253)
|
2019-12-06 15:22:28 -04:00 |
|
Mark Thom
|
018b076835
|
binding attributed variables more eagerly after each implementation of verify_attributes/3 has been called (#248)
|
2019-12-05 00:33:46 -07:00 |
|