Sorted A-Prolog with Consistency Restoring rules.
Primary LanguageJavaOtherNOASSERTION
No issues in this repository yet.