sparc
sparc copied to clipboard
Sorted A-Prolog with Consistency Restoring rules.
SPARC
Sorted answer set programming language with consistency restoring rules.