Uses of Class
alice.tuprolog.InvalidTheoryException

Packages that use InvalidTheoryException

Package	Description
alice.tuprolog
alice.tuprologx.runtime.rmi

Uses of InvalidTheoryException in alice.tuprolog

Methods in alice.tuprolog that throw InvalidTheoryException

Modifier and Type	Method and Description
void	Prolog.addTheory(Theory th) Adds (appends) a theory
void	Theory.append(Theory th) Adds (appends) a theory to this.
void	BuiltIn.consult_1(Term theory)
void	TheoryManager.consult(Theory theory, boolean dynamicTheory, String libName) Consults a theory.
void	Prolog.setTheory(Theory th) Sets a new theory

Constructors in alice.tuprolog that throw InvalidTheoryException

Constructor and Description
Theory(String theory) Creates a theory from its source text
Theory(Struct clauseList) Creates a theory from a clause list

Uses of InvalidTheoryException in alice.tuprologx.runtime.rmi

Methods in alice.tuprologx.runtime.rmi that throw InvalidTheoryException

Modifier and Type	Method and Description
void	PrologImpl.addTheory(Theory theory)
void	Prolog.addTheory(Theory theory)
void	PrologImpl.setTheory(Theory theory)
void	Prolog.setTheory(Theory theory)