stablekanren: Integrating Stable Model Semantics with miniKanren
summary
StableKanren implements stable model semantics inside miniKanren (Scheme) by compiling normal logic programs into complemented goals and weaving runtime information into a dynamic search stream via macros and continuations. Resolution and unification gain extra roles: distribution of negation, loop detection with a negation counter and co‑inductive resolution, and per‑variable domain enumeration. A prototype solves n‑queens up to 3,000–10,000× faster than sasp in one benchmark; work continues on grounding, constraints and CDNL integration.
AI-written summary · about