sparc icon indicating copy to clipboard operation
sparc copied to clipboard

Sorted A-Prolog with Consistency Restoring rules.

SPARC

Sorted answer set programming language with consistency restoring rules.