io.github.prolobjectlink.prolog.jpl7

Class JplEngine

java.lang.Object

io.github.prolobjectlink.prolog.AbstractEngine

io.github.prolobjectlink.prolog.jpl7.JplEngine

All Implemented Interfaces:

io.github.prolobjectlink.prolog.PrologEngine, Iterable<io.github.prolobjectlink.prolog.PrologClause>

public abstract class JplEngine
extends io.github.prolobjectlink.prolog.AbstractEngine
implements io.github.prolobjectlink.prolog.PrologEngine

Since:

1.0

Author:

Jose Zalacain

Nested Class Summary

Nested classes/interfaces inherited from class io.github.prolobjectlink.prolog.AbstractEngine

io.github.prolobjectlink.prolog.AbstractEngine.PrologProgramIterator

Field Summary

Fields inherited from class io.github.prolobjectlink.prolog.AbstractEngine

provider

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	JplEngine(io.github.prolobjectlink.prolog.PrologProvider provider)
protected	JplEngine(io.github.prolobjectlink.prolog.PrologProvider provider, String path)

Method Summary

Modifier and Type	Method and Description
void	abolish(String functor, int arity)
void	asserta(io.github.prolobjectlink.prolog.PrologTerm term)
void	asserta(io.github.prolobjectlink.prolog.PrologTerm head, io.github.prolobjectlink.prolog.PrologTerm... body)
void	asserta(String stringClause)
void	assertz(io.github.prolobjectlink.prolog.PrologTerm term)
void	assertz(io.github.prolobjectlink.prolog.PrologTerm head, io.github.prolobjectlink.prolog.PrologTerm... body)
void	assertz(String stringClause)
boolean	clause(io.github.prolobjectlink.prolog.PrologTerm term)
boolean	clause(io.github.prolobjectlink.prolog.PrologTerm head, io.github.prolobjectlink.prolog.PrologTerm... body)
boolean	clause(String stringClause)
void	consult(Reader reader)
void	consult(String path)
boolean	currentOperator(int priority, String specifier, String operator)
Set<io.github.prolobjectlink.prolog.PrologOperator>	currentOperators()
boolean	currentPredicate(String functor, int arity)
void	dispose()
boolean	equals(Object obj)
Set<io.github.prolobjectlink.prolog.PrologIndicator>	getBuiltIns()
String	getCache()
Set<io.github.prolobjectlink.prolog.PrologIndicator>	getPredicates()
io.github.prolobjectlink.prolog.PrologProgram	getProgram()
int	getProgramSize()
int	hashCode()
void	include(Reader reader)
void	include(String path)
Iterator<io.github.prolobjectlink.prolog.PrologClause>	iterator()
void	operator(int priority, String specifier, String operator)
void	persist(String path)
io.github.prolobjectlink.prolog.PrologQuery	query(io.github.prolobjectlink.prolog.PrologTerm term)
io.github.prolobjectlink.prolog.PrologQuery	query(io.github.prolobjectlink.prolog.PrologTerm[] terms)
io.github.prolobjectlink.prolog.PrologQuery	query(io.github.prolobjectlink.prolog.PrologTerm term, io.github.prolobjectlink.prolog.PrologTerm... terms)
io.github.prolobjectlink.prolog.PrologQuery	query(String stringQuery)
void	retract(io.github.prolobjectlink.prolog.PrologTerm term)
void	retract(io.github.prolobjectlink.prolog.PrologTerm head, io.github.prolobjectlink.prolog.PrologTerm... body)
void	retract(String stringClause)

Methods inherited from class io.github.prolobjectlink.prolog.AbstractEngine

contains, contains, contains, currentPredicates, fromTerm, fromTerm, getLogger, getOSArch, getOSName, getOSVersion, getProgramClauses, getProgramMap, getProvider, isProgramEmpty, match, newClauseBuilder, newQueryBuilder, persist, queryAll, queryAll, queryAll, queryN, queryN, queryN, queryOne, queryOne, queryOne, removeQuoted, runOnLinux, runOnOSX, runOnWindows, toString, toTerm, toTermMapArray, unify

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface io.github.prolobjectlink.prolog.PrologEngine

contains, contains, contains, currentPredicates, getLicense, getLogger, getName, getOSArch, getOSName, getOSVersion, getProgramClauses, getProgramMap, getProvider, getVendor, getVersion, isProgramEmpty, match, newClauseBuilder, newQueryBuilder, persist, queryAll, queryAll, queryAll, queryN, queryN, queryN, queryOne, queryOne, queryOne, runOnLinux, runOnOSX, runOnWindows, unify, verify

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

JplEngine

protected JplEngine(io.github.prolobjectlink.prolog.PrologProvider provider)

JplEngine

protected JplEngine(io.github.prolobjectlink.prolog.PrologProvider provider,
                    String path)

Method Detail

consult

public final void consult(String path)

Specified by:

consult in interface io.github.prolobjectlink.prolog.PrologEngine

consult

public final void consult(Reader reader)

Specified by:

consult in interface io.github.prolobjectlink.prolog.PrologEngine

include

public final void include(String path)

Specified by:

include in interface io.github.prolobjectlink.prolog.PrologEngine

include

public final void include(Reader reader)

Specified by:

include in interface io.github.prolobjectlink.prolog.PrologEngine

persist

public final void persist(String path)

Specified by:

