Uses of Class
jTrolog.errors.PrologException

Packages that use PrologException

Package	Description
jTrolog.engine
jTrolog.errors
jTrolog.lib

Uses of PrologException in jTrolog.engine

Methods in jTrolog.engine that throw PrologException

Modifier and Type	Method and Description
void	Prolog.abolish(String predicateIndicator)
void	Prolog.addTheory(String theory)
void	Prolog.assertA(Clause toBeAsserted)
void	Prolog.assertZ(Clause toBeAsserted) The Rule and Fact Database System The Library System
Number	BindingsTable.evalExpression(Prolog prolog, EvaluableTerm expression)
List	Prolog.find(String predIndicator)
Struct	Prolog.retract(Struct sarg0)
void	Prolog.setDynamicPredicateIndicator(String predicateIndicator)
void	Prolog.setTheory(String newTheory) Deprecated. use clearTheory() + addTheory(newTheory) instead
Iterator	BindingsTable.structListIterator(Struct origin, boolean skipLastEmptyList)

Uses of PrologException in jTrolog.errors

Subclasses of PrologException in jTrolog.errors

Modifier and Type	Class and Description
class	InvalidLibraryException This exception means that a not valid tuProlog library has been specified.
class	NoMorePrologSolutions This exception means that other solutions are asked but actually no other ones exist.

Constructors in jTrolog.errors with parameters of type PrologException

Constructor and Description
InvalidLibraryException(String libName, PrologException e)

Uses of PrologException in jTrolog.lib

Methods in jTrolog.lib that throw PrologException

Modifier and Type	Method and Description
boolean	BasicLibrary.$all_dynamic_predicate_indicators_1(BindingsTable bt, Term iterator)
boolean	BasicLibrary.$arg_3(BindingsTable bt, Int n, Struct term, Term arg)
boolean	BuiltIn.$find_2(BindingsTable bt, Struct arg0, Term arg1)
boolean	BasicLibrary.$functor_3(BindingsTable bt, Term term, Term name, Term arity)
boolean	BuiltIn.$instantiation_error_0(BindingsTable bt)
boolean	BasicLibrary.$list_diff_3(BindingsTable bt, Struct main, Struct retract, Var diff)
boolean	BuiltIn.$representation_error_1(BindingsTable bt, Term maxArity)
boolean	BuiltIn.$retract_1(BindingsTable bt, Struct arg0)
boolean	BasicLibrary.$stripBagList_5(BindingsTable bt, Struct witnessIn, Struct a_and_bSet, Term aSet, Term bSet, Term variant)
boolean	BasicLibrary.$tofromlist_2(BindingsTable bt, Term structIn, Term listIn)
boolean	BuiltIn.$type_error_2(BindingsTable bt, Term typeName, Term term)
boolean	BuiltIn.abolish_1(BindingsTable bt, Struct predicateIndicator) see 8.9.4 p.81 in ISO standard
boolean	BasicLibrary.add_theory_1(BindingsTable bt, Term th) adds a new theory provided as a text
boolean	BuiltIn.asserta_1(BindingsTable bt, Term arg0)
boolean	BuiltIn.assertz_1(BindingsTable bt, Term arg0)
boolean	ISOLibrary.atom_chars_2(BindingsTable bt, Term arg0, Term arg1)
void	BuiltIn.consult_1(BindingsTable bt, Term theory)
static Clause	BuiltIn.convertTermToClause(Term arg0) see ISO 7.6.1 and 7.6.2
static Struct	BuiltIn.convertTermToClauseBody(Term body)
static Struct[]	BuiltIn.convertTermToClauseBody2(Term body)
boolean	BuiltIn.dynamic_1(BindingsTable bt, Struct predicateIndicator) Registers the existence predicate indicator in the dynamic data base.
static boolean	BuiltIn.halt_0(BindingsTable bt)
boolean	BuiltIn.halt_1(BindingsTable bt, Number arg0)
static String	BuiltIn.isPredicateIndicator(Struct predicateIndicator, BindingsTable bt)
static boolean	BasicLibrary.list_1(BindingsTable bt, Term t)
boolean	BuiltIn.newlist_2(BindingsTable bt, Int length, Var out)