alice.tuprolog

Class InvalidTheoryException