Uses of Class
alice.tuprolog.InvalidTheoryException

Packages that use InvalidTheoryException

alice.tuprolog

Uses of InvalidTheoryException in alice.tuprolog

Methods in alice.tuprolog that throw InvalidTheoryException

void	Theory.append(Theory th) Adds (appends) a theory to this.
void	Prolog.setTheory(Theory th) Sets a new theory
void	Prolog.addTheory(Theory th) Adds (appends) a theory

Constructors in alice.tuprolog that throw InvalidTheoryException

Theory(java.io.InputStream is)
Creates a theory getting its source text from an input stream

Theory(java.lang.String theory)
Creates a theory from its source text

Theory(Struct clauseList)
Creates a theory from a clause list