Uses of Class
alice.tuprolog.Prolog

Packages that use Prolog

Package	Description
alice.tuprolog
alice.tuprolog.clausestore
alice.tuprolog.event
alice.tuprolog.hgdb
alice.tuprologx
alice.tuprologx.ide
alice.tuprologx.runtime.tcp

Uses of Prolog in alice.tuprolog

Fields in alice.tuprolog declared as Prolog

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

Methods in alice.tuprolog that return Prolog

Modifier and Type	Method and Description
Prolog	Library.getEngine() Gets the engine to which the library is bound
Prolog	EngineManager.getMediator()

Methods in alice.tuprolog with parameters of type Prolog

Modifier and Type	Method and Description
static ClauseStore	DefaultClauseStore.build(Prolog engine, Term goal, List vars, List familyClauses) Carica una famiglia di clausole
ClauseStore	ClauseStoreFactory.buildClause(Prolog prolog, Term goal, List<?> varList)
ClauseStore	ClauseStoreManager.buildClause(Prolog prolog, Term goal, List<?> varList)
Theory	Theory.getParsed(Prolog engine) Convert the theory from textual to a parsed form.
boolean	Float.isEqual(Prolog mediator, Term t) Returns true if this Float term is equal that the term provided.
boolean	Double.isEqual(Prolog mediator, Term t) Returns true if this Double term is equal to the term provided.
abstract boolean	Term.isEqual(Prolog mediator, Term t) Tests if this term is (logically) equal to another
boolean	Long.isEqual(Prolog mediator, Term t) Returns true if this integer term is equal that the term provided.
boolean	Int.isEqual(Prolog mediator, Term t) Returns true if this integer term is equal to the term provided.
boolean	Var.isEqual(Prolog mediator, Term t)
boolean	Struct.isEqual(Prolog mediator, Term t) Test if a term is equal to other
boolean	Float.isGreater(Prolog mediator, Term t) Returns true if this Float term is grater that the term provided.
boolean	Double.isGreater(Prolog mediator, Term t) Returns true if this Double term is grater that the term provided.
abstract boolean	Term.isGreater(Prolog mediator, Term t) is term greater than term t?
boolean	Long.isGreater(Prolog mediator, Term t) Returns true if this integer term is grater that the term provided.
boolean	Int.isGreater(Prolog mediator, Term t) Returns true if this integer term is grater that the term provided.
boolean	Var.isGreater(Prolog mediator, Term t) Gets a copy of this variable
boolean	Struct.isGreater(Prolog mediator, Term t) Test if a term is greater than other
Iterator	Theory.iterator(Prolog engine)
boolean	Term.match(Prolog mediator, Term t) Tests if this term is unifiable with an other term.
boolean	Float.unify(Prolog mediator, List vl1, List vl2, Term t) Tries to unify a term with the provided term argument.
boolean	Double.unify(Prolog mediator, List vl1, List vl2, Term t) Tries to unify a term with the provided term argument.
abstract boolean	Term.unify(Prolog mediator, List varsUnifiedArg1, List varsUnifiedArg2, Term t) Tries to unify two terms, given a demonstration context identified by the mark integer.
boolean	Long.unify(Prolog mediator, List vl1, List vl2, Term t) Tries to unify a term with the provided term argument.
boolean	Int.unify(Prolog mediator, List vl1, List vl2, Term t) Tries to unify a term with the provided term argument.
boolean	Var.unify(Prolog mediator, List vl1, List vl2, Term t) var unification.
boolean	Struct.unify(Prolog mediator, List vl1, List vl2, Term t) Try to unify two terms
boolean	Term.unify(Prolog mediator, Term t1) Try to unify two terms

Constructors in alice.tuprolog with parameters of type Prolog

Constructor and Description
BuiltIn(Prolog mediator)

Uses of Prolog in alice.tuprolog.clausestore

Methods in alice.tuprolog.clausestore that return Prolog

Modifier and Type	Method and Description
Prolog	HyperGraphClauseStore.getProlog()

Methods in alice.tuprolog.clausestore with parameters of type Prolog

Modifier and Type	Method and Description
ClauseStore	JavaCollectionStoreFactory.buildClause(Prolog prolog, Term goal, List<?> varList)
ClauseStore	JavaMapStoreFactory.buildClause(Prolog prolog, Term goal, List<?> varList)
ClauseStore	HyperGraphStoreFactory.buildClause(Prolog prolog, Term goal, List<?> varList)
boolean	HGAtomTerm.isEqual(Prolog mediator, Term t)
boolean	HGAtomTerm.isGreater(Prolog mediator, Term t)
boolean	HGAtomTerm.unify(Prolog mediator, List varsUnifiedArg1, List varsUnifiedArg2, Term t)

Constructors in alice.tuprolog.clausestore with parameters of type Prolog

Constructor and Description
CollectionItemsStore(Prolog engine, Collection C, Term item, List varList, JavaLibrary lib)
HyperGraphClauseStore(Prolog engine, org.hypergraphdb.HyperGraph graph, String predicateName, int arity, org.hypergraphdb.HGSearchResult<?> rs)
MapEntriesStore(Prolog engine, Map map, Term key, Term value, List varList, JavaLibrary lib)

Uses of Prolog in alice.tuprolog.event

Constructors in alice.tuprolog.event with parameters of type Prolog

Constructor and Description
LibraryEvent(Prolog source, String libName)
PrologEvent(Prolog source)
QueryEvent(Prolog source, SolveInfo info)
TheoryEvent(Prolog source, Theory oldth, Theory newth)

Uses of Prolog in alice.tuprolog.hgdb

Methods in alice.tuprolog.hgdb with parameters of type Prolog

Modifier and Type	Method and Description
static HGPrologLibrary	HGPrologLibrary.attach(org.hypergraphdb.HyperGraph graph, Prolog prolog)

Uses of Prolog in alice.tuprologx

Constructors in alice.tuprologx with parameters of type Prolog

Constructor and Description
SolutionNavigator(SolveInfo solution, Prolog engine)

Uses of Prolog in alice.tuprologx.ide

Methods in alice.tuprologx.ide that return Prolog

Modifier and Type	Method and Description
Prolog	ThinletToolBar.getEngine() Get the Prolog engine referenced by the toolbar.
Prolog	LibraryManager.getEngine() Get the engine referenced by the library manager.
Prolog	ThinletTheoryEditor.getEngine() Get the Prolog engine referenced by the editor.

Methods in alice.tuprologx.ide with parameters of type Prolog

Modifier and Type	Method and Description
void	ThinletToolBar.setEngine(Prolog engine) Set the Prolog engine referenced by the toolbar.
void	LibraryManager.setEngine(Prolog engine) Set the engine to be referenced by the library manager.
void	ThinletConsole.setEngine(Prolog engine) Set the Prolog engine referenced by the console.
void	ThinletTheoryEditor.setEngine(Prolog engine) Set the Prolog engine referenced by the editor.

Constructors in alice.tuprologx.ide with parameters of type Prolog

Constructor and Description
EngineThread(Prolog engine)
EngineThread(Prolog engine, String goal, ThinletConsole c)

Uses of Prolog in alice.tuprologx.runtime.tcp

Constructors in alice.tuprologx.runtime.tcp with parameters of type Prolog

Constructor and Description
Daemon(Prolog core_)
Daemon(Prolog core_, int port)
PrologImpl(Prolog core_)