org.jpc.engine.prolog

Class AbstractPrologEngine

java.lang.Object

org.jpc.engine.prolog.AbstractPrologEngine

All Implemented Interfaces:

PrologDatabase, PrologEngine

Direct Known Subclasses:

JpcEngine, PrologEngineProxy

public abstract class AbstractPrologEngine
extends Object
implements PrologEngine

Field Summary

Fields

Modifier and Type	Field and Description
static String	ALL_RESULTS_VAR

Constructor Summary

Constructors

Constructor and Description
AbstractPrologEngine()

Method Summary

Modifier and Type	Method and Description
boolean	abolish(Term term)
boolean	allSucceed(List<? extends Term> terms)
LogtalkEngine	asLogtalkEngine()
boolean	asserta(List<? extends Term> terms) Assert a list of clauses in the logic database.
boolean	asserta(Term term) Assert a clause in the logic database.
boolean	assertz(List<? extends Term> terms) Assert a list of clauses in the logic database.
boolean	assertz(Term term) Assert a clause in the logic database.
Term	asTerm(String termString)
List<Term>	asTerms(List<String> termsString)
List<Term>	asTerms(List<String> termsString, Jpc context)
Term	bagof(Term select, Term exp)
Query	bagof(Term select, Term exp, Term all)
boolean	cd(String path)
boolean	cd(Term path)
Query	clause(Term head, Term body)
abstract void	close() Close the logic engine and free associated resources.
boolean	command(String command)
boolean	command(String command, Jpc context)
boolean	command(String command, List<?> arguments)
boolean	command(String command, List<?> arguments, Jpc context)
Query	currentOp(Term priority, Term specifier, Term operator)
String	currentPrologFlag(Flag flag)
Query	currentPrologFlag(Flag flag, String flagValue)
Query	currentPrologFlag(Term flag, Term flagValue)
boolean	ensureLoaded(List<? extends Term> terms)
boolean	ensureLoaded(String... resources)
boolean	ensureLoaded(Term... terms)
Term	findall(Term select, Term exp)
Query	findall(Term select, Term exp, Term all)
boolean	flushOutput()
Query	forall(Term generator, Term test)
OperatorsContext	getOperatorsContext()
boolean	isBinaryOperator(String op)
boolean	isUnaryOperator(String op)
void	loadJpc()
void	loadJpcForLogtalk()
protected void	loadLogtalkFiles()
protected void	loadPrologFiles()
String	prologDialect()
Query	query(String goalString)
Query	query(String goalString, Jpc context)
Query	query(String goalString, List<?> arguments)
Query	query(String goalString, List<?> arguments, boolean errorHandledQuery, Jpc context)
Query	query(String goalString, List<?> arguments, Jpc context)
Query	query(Term goal)
Query	query(Term goal, Jpc context)
Query	query(Term goal, List<?> arguments, boolean errorHandledQuery, Jpc context)
Query	retract(Term term)
boolean	retractAll(Term term)
Term	setof(Term select, Term exp)
Query	setof(Term select, Term exp, Term all)
boolean	setPrologFlag(Flag flag, String flagValue)
boolean	setPrologFlag(Term flag, Term flagValue)
Term	unify(List<? extends Term> terms)
Term	unify(Term... terms)
LogtalkEngine	withLogtalk()

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.jpc.engine.prolog.PrologEngine

asTerm, basicQuery, isCloseable, threadModel

Field Detail

ALL_RESULTS_VAR

public static final String ALL_RESULTS_VAR

See Also:

Constant Field Values

Constructor Detail

AbstractPrologEngine

public AbstractPrologEngine()

Method Detail

close

public abstract 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

command

public boolean command(String command)

Specified by:

command in interface PrologEngine

command

public boolean command(String command,
                       List<?> arguments)

Specified by:

command in interface PrologEngine

command

public boolean command(String command,
                       Jpc context)

Specified by:

command in interface PrologEngine

command

public boolean command(String command,
                       List<?> arguments,
                       Jpc context)

Specified by:

command in interface PrologEngine

query

public final Query query(String goalString)

Specified by:

query in interface PrologEngine

query

public final Query query(String goalString,
                         List<?> arguments)

Specified by:

query in interface PrologEngine

query

public final Query query(String goalString,
                         Jpc context)

Specified by:

query in interface PrologEngine

query

public final Query query(String goalString,
                         List<?> arguments,
                         Jpc context)

Specified by:

query in interface PrologEngine

query

public Query query(String goalString,
                   List<?> arguments,
                   boolean errorHandledQuery,
                   Jpc context)

Specified by:

query in interface PrologEngine

query

public final Query query(Term goal)

Specified by:

query in interface PrologEngine

query

public final Query query(Term goal,
                         Jpc context)

Specified by:

query in interface PrologEngine

query

public Query query(Term goal,
                   List<?> arguments,
                   boolean errorHandledQuery,
                   Jpc context)

Specified by:

query in interface PrologEngine

asTerm

public Term asTerm(String termString)

Specified by:

asTerm in interface PrologEngine

Returns:

the term representation of a String. Variable names should be preserved.

asTerms

public List<Term> asTerms(List<String> termsString)

