alice.tuprolog

Class EngineManager

java.lang.Object

alice.tuprolog.EngineManager

All Implemented Interfaces:

Serializable

public class EngineManager
extends Object
implements Serializable

Author:

Alex Benini Core engine

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static int	FALSE
static int	HALT
static int	TRUE
static int	TRUE_CP

Constructor Summary

Constructors

Constructor and Description
EngineManager()

Method Summary

Methods

Modifier and Type	Method and Description
protected void	finalize()
ClauseStoreManager	getClauseStoreManager()
Engine	getEngine()
LibraryManager	getLibraryManager()
Prolog	getMediator()
PrimitiveManager	getPrimitiveManager()
TheoryManager	getTheoryManager()
SolveInfo	solve(Term query) Solves a query
void	solveEnd() Accepts current solution
void	solveHalt() Halts current solve computation
SolveInfo	solveNext() Gets next solution

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

HALT

public static final int HALT

See Also:

Constant Field Values

FALSE

public static final int FALSE

See Also:

Constant Field Values

TRUE

public static final int TRUE

See Also:

Constant Field Values

TRUE_CP

public static final int TRUE_CP

See Also:

Constant Field Values

Constructor Detail

EngineManager

public EngineManager()

Method Detail

getLibraryManager

public LibraryManager getLibraryManager()

getTheoryManager

public TheoryManager getTheoryManager()

getPrimitiveManager

public PrimitiveManager getPrimitiveManager()

getClauseStoreManager

public ClauseStoreManager getClauseStoreManager()

solve

public SolveInfo solve(Term query)

Solves a query

Parameters:

g - the term representing the goal to be demonstrated

Returns:

the result of the demonstration

See Also:

SolveInfo

getEngine

public Engine getEngine()

getMediator

public Prolog getMediator()

solveNext

public SolveInfo solveNext()
                    throws NoMoreSolutionException

Gets next solution

Returns:

the result of the demonstration

Throws:

NoMoreSolutionException - if no more solutions are present

See Also:

SolveInfo

solveHalt

public void solveHalt()

Halts current solve computation

solveEnd

public void solveEnd()

Accepts current solution

finalize

protected void finalize()

Overrides:

finalize in class Object