JTrologEngine (prolobjectlink-jpi-jtrolog 1.2-SNAPSHOT API)

java.lang.Object
- io.github.prolobjectlink.prolog.AbstractEngine
- - io.github.prolobjectlink.prolog.jtrolog.JTrologEngine

All Implemented Interfaces:

io.github.prolobjectlink.prolog.PrologEngine, Iterable<io.github.prolobjectlink.prolog.PrologClause>
```
public class JTrologEngine
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 JTrologEngine(io.github.prolobjectlink.prolog.PrologProvider provider, Prolog engine)

Constructors
Modifier	Constructor and Description
`protected`	`JTrologEngine(io.github.prolobjectlink.prolog.PrologProvider provider, Prolog engine)`

Method Summary

All Methods Instance Methods Concrete Methods
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`	`getLicense()`
`String`	`getName()`
`Set<io.github.prolobjectlink.prolog.PrologIndicator>`	`getPredicates()`
`io.github.prolobjectlink.prolog.PrologProgram`	`getProgram()`
`int`	`getProgramSize()`
`String`	`getVendor()`
`String`	`getVersion()`
`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 goal)`
`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)`
`List<String>`	`verify()`

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, getLogger, getOSArch, getOSName, getOSVersion, getProgramClauses, getProgramMap, getProvider, isProgramEmpty, match, newClauseBuilder, newQueryBuilder, persist, queryAll, queryAll, queryAll, queryN, queryN, queryN, queryOne, queryOne, queryOne, runOnLinux, runOnOSX, runOnWindows, unify

Methods inherited from interface java.lang.Iterable
forEach, spliterator

- Constructor Detail
  - JTrologEngine
```
protected JTrologEngine(io.github.prolobjectlink.prolog.PrologProvider provider,
                        Prolog engine)
```
- Method Detail
  - consult
```
public void consult(String path)
```
    Specified by:
    
    consult in interface io.github.prolobjectlink.prolog.PrologEngine
  - consult
```
public void consult(Reader reader)
```
    Specified by:
    
    consult in interface io.github.prolobjectlink.prolog.PrologEngine
  - include
```
public void include(String path)
```
    Specified by:
    
    include in interface io.github.prolobjectlink.prolog.PrologEngine
  - include
```
public void include(Reader reader)
```
    Specified by:
    
    include in interface io.github.prolobjectlink.prolog.PrologEngine
  - persist
```
public void persist(String path)
```
    Specified by:
    
    persist in interface io.github.prolobjectlink.prolog.PrologEngine
  - abolish
```
public void abolish(String functor,
                    int arity)
```
    Specified by:
    
    abolish in interface io.github.prolobjectlink.prolog.PrologEngine
  - asserta
```
public void asserta(String stringClause)
```
    Specified by:
    
    asserta in interface io.github.prolobjectlink.prolog.PrologEngine
  - asserta
```
public void asserta(io.github.prolobjectlink.prolog.PrologTerm term)
```
    Specified by:
    
    asserta in interface io.github.prolobjectlink.prolog.PrologEngine
  - asserta
```
public 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 void assertz(String stringClause)
```
    Specified by:
    
    assertz in interface io.github.prolobjectlink.prolog.PrologEngine
  - assertz
```
public void assertz(io.github.prolobjectlink.prolog.PrologTerm term)
```
    Specified by:
    
    assertz in interface io.github.prolobjectlink.prolog.PrologEngine
  - assertz
```
public 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 boolean clause(String stringClause)
```
    Specified by:
    
    clause in interface io.github.prolobjectlink.prolog.PrologEngine
  - clause
```
public boolean clause(io.github.prolobjectlink.prolog.PrologTerm term)
```
    Specified by:
    
    clause in interface io.github.prolobjectlink.prolog.PrologEngine
  - clause
```
public 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 void retract(String stringClause)
```
    Specified by:
    
    retract in interface io.github.prolobjectlink.prolog.PrologEngine
  - retract
