Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo
summary
Claims a practical pipeline that encodes main program plus any number of oracle modules under stable‑unstable semantics into a single disjunctive program, hiding the saturation machinery from the programmer. Implementation chains ASPTOOLS translators and linkers, uses Gringo for grounding and Clingo (gringo+clasp) as backend, and converts oracles via a SAT+saturation translation. A prototype is built and tested on the point of no return benchmark, showing challenging scaling for clasp; binaries and source are available.
AI-written summary · about