Mark Thom
|
5f51e264f2
|
change raw_vec to raw_block to avoid clashes with liballoc package
|
2020-02-13 20:05:46 -07:00 |
|
Mark Thom
|
1c4e2c0ed6
|
allow the frontier of the RawVec to be offset by a trait function
|
2020-02-12 23:52:30 -07:00 |
|
Mark Thom
|
5a6333129b
|
move bump allocation logic to its own module
|
2020-02-12 23:34:05 -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
|
1b5cf493d6
|
correct improper use of multifile directive in tabling/wrapper.pl
|
2020-02-06 10:12:57 -07:00 |
|
Mark Thom
|
0be8abd38c
|
print extended characters recently added to alpha char set
|
2020-02-04 23:39:49 -07:00 |
|
Mark Thom
|
b71e8082d2
|
prolog_parser version bump
|
2020-02-04 23:35:03 -07:00 |
|
Mark Thom
|
034af296ff
|
recommit Cargo.lock
|
2020-02-04 17:49:20 -07:00 |
|
Mark Thom
|
554b08a7d2
|
version bump, README.md tweak
|
2020-02-04 17:47:57 -07:00 |
|
Mark Thom
|
00b38549f5
|
enable cross-query memoization in the tabling library
|
2020-02-02 22:52:17 -07:00 |
|
Mark Thom
|
62b41ddb93
|
remove tabling/SLG resolution from nice-to-have list
|
2020-02-02 22:34:54 -07:00 |
|
Mark Thom
|
d83c5cf5f1
|
add tabling library, update README, make Cargo.toml non-local
|
2020-02-02 22:24:48 -07:00 |
|
Mark Thom
|
740bd528c4
|
add multifile and module scoped predicates
|
2020-02-02 22:13:14 -07:00 |
|
Mark Thom
|
668c9489c9
|
update README
|
2020-01-26 20:19:44 -07:00 |
|
Mark Thom
|
dcf2eadcf2
|
add preliminary multifile declaration support
|
2020-01-26 20:17:52 -07:00 |
|
Mark Thom
|
9c1064c1a3
|
use atom_concat in gensym.pl
|
2020-01-22 22:08:42 -07:00 |
|
Mark Thom
|
40bf5bc75f
|
don't hold on to popped or frames
|
2020-01-20 20:59:30 -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
|
9958ad6f34
|
add prefixes to gensym keys
|
2020-01-13 21:01:09 -07:00 |
|
Mark Thom
|
728be8c259
|
add simple gensym library
|
2020-01-13 20:30:58 -07:00 |
|
Mark Thom
|
9a80d398e8
|
add listing sources to modules
|
2020-01-13 20:17:22 -07:00 |
|
Mark Thom
|
242c47bb92
|
Merge branch 'master' of https://github.com/mthom/rusty-wam
|
2020-01-03 00:47:56 -07:00 |
|
Mark Thom
|
85e37a9977
|
implement less defaulty interface in cont.pl
|
2019-12-23 12:19:18 -07:00 |
|
Mark Thom
|
dded56af78
|
remove l* languages
|
2019-12-23 11:49:20 -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
|
a4e352ba0d
|
use Addr::StackCell(0,0) to indicate non-live local variables
|
2019-12-12 20:34:50 -07: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
|
b0fa45cd33
|
correct odd accidental change to clpb.pl
|
2019-12-08 11:44:01 -07:00 |
|
Mark Thom
|
923c9d4ad8
|
remove zeroing out from Stack::truncate
|
2019-12-08 11:43:22 -07:00 |
|
Mark Thom
|
2be7070e1a
|
revert arithmetic code
|
2019-12-08 00:17:55 -07:00 |
|
Mark Thom
|
f16c2a6e99
|
update tests
|
2019-12-07 19:21:09 -07:00 |
|
Mark Thom
|
d6e75110a5
|
reconcile latest changes against stack changes
|
2019-12-07 18:59:03 -07:00 |
|
Mark Thom
|
3d2c4f0801
|
add backtracking of attributed variable data
|
2019-12-06 20:52:40 -04:00 |
|
Mark Thom
|
5ccd334555
|
resolve panic caused by lingering attribute goals (#253)
|
2019-12-06 15:22:28 -04:00 |
|
Mark Thom
|
90e1c990e5
|
print equations between variables (#228, #252)
|
2019-12-06 10:30:16 -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 |
|
Mark Thom
|
9ae029b04d
|
pop AND stack frames after unwinding the trail (#250)
|
2019-12-03 23:11:57 -07:00 |
|
Mark Thom
|
43b39538ff
|
correct attributed variables bugs
|
2019-12-03 22:59:51 -07:00 |
|
Mark Thom
|
738ea59e23
|
fix copy_term/3 infinite looping on cyclic terms
|
2019-12-03 22:01:38 -07:00 |
|
Mark Thom
|
33c60d3434
|
Merge branch 'master' of https://github.com/mthom/rusty-wam
|
2019-12-02 19:38:15 -07:00 |
|
Mark Thom
|
607673ddcb
|
Merge branch 'master' of https://github.com/mthom/scryer-prolog
|
2019-12-02 17:06:28 -04:00 |
|
Mark Thom
|
fc8e55c582
|
correct copying of cyclic lists in copier.rs
|
2019-12-02 17:06:12 -04:00 |
|
Mark Thom
|
943e5eeb35
|
correct misprinting of attributed variables done by printer
|
2019-12-01 21:46:04 -07:00 |
|
Mark Thom
|
52488b875a
|
add predicates to lists.pl
|
2019-12-01 19:30:40 -07:00 |
|
Mark Thom
|
c362cc6d34
|
fix list copying
|
2019-12-01 15:28:47 -07:00 |
|
Mark Thom
|
406d3520f1
|
delete freeze attribute in freeze::attribute_goals//1
|
2019-12-01 14:43:27 -07:00 |
|