Sorted A-Prolog with Consistency Restoring rules.
Primary LanguageJavaOtherNOASSERTION
Sorted answer set programming language with consistency restoring rules.