iensen/sparc

Sorted A-Prolog with Consistency Restoring rules.

JavaNOASSERTION