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 |
|
Mark Thom
|
9b71866b54
|
properly copy attributed variables (#247)"
|
2019-12-01 14:42:59 -07:00 |
|
Mark Thom
|
e48f87fcf0
|
clear ball before setting it (#246)
|
2019-12-01 03:04:01 -07:00 |
|
Mark Thom
|
77e83a390c
|
add sumlist/2 to lists.pl
|
2019-11-30 14:26:15 -07:00 |
|
Mark Thom
|
27b659c401
|
add sumlist/2 to lists.pl
|
2019-11-30 14:22:59 -07:00 |
|
Mark Thom
|
a4cacaeab2
|
compress the definition of freeze:attribute_goals//1
|
2019-11-30 14:12:33 -07:00 |
|
Mark Thom
|
0eb20a5d8e
|
pop AND frames when safe to do so, suspend resizing of AND frames until a proper GC is implemented (#244)
|
2019-11-30 14:08:02 -07:00 |
|
Mark Thom
|
3e49db1a29
|
backtrack attributed variable bindings after failure (#242)
|
2019-11-29 13:47:22 -04:00 |
|
Mark Thom
|
2d719ab6b7
|
create a list of module-prefixed goals in copy_term/3
|
2019-11-29 10:59:20 -04:00 |
|
Mark Thom
|
34745f6242
|
clone attribute goals from copy_term/3, fetch attribute goals should be a move
|
2019-11-29 00:59:31 -07:00 |
|
Mark Thom
|
9c9c484ee4
|
add copy_term/3 (#232)
|
2019-11-29 00:44:23 -07:00 |
|
Mark Thom
|
335202b9d9
|
reset attributed variable state between toplevel queries (#242)
|
2019-11-28 19:08:08 -07:00 |
|
Mark Thom
|
f998d6a99f
|
merge latest commit
|
2019-11-28 21:22:59 -04:00 |
|
Mark Thom
|
5723edd765
|
unsafe stack transition
|
2019-11-28 21:22:03 -04:00 |
|
Mark Thom
|
7eb0de7f52
|
preserve heap contents in between goal expansions (#240, #241)
|
2019-11-28 00:45:13 -07:00 |
|
Mark Thom
|
9ae901bd0d
|
terms containing attributed variables are not ground (#239)
|
2019-11-27 14:13:18 -04:00 |
|
Mark Thom
|
1dec482e22
|
use in situ code directory from metacall if conventional lookup fails (#238)
|
2019-11-27 00:52:30 -07:00 |
|
Mark Thom
|
0a665b79f2
|
add (:)/{3..12} to enable metacalls on module-prefixed predicates
|
2019-11-26 20:51:59 -07:00 |
|
Mark Thom
|
c3c53017f9
|
add ambiguity check for period printing, remove extraneous space between last goal and period (#237)
|
2019-11-26 19:38:43 -07:00 |
|
Mark Thom
|
834c57466f
|
add operator exports to module declarations, treat them separately from predicate exports (#230)"
|
2019-11-25 23:09:49 -07:00 |
|
Mark Thom
|
4e887e3a87
|
generate module-level expansion code along with rest of module code
|
2019-11-24 15:47:34 -07:00 |
|