persist in interface io.github.prolobjectlink.prolog.PrologEngine

abolish

public final void abolish(String functor,
                          int arity)

Specified by:

abolish in interface io.github.prolobjectlink.prolog.PrologEngine

asserta

public final void asserta(String stringClause)

Specified by:

asserta in interface io.github.prolobjectlink.prolog.PrologEngine

asserta

public final void asserta(io.github.prolobjectlink.prolog.PrologTerm term)

Specified by:

asserta in interface io.github.prolobjectlink.prolog.PrologEngine

asserta

public final void asserta(io.github.prolobjectlink.prolog.PrologTerm head,
                          io.github.prolobjectlink.prolog.PrologTerm... body)

Specified by:

asserta in interface io.github.prolobjectlink.prolog.PrologEngine

assertz

public final void assertz(String stringClause)

Specified by:

assertz in interface io.github.prolobjectlink.prolog.PrologEngine

assertz

public final void assertz(io.github.prolobjectlink.prolog.PrologTerm term)

Specified by:

assertz in interface io.github.prolobjectlink.prolog.PrologEngine

assertz

public final void assertz(io.github.prolobjectlink.prolog.PrologTerm head,
                          io.github.prolobjectlink.prolog.PrologTerm... body)

Specified by:

assertz in interface io.github.prolobjectlink.prolog.PrologEngine

clause

public final boolean clause(String stringClause)

Specified by:

clause in interface io.github.prolobjectlink.prolog.PrologEngine

clause

public final boolean clause(io.github.prolobjectlink.prolog.PrologTerm term)

Specified by:

clause in interface io.github.prolobjectlink.prolog.PrologEngine

clause

public final boolean clause(io.github.prolobjectlink.prolog.PrologTerm head,
                            io.github.prolobjectlink.prolog.PrologTerm... body)

Specified by:

clause in interface io.github.prolobjectlink.prolog.PrologEngine

retract

public final void retract(String stringClause)

Specified by:

retract in interface io.github.prolobjectlink.prolog.PrologEngine

retract

public final void retract(io.github.prolobjectlink.prolog.PrologTerm term)

Specified by:

retract in interface io.github.prolobjectlink.prolog.PrologEngine

retract

public final void retract(io.github.prolobjectlink.prolog.PrologTerm head,
                          io.github.prolobjectlink.prolog.PrologTerm... body)

Specified by:

retract in interface io.github.prolobjectlink.prolog.PrologEngine

query

public final io.github.prolobjectlink.prolog.PrologQuery query(String stringQuery)

Specified by:

query in interface io.github.prolobjectlink.prolog.PrologEngine

query

public final io.github.prolobjectlink.prolog.PrologQuery query(io.github.prolobjectlink.prolog.PrologTerm term)

Specified by:

query in interface io.github.prolobjectlink.prolog.PrologEngine

query

public final io.github.prolobjectlink.prolog.PrologQuery query(io.github.prolobjectlink.prolog.PrologTerm[] terms)

Specified by:

query in interface io.github.prolobjectlink.prolog.PrologEngine

query

public final io.github.prolobjectlink.prolog.PrologQuery query(io.github.prolobjectlink.prolog.PrologTerm term,
                                                               io.github.prolobjectlink.prolog.PrologTerm... terms)

Specified by:

query in interface io.github.prolobjectlink.prolog.PrologEngine

operator

public final void operator(int priority,
                           String specifier,
                           String operator)

Specified by:

operator in interface io.github.prolobjectlink.prolog.PrologEngine

currentPredicate

public final boolean currentPredicate(String functor,
                                      int arity)

Specified by:

currentPredicate in interface io.github.prolobjectlink.prolog.PrologEngine

currentOperator

public final boolean currentOperator(int priority,
                                     String specifier,
                                     String operator)

Specified by:

currentOperator in interface io.github.prolobjectlink.prolog.PrologEngine

currentOperators

public final Set<io.github.prolobjectlink.prolog.PrologOperator> currentOperators()

Specified by:

currentOperators in interface io.github.prolobjectlink.prolog.PrologEngine

getProgramSize

public final int getProgramSize()

Specified by:

getProgramSize in interface io.github.prolobjectlink.prolog.PrologEngine

getProgram

public final io.github.prolobjectlink.prolog.PrologProgram getProgram()

Specified by:

getProgram in interface io.github.prolobjectlink.prolog.PrologEngine

getPredicates

public final Set<io.github.prolobjectlink.prolog.PrologIndicator> getPredicates()

Specified by:

getPredicates in interface io.github.prolobjectlink.prolog.PrologEngine

getBuiltIns

public final Set<io.github.prolobjectlink.prolog.PrologIndicator> getBuiltIns()

Specified by:

getBuiltIns in interface io.github.prolobjectlink.prolog.PrologEngine

iterator

public final Iterator<io.github.prolobjectlink.prolog.PrologClause> iterator()

Specified by:

iterator in interface Iterable<io.github.prolobjectlink.prolog.PrologClause>

dispose

public final void dispose()

Specified by:

dispose in interface io.github.prolobjectlink.prolog.PrologEngine

getCache

public final String getCache()

hashCode

public int hashCode()

Overrides:

hashCode in class io.github.prolobjectlink.prolog.AbstractEngine

equals

public boolean equals(Object obj)

Overrides:

equals in class io.github.prolobjectlink.prolog.AbstractEngine