/sparc

Sorted A-Prolog with Consistency Restoring rules.

Primary LanguageJavaOtherNOASSERTION

Stargazers