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

datalog: dl-clear-idb! helper (208/208)
Some checks failed
Test, Build, and Deploy / test-build-deploy (push) Failing after 25s
Details

Browse Source 
Wipes every rule-headed relation (the IDB) — leaves EDB facts and
rule definitions intact. Useful for inspecting the EDB-only
baseline or for forcing a clean re-saturation.

  (dl-saturate! db)
  (dl-clear-idb! db)        ; ancestor relation now empty
  (dl-saturate! db)         ; re-derives ancestor from parents

2 new api tests verify IDB-wipe and EDB-preservation.
This commit is contained in:
giles
2026-05-08 10:06:48 +00:00
parent 282a3d3d06
commit 9c5a697e45
4 changed files with 50 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
lib/datalog/scoreboard.md
View File

@@ -1,6 +1,6 @@
# datalog scoreboard
**206 / 206 passing** (0 failure(s)).
**208 / 208 passing** (0 failure(s)).
| Suite | Passed | Total | Status |
|-------|--------|-------|--------|
@@ -12,6 +12,6 @@
| semi_naive | 8 | 8 | ok |
| negation | 10 | 10 | ok |
| aggregates | 18 | 18 | ok |
| api | 15 | 15 | ok |
| api | 17 | 17 | ok |
| magic | 21 | 21 | ok |
| demo | 18 | 18 | ok |