Skip to content

s(CASP)

Constraint answer-set programming system

This SWI-Prolog port of s(CASP) provides goal-directed execution of answer-set programs with constraints. It supports exploring logical models and explanations through Prolog-based tooling. The repository documents its implementations and migration options. Start with a small supplied example and inspect the answers and explanations before modeling a larger ruleset.

Languages: Prolog