coop/rose-ash
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

GUEST-plan: phase 7 status — naive tabling done, SLG deferred
Some checks failed
Test, Build, and Deploy / test-build-deploy (push) Failing after 54s
Details

Browse Source
This commit is contained in:
giles
2026-05-08 22:29:49 +00:00
parent 80ab039ada
commit 5c51f5ef8f
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
plans/minikanren-on-sx.md
View File

@@ -180,6 +180,8 @@ Key semantic mappings:
- [ ] Tests: send-more-money, N-queens with CLP(FD), map coloring, cryptarithmetic - [ ] Tests: send-more-money, N-queens with CLP(FD), map coloring, cryptarithmetic
### Phase 7 — tabling (memoization of relations) ### Phase 7 — tabling (memoization of relations)
- [x] `table-1`, `table-2`, `table-3` wrappers: ground-arg memoization
for 1-, 2-, and 3-argument relations.
- [x] `table-2` wrapper: ground-arg memoization for 2-arg relations. - [x] `table-2` wrapper: ground-arg memoization for 2-arg relations.
Cache keyed by walked input; on miss runs underlying relation, Cache keyed by walked input; on miss runs underlying relation,
collects all output values from the answer stream, stores, and collects all output values from the answer stream, stores, and
@@ -188,6 +190,7 @@ Key semantic mappings:
- [x] Fibonacci canary green: tabled `fib(25) = 75025` in seconds; - [x] Fibonacci canary green: tabled `fib(25) = 75025` in seconds;
naive `fib(25)` times out at 60s. Memoization turns exponential naive `fib(25)` times out at 60s. Memoization turns exponential
recursion into linear. recursion into linear.
- [x] Ackermann canary green via `table-3`: `A(3, 3) = 61`.
- [ ] Producer/consumer SLG scheduling — required to handle recursive - [ ] Producer/consumer SLG scheduling — required to handle recursive
tabled calls with the SAME ground key (e.g. cyclic `patho` with a tabled calls with the SAME ground key (e.g. cyclic `patho` with a
shared key); naive memoization deferred to a future iteration. shared key); naive memoization deferred to a future iteration.