io.github.prolobjectlink.prolog.jpl.swi

Class SwiPrologEngine

java.lang.Object

io.github.prolobjectlink.prolog.AbstractEngine

io.github.prolobjectlink.prolog.jpl.JplEngine

io.github.prolobjectlink.prolog.jpl.swi.SwiPrologEngine

All Implemented Interfaces:

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

public class SwiPrologEngine
extends io.github.prolobjectlink.prolog.jpl.JplEngine
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	SwiPrologEngine(io.github.prolobjectlink.prolog.PrologProvider provider)
protected	SwiPrologEngine(io.github.prolobjectlink.prolog.PrologProvider provider, String file)

Method Summary

Modifier and Type	Method and Description
String	getLicense()
String	getName()
String	getVendor()
String	getVersion()
List<String>	verify()

Methods inherited from class io.github.prolobjectlink.prolog.jpl.JplEngine

abolish, asserta, asserta, asserta, assertz, assertz, assertz, clause, clause, clause, consult, consult, currentOperator, currentOperators, currentPredicate, dispose, equals, getBuiltIns, getCache, getPredicates, getProgram, getProgramSize, hashCode, include, include, iterator, operator, persist, query, query, query, query, retract, retract, retract

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

abolish, asserta, asserta, asserta, assertz, assertz, assertz, clause, clause, clause, consult, consult, contains, contains, contains, currentOperator, currentOperators, currentPredicate, currentPredicates, dispose, getBuiltIns, getLogger, getOSArch, getOSName, getOSVersion, getPredicates, getProgram, getProgramClauses, getProgramMap, getProgramSize, getProvider, include, include, isProgramEmpty, match, newClauseBuilder, newQueryBuilder, operator, persist, persist, query, query, query, query, queryAll, queryAll, queryAll, queryN, queryN, queryN, queryOne, queryOne, queryOne, retract, retract, retract, runOnLinux, runOnOSX, runOnWindows, unify

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Constructor Detail

SwiPrologEngine

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

SwiPrologEngine

protected SwiPrologEngine(io.github.prolobjectlink.prolog.PrologProvider provider,
                          String file)

Method Detail

getLicense

public final String getLicense()

Specified by:

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

getVersion

public final String getVersion()

Specified by:

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

getVendor

public final String getVendor()

Specified by:

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

getName

public final String getName()

Specified by:

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

verify

public final List<String> verify()

Specified by:

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