```
public void retract(io.github.prolobjectlink.prolog.PrologTerm term)
```
    Specified by:
    
    retract in interface io.github.prolobjectlink.prolog.PrologEngine
  - retract
```
public 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 io.github.prolobjectlink.prolog.PrologQuery query(io.github.prolobjectlink.prolog.PrologTerm goal)
```
    Specified by:
    
    query in interface io.github.prolobjectlink.prolog.PrologEngine
  - query
```
public io.github.prolobjectlink.prolog.PrologQuery query(String stringQuery)
```
    Specified by:
    
    query in interface io.github.prolobjectlink.prolog.PrologEngine
  - query
```
public io.github.prolobjectlink.prolog.PrologQuery query(io.github.prolobjectlink.prolog.PrologTerm[] terms)
```
    Specified by:
    
    query in interface io.github.prolobjectlink.prolog.PrologEngine
  - query
```
public 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 void operator(int priority,
                     String specifier,
                     String operator)
```
    Specified by:
    
    operator in interface io.github.prolobjectlink.prolog.PrologEngine
  - currentPredicate
```
public boolean currentPredicate(String functor,
                                int arity)
```
    Specified by:
    
    currentPredicate in interface io.github.prolobjectlink.prolog.PrologEngine
  - currentOperator
```
public boolean currentOperator(int priority,
                               String specifier,
                               String operator)
```
    Specified by:
    
    currentOperator in interface io.github.prolobjectlink.prolog.PrologEngine
  - currentOperators
```
public Set<io.github.prolobjectlink.prolog.PrologOperator> currentOperators()
```
    Specified by:
    
    currentOperators in interface io.github.prolobjectlink.prolog.PrologEngine
  - iterator
```
public Iterator<io.github.prolobjectlink.prolog.PrologClause> iterator()
```
    Specified by:
    
    iterator in interface Iterable<io.github.prolobjectlink.prolog.PrologClause>
  - getProgramSize
```
public int getProgramSize()
```
    Specified by:
    
    getProgramSize in interface io.github.prolobjectlink.prolog.PrologEngine
  - getProgram
```
public io.github.prolobjectlink.prolog.PrologProgram getProgram()
```
    Specified by:
    
    getProgram in interface io.github.prolobjectlink.prolog.PrologEngine
  - getPredicates
```
public Set<io.github.prolobjectlink.prolog.PrologIndicator> getPredicates()
```
    Specified by:
    
    getPredicates in interface io.github.prolobjectlink.prolog.PrologEngine
  - getBuiltIns
```
public Set<io.github.prolobjectlink.prolog.PrologIndicator> getBuiltIns()
```
    Specified by:
    
    getBuiltIns in interface io.github.prolobjectlink.prolog.PrologEngine
  - getLicense
```
public String getLicense()
```
    Specified by:
    
    getLicense in interface io.github.prolobjectlink.prolog.PrologEngine
  - getVersion
```
public 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 String getName()
```
    Specified by:
    
    getName in interface io.github.prolobjectlink.prolog.PrologEngine
  - 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
  - dispose
```
public void dispose()
```
    Specified by:
    
    dispose in interface io.github.prolobjectlink.prolog.PrologEngine
  - verify
```
public final List<String> verify()
```
    Specified by:
    
    verify in interface io.github.prolobjectlink.prolog.PrologEngine

Class JTrologEngine

Nested Class Summary

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

Field Summary

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

Constructor Summary

Method Summary

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

Constructor Detail

JTrologEngine

Method Detail

consult

consult

include

include

persist

abolish

asserta

asserta

asserta

assertz

assertz

assertz

clause

clause

clause

retract

retract

retract

query

query

query

query

operator

currentPredicate

currentOperator

currentOperators

iterator

getProgramSize

getProgram

getPredicates

getBuiltIns

getLicense

getVersion

getVendor

getName

hashCode

equals

dispose

verify