Uses of Class
alice.tuprolog.InvalidTheoryException