|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectalice.tuprolog.Library
This abstract class is the base class for developing tuProlog built-in libraries, which can be dynamically loaded by prolog objects.
Each library can expose to engine:
Field Summary | |
protected Prolog |
engine
prolog core which loaded the library |
Constructor Summary | |
Library()
|
Method Summary | |
void |
dismiss()
method invoked by prolog engine when library is going to be removed |
protected Term |
evalExpression(Term term)
Evaluates an expression. |
Prolog |
getEngine()
Gets the engine to which the library is bound |
java.lang.String |
getName()
Gets the name of the library. |
java.util.List[] |
getPrimitives()
gets the list of predicates defined in the library |
java.lang.String[][] |
getSynonymMap()
Gets the synonym mapping, as array of elements like { synonym, original name} |
java.lang.String |
getTheory()
Gets the theory provided with the library Empty theory is provided by default. |
protected boolean |
match(Term a0,
Term a1)
tries to unify two terms The runtime (demonstration) context currently used by the engine is deployed and altered. |
void |
onSolveBegin(Term goal)
method invoked when the engine is going to demonstrate a goal |
void |
onSolveEnd()
method invoked when the engine has finished a demostration |
protected boolean |
unify(Term a0,
Term a1)
tries to unify two terms The runtime (demonstration) context currently used by the engine is deployed and altered. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
protected Prolog engine
Constructor Detail |
public Library()
Method Detail |
public java.lang.String getName()
public java.lang.String getTheory()
public java.lang.String[][] getSynonymMap()
public Prolog getEngine()
protected boolean unify(Term a0, Term a1)
protected boolean match(Term a0, Term a1)
protected Term evalExpression(Term term)
public void dismiss()
public void onSolveBegin(Term goal)
public void onSolveEnd()
public java.util.List[] getPrimitives()
getPrimitives
in interface IPrimitives
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |