org.jpc.engine.embedded

Class JpcEngine

java.lang.Object

org.jpc.engine.prolog.AbstractPrologEngine

org.jpc.engine.embedded.JpcEngine

All Implemented Interfaces:

PrologDatabase, PrologEngine

public class JpcEngine
extends AbstractPrologEngine

The embedded Jpc Prolog database. (Note: only a small subset of a Prolog engine has been currently implemented).

Author:

sergioc

Field Summary

Fields inherited from class org.jpc.engine.prolog.AbstractPrologEngine

ALL_RESULTS_VAR

Constructor Summary

Constructors

Constructor and Description
JpcEngine()

Method Summary

Modifier and Type	Method and Description
boolean	asserta(Term term) Assert a clause in the logic database.
boolean	assertz(Term term) Assert a clause in the logic database.
Term	asTerm(String termString, Jpc context)
Query	basicQuery(Term goal, boolean errorHandledQuery, Jpc context)
void	close() Close the logic engine and free associated resources.
ClauseDatabase	getClauseDatabase()
MutableIndexManager	getIndexManager()
boolean	isCloseable()
boolean	retractAll(Term term)
boolean	retractOne(Term term)
ThreadModel	threadModel()

Methods inherited from class org.jpc.engine.prolog.AbstractPrologEngine

abolish, allSucceed, asLogtalkEngine, asserta, assertz, asTerm, asTerms, asTerms, bagof, bagof, cd, cd, clause, command, command, command, command, currentOp, currentPrologFlag, currentPrologFlag, currentPrologFlag, ensureLoaded, ensureLoaded, ensureLoaded, findall, findall, flushOutput, forall, getOperatorsContext, isBinaryOperator, isUnaryOperator, loadJpc, loadJpcForLogtalk, loadLogtalkFiles, loadPrologFiles, prologDialect, query, query, query, query, query, query, query, query, retract, setof, setof, setPrologFlag, setPrologFlag, unify, unify, withLogtalk

Methods inherited from class java.lang.Object

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

Constructor Detail

JpcEngine

public JpcEngine()

Method Detail

getIndexManager

public MutableIndexManager getIndexManager()

getClauseDatabase

public ClauseDatabase getClauseDatabase()

isCloseable

public boolean isCloseable()

Returns:

true if the Prolog engine can be closed (i.e., its resources can be freed). false otherwise.

threadModel

public ThreadModel threadModel()

Returns:

the thread model of the Prolog engine. This specifies if the engine can manage or not concurrent requests.

basicQuery

public Query basicQuery(Term goal,
                        boolean errorHandledQuery,
                        Jpc context)

Returns:

a non-instrumented query

asTerm

public Term asTerm(String termString,
                   Jpc context)

close

public void close()

Description copied from interface: PrologEngine

Close the logic engine and free associated resources. Once the session is not required it can be closed. However, some drivers do not allow this and will throw an UnsupportedOperationException instead

Specified by:

close in interface PrologEngine

Specified by:

close in class AbstractPrologEngine

asserta

public boolean asserta(Term term)

Description copied from class: AbstractPrologEngine

Assert a clause in the logic database. Term is asserted as the first fact or rule of the corresponding predicate.

Specified by:

asserta in interface PrologDatabase

Specified by:

asserta in interface PrologEngine

Overrides:

asserta in class AbstractPrologEngine

Returns:

assertz

public boolean assertz(Term term)

Description copied from class: AbstractPrologEngine

Assert a clause in the logic database. Term is asserted as the last fact or rule of the corresponding predicate.

Specified by:

assertz in interface PrologDatabase

Specified by:

assertz in interface PrologEngine

Overrides:

assertz in class AbstractPrologEngine

Returns:

retractOne

public boolean retractOne(Term term)

retractAll

public boolean retractAll(Term term)

Specified by:

retractAll in interface PrologDatabase

Specified by:

retractAll in interface PrologEngine

Overrides:

retractAll in class AbstractPrologEngine