Stable Model Semantics Extension of miniKanren
summary
Extends miniKanren with a top‑down solver for stable model (answer set) semantics implemented in Scheme macros and modified continuations, adding a negation counter and continuation stack frames, four extra resolution rules and one extra unification rule so negated goals yield truth choices without binding variables. It distributes negation via de Morgan transforms, computes domains and does for‑all iteration to detect positive/negative loops, runs a two‑player game example successfully, and avoids full grounding (proofs and variable‑safety checks remain future work).
AI-written summary · about