Specified by:

asTerms in interface PrologEngine

asTerms

public List<Term> asTerms(List<String> termsString,
                          Jpc context)

Specified by:

asTerms in interface PrologEngine

setPrologFlag

public boolean setPrologFlag(Term flag,
                             Term flagValue)

Specified by:

setPrologFlag in interface PrologEngine

setPrologFlag

public boolean setPrologFlag(Flag flag,
                             String flagValue)

Specified by:

setPrologFlag in interface PrologEngine

currentPrologFlag

public Query currentPrologFlag(Term flag,
                               Term flagValue)

Specified by:

currentPrologFlag in interface PrologEngine

currentPrologFlag

public Query currentPrologFlag(Flag flag,
                               String flagValue)

Specified by:

currentPrologFlag in interface PrologEngine

currentPrologFlag

public String currentPrologFlag(Flag flag)

Specified by:

currentPrologFlag in interface PrologEngine

prologDialect

public String prologDialect()

Specified by:

prologDialect in interface PrologEngine

getOperatorsContext

public OperatorsContext getOperatorsContext()

Specified by:

getOperatorsContext in interface PrologEngine

currentOp

public Query currentOp(Term priority,
                       Term specifier,
                       Term operator)

Specified by:

currentOp in interface PrologEngine

isBinaryOperator

public boolean isBinaryOperator(String op)

Specified by:

isBinaryOperator in interface PrologEngine

isUnaryOperator

public boolean isUnaryOperator(String op)

Specified by:

isUnaryOperator in interface PrologEngine

cd

public boolean cd(Term path)

Specified by:

cd in interface PrologEngine

cd

public boolean cd(String path)

Specified by:

cd in interface PrologEngine

asserta

public boolean asserta(Term term)

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

Parameters:

terms - the terms to assert

Returns:

assertz

public boolean assertz(Term term)

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

Parameters:

terms - the terms to assert

Returns:

retract

public Query retract(Term term)

Specified by:

retract in interface PrologDatabase

Specified by:

retract in interface PrologEngine

retractAll

public boolean retractAll(Term term)

Specified by:

retractAll in interface PrologDatabase

Specified by:

retractAll in interface PrologEngine

abolish

public boolean abolish(Term term)

Specified by:

abolish in interface PrologDatabase

Specified by:

abolish in interface PrologEngine

clause

public Query clause(Term head,
                    Term body)

Specified by:

clause in interface PrologDatabase

Specified by:

clause in interface PrologEngine

asserta

public boolean asserta(List<? extends Term> terms)

Assert a list of clauses in the logic database. Terms are asserted as the first facts or rules of the corresponding predicate.

Specified by:

asserta in interface PrologEngine

Parameters:

terms - the terms to assert

Returns:

assertz

public boolean assertz(List<? extends Term> terms)

Assert a list of clauses in the logic database. Term are asserted as the last facts or rules of the corresponding predicate.

Specified by:

assertz in interface PrologEngine

Parameters:

terms - the terms to assert

Returns:

ensureLoaded

public boolean ensureLoaded(List<? extends Term> terms)

Specified by:

ensureLoaded in interface PrologEngine

ensureLoaded

public boolean ensureLoaded(Term... terms)

Specified by:

ensureLoaded in interface PrologEngine

ensureLoaded

public boolean ensureLoaded(String... resources)

Specified by:

ensureLoaded in interface PrologEngine

bagof

public Query bagof(Term select,
                   Term exp,
                   Term all)

Specified by:

bagof in interface PrologEngine

bagof

public Term bagof(Term select,
                  Term exp)

Specified by:

bagof in interface PrologEngine

findall

public Query findall(Term select,
                     Term exp,
                     Term all)

Specified by:

findall in interface PrologEngine

findall

public Term findall(Term select,
                    Term exp)

Specified by:

findall in interface PrologEngine

setof

public Query setof(Term select,
                   Term exp,
                   Term all)

Specified by:

setof in interface PrologEngine

setof

public Term setof(Term select,
                  Term exp)

Specified by:

setof in interface PrologEngine

forall

public Query forall(Term generator,
                    Term test)

Specified by:

forall in interface PrologEngine

flushOutput

public boolean flushOutput()

Specified by:

flushOutput in interface PrologEngine

unify

public Term unify(Term... terms)

Specified by:

unify in interface PrologEngine

unify

public Term unify(List<? extends Term> terms)

Specified by:

unify in interface PrologEngine

allSucceed

public boolean allSucceed(List<? extends Term> terms)

Specified by:

allSucceed in interface PrologEngine

loadJpc

public final void loadJpc()

Specified by:

loadJpc in interface PrologEngine

loadJpcForLogtalk

public final void loadJpcForLogtalk()

Specified by:

loadJpcForLogtalk in interface PrologEngine

loadPrologFiles

protected void loadPrologFiles()

loadLogtalkFiles

protected void loadLogtalkFiles()

asLogtalkEngine

public LogtalkEngine asLogtalkEngine()

Specified by:

asLogtalkEngine in interface PrologEngine

withLogtalk

public LogtalkEngine withLogtalk()

Specified by:

withLogtalk in interface PrologEngine