Uses of Class
jTrolog.engine.Prolog

Packages that use Prolog

Package	Description
io.github.prolobjectlink.prolog.jtrolog
jTrolog.engine
jTrolog.lib
jTrolog.parser

Uses of Prolog in io.github.prolobjectlink.prolog.jtrolog

Constructors in io.github.prolobjectlink.prolog.jtrolog with parameters of type Prolog

Constructor and Description
JTrologEngine(io.github.prolobjectlink.prolog.PrologProvider provider, Prolog engine)

Uses of Prolog in jTrolog.engine

Fields in jTrolog.engine declared as Prolog

Modifier and Type	Field and Description
static Prolog	Prolog.defaultMachine

Methods in jTrolog.engine with parameters of type Prolog

Modifier and Type	Method and Description
Number	BindingsTable.evalExpression(Prolog prolog, EvaluableTerm expression)

Uses of Prolog in jTrolog.lib

Fields in jTrolog.lib declared as Prolog

Modifier and Type	Field and Description
protected Prolog	Library.engine prolog core which loaded the library

Methods in jTrolog.lib with parameters of type Prolog

Modifier and Type	Method and Description
void	Library.setEngine(Prolog en)

Constructors in jTrolog.lib with parameters of type Prolog

Constructor and Description
BuiltIn(Prolog mediator)

Uses of Prolog in jTrolog.parser

Constructors in jTrolog.parser with parameters of type Prolog

Constructor and Description
Parser(InputStream theoryText, Prolog p) creating a Parser specifing how to handle operators and what text to parse
Parser(String theoryText, Prolog engine) creating a Parser specifing how to handle operators and what text to parse