public abstract class JplEngine
extends io.github.prolobjectlink.prolog.AbstractEngine
implements io.github.prolobjectlink.prolog.PrologEngine
Modifier | Constructor and Description |
---|---|
protected |
JplEngine(io.github.prolobjectlink.prolog.PrologProvider provider) |
protected |
JplEngine(io.github.prolobjectlink.prolog.PrologProvider provider,
String path) |
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) |
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
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
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
forEach, spliterator
protected JplEngine(io.github.prolobjectlink.prolog.PrologProvider provider)
protected JplEngine(io.github.prolobjectlink.prolog.PrologProvider provider, String path)
public final void consult(String path)
consult
in interface io.github.prolobjectlink.prolog.PrologEngine
public final void consult(Reader reader)
consult
in interface io.github.prolobjectlink.prolog.PrologEngine
public final void include(String path)
include
in interface io.github.prolobjectlink.prolog.PrologEngine
public final void include(Reader reader)
include
in interface io.github.prolobjectlink.prolog.PrologEngine
public final void persist(String path)
persist
in interface io.github.prolobjectlink.prolog.PrologEngine
public final void abolish(String functor, int arity)
abolish
in interface io.github.prolobjectlink.prolog.PrologEngine
public final void asserta(String stringClause)
asserta
in interface io.github.prolobjectlink.prolog.PrologEngine
public final void asserta(io.github.prolobjectlink.prolog.PrologTerm term)
asserta
in interface io.github.prolobjectlink.prolog.PrologEngine
public final void asserta(io.github.prolobjectlink.prolog.PrologTerm head, io.github.prolobjectlink.prolog.PrologTerm... body)
asserta
in interface io.github.prolobjectlink.prolog.PrologEngine
public final void assertz(String stringClause)
assertz
in interface io.github.prolobjectlink.prolog.PrologEngine
public final void assertz(io.github.prolobjectlink.prolog.PrologTerm term)
assertz
in interface io.github.prolobjectlink.prolog.PrologEngine
public final void assertz(io.github.prolobjectlink.prolog.PrologTerm head, io.github.prolobjectlink.prolog.PrologTerm... body)
assertz
in interface io.github.prolobjectlink.prolog.PrologEngine
public final boolean clause(String stringClause)
clause
in interface io.github.prolobjectlink.prolog.PrologEngine
public final boolean clause(io.github.prolobjectlink.prolog.PrologTerm term)
clause
in interface io.github.prolobjectlink.prolog.PrologEngine
public final boolean clause(io.github.prolobjectlink.prolog.PrologTerm head, io.github.prolobjectlink.prolog.PrologTerm... body)
clause
in interface io.github.prolobjectlink.prolog.PrologEngine
public final void retract(String stringClause)
retract
in interface io.github.prolobjectlink.prolog.PrologEngine
public final void retract(io.github.prolobjectlink.prolog.PrologTerm term)
retract
in interface io.github.prolobjectlink.prolog.PrologEngine
public final void retract(io.github.prolobjectlink.prolog.PrologTerm head, io.github.prolobjectlink.prolog.PrologTerm... body)
retract
in interface io.github.prolobjectlink.prolog.PrologEngine
public final io.github.prolobjectlink.prolog.PrologQuery query(String stringQuery)
query
in interface io.github.prolobjectlink.prolog.PrologEngine
public final io.github.prolobjectlink.prolog.PrologQuery query(io.github.prolobjectlink.prolog.PrologTerm term)
query
in interface io.github.prolobjectlink.prolog.PrologEngine
public final io.github.prolobjectlink.prolog.PrologQuery query(io.github.prolobjectlink.prolog.PrologTerm[] terms)
query
in interface io.github.prolobjectlink.prolog.PrologEngine
public final io.github.prolobjectlink.prolog.PrologQuery query(io.github.prolobjectlink.prolog.PrologTerm term, io.github.prolobjectlink.prolog.PrologTerm... terms)
query
in interface io.github.prolobjectlink.prolog.PrologEngine
public final void operator(int priority, String specifier, String operator)
operator
in interface io.github.prolobjectlink.prolog.PrologEngine
public final boolean currentPredicate(String functor, int arity)
currentPredicate
in interface io.github.prolobjectlink.prolog.PrologEngine
public final boolean currentOperator(int priority, String specifier, String operator)
currentOperator
in interface io.github.prolobjectlink.prolog.PrologEngine
public final Set<io.github.prolobjectlink.prolog.PrologOperator> currentOperators()
currentOperators
in interface io.github.prolobjectlink.prolog.PrologEngine
public final int getProgramSize()
getProgramSize
in interface io.github.prolobjectlink.prolog.PrologEngine
public final io.github.prolobjectlink.prolog.PrologProgram getProgram()
getProgram
in interface io.github.prolobjectlink.prolog.PrologEngine
public final Set<io.github.prolobjectlink.prolog.PrologIndicator> getPredicates()
getPredicates
in interface io.github.prolobjectlink.prolog.PrologEngine
public final Set<io.github.prolobjectlink.prolog.PrologIndicator> getBuiltIns()
getBuiltIns
in interface io.github.prolobjectlink.prolog.PrologEngine
public final Iterator<io.github.prolobjectlink.prolog.PrologClause> iterator()
public final void dispose()
dispose
in interface io.github.prolobjectlink.prolog.PrologEngine
public final String getCache()
public int hashCode()
hashCode
in class io.github.prolobjectlink.prolog.AbstractEngine
public boolean equals(Object obj)
equals
in class io.github.prolobjectlink.prolog.AbstractEngine
Copyright © 2020–2024 Prolobjectlink Project. All rights reserved.