io.github.prolobjectlink.prolog.jtrolog

Class JTrolog

java.lang.Object

io.github.prolobjectlink.prolog.AbstractProvider

io.github.prolobjectlink.prolog.jtrolog.JTrolog

All Implemented Interfaces:

io.github.prolobjectlink.prolog.PrologProvider

public class JTrolog
extends io.github.prolobjectlink.prolog.AbstractProvider
implements io.github.prolobjectlink.prolog.PrologProvider

Since:

1.0

Author:

Jose Zalacain

Field Summary

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

converter

Constructor Summary

Constructors

Constructor and Description
JTrolog()

Method Summary

Modifier and Type	Method and Description
io.github.prolobjectlink.prolog.PrologTerm	falseReference()
<K> K	fromTerm(io.github.prolobjectlink.prolog.PrologTerm arg0, Class<K> arg1)
<K> K	fromTerm(io.github.prolobjectlink.prolog.PrologTerm arg0, io.github.prolobjectlink.prolog.PrologTerm[] arg1, Class<K> arg2)
<K> K[]	fromTermArray(io.github.prolobjectlink.prolog.PrologTerm[] arg0, Class<K[]> arg1)
io.github.prolobjectlink.prolog.PrologJavaConverter	getJavaConverter()
io.github.prolobjectlink.prolog.PrologLogger	getLogger()
io.github.prolobjectlink.prolog.PrologAtom	newAtom(String functor)
io.github.prolobjectlink.prolog.PrologDouble	newDouble(Number value)
io.github.prolobjectlink.prolog.PrologEngine	newEngine()
io.github.prolobjectlink.prolog.PrologEngine	newEngine(String path)
io.github.prolobjectlink.prolog.PrologTerm	newEntry(Object key, Object value)
io.github.prolobjectlink.prolog.PrologTerm	newEntry(io.github.prolobjectlink.prolog.PrologTerm key, io.github.prolobjectlink.prolog.PrologTerm value)
io.github.prolobjectlink.prolog.PrologFloat	newFloat(Number value)
io.github.prolobjectlink.prolog.PrologInteger	newInteger(Number value)
io.github.prolobjectlink.prolog.PrologList	newList()
io.github.prolobjectlink.prolog.PrologList	newList(io.github.prolobjectlink.prolog.PrologTerm[] arguments)
io.github.prolobjectlink.prolog.PrologList	newList(io.github.prolobjectlink.prolog.PrologTerm[] arguments, io.github.prolobjectlink.prolog.PrologTerm tail)
io.github.prolobjectlink.prolog.PrologList	newList(io.github.prolobjectlink.prolog.PrologTerm head, io.github.prolobjectlink.prolog.PrologTerm tail)
io.github.prolobjectlink.prolog.PrologLong	newLong(Number value)
io.github.prolobjectlink.prolog.PrologTerm	newMap()
io.github.prolobjectlink.prolog.PrologTerm	newMap(int initialCapacity)
io.github.prolobjectlink.prolog.PrologTerm	newMap(Map<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm> map)
io.github.prolobjectlink.prolog.PrologTerm	newReference(Object reference)
io.github.prolobjectlink.prolog.PrologTerm	newStructure(io.github.prolobjectlink.prolog.PrologTerm left, String operator, io.github.prolobjectlink.prolog.PrologTerm right)
io.github.prolobjectlink.prolog.PrologStructure	newStructure(String functor, io.github.prolobjectlink.prolog.PrologTerm... arguments)
io.github.prolobjectlink.prolog.PrologVariable	newVariable(int position)
io.github.prolobjectlink.prolog.PrologVariable	newVariable(String name, int position)
io.github.prolobjectlink.prolog.PrologTerm	nullReference()
io.github.prolobjectlink.prolog.PrologClause	parseClause(String arg0)
io.github.prolobjectlink.prolog.PrologList	parseList(String arg0)
Set<io.github.prolobjectlink.prolog.PrologClause>	parseProgram(File arg0)
Set<io.github.prolobjectlink.prolog.PrologClause>	parseProgram(String arg0)
io.github.prolobjectlink.prolog.PrologStructure	parseStructure(String arg0)
io.github.prolobjectlink.prolog.PrologTerm	parseTerm(String term)
io.github.prolobjectlink.prolog.PrologTerm[]	parseTerms(String stringTerms)
io.github.prolobjectlink.prolog.PrologTerm	prologCut()
io.github.prolobjectlink.prolog.PrologTerm	prologEmpty()
io.github.prolobjectlink.prolog.PrologTerm	prologFail()
io.github.prolobjectlink.prolog.PrologTerm	prologFalse()
io.github.prolobjectlink.prolog.PrologTerm	prologInclude(String file)
io.github.prolobjectlink.prolog.PrologTerm	prologNil()
io.github.prolobjectlink.prolog.PrologTerm	prologTrue()
String	toString()
<K extends io.github.prolobjectlink.prolog.PrologTerm> K	toTerm(Object arg0, Class<K> arg1)
<K extends io.github.prolobjectlink.prolog.PrologTerm> K[]	toTermArray(Object[] arg0, Class<K[]> arg1)
<K extends io.github.prolobjectlink.prolog.PrologTerm,V> Map<String,io.github.prolobjectlink.prolog.PrologTerm>	toTermMap(Map<String,V> arg0, Class<K> arg1)
<K extends io.github.prolobjectlink.prolog.PrologTerm,V> Map<String,io.github.prolobjectlink.prolog.PrologTerm>[]	toTermMapArray(Map<String,V>[] arg0, Class<K> arg1)
<K extends io.github.prolobjectlink.prolog.PrologTerm> K[][]	toTermMatrix(Object[][] arg0, Class<K[][]> arg1)
io.github.prolobjectlink.prolog.PrologTerm	trueReference()
io.github.prolobjectlink.prolog.PrologTerm	voidReference()

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

cast, cast, equals, fromTerm, fromTerm, fromTermArray, getConverter, getName, getParser, getVersion, hashCode, isCompliant, newDouble, newFloat, newInteger, newList, newList, newList, newList, newList, newLong, newStructure, newStructure, parseClause, parseList, parseProgram, parseProgram, parseStructure, removeQuoted, toTerm, toTermArray, toTermMap, toTermMapArray, toTermMatrix

Methods inherited from class java.lang.Object

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

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

cast, getConverter, getName, getParser, getVersion, isCompliant, newDouble, newFloat, newInteger, newList, newList, newList, newList, newList, newLong, newStructure, newStructure

Constructor Detail

JTrolog

public JTrolog()

Method Detail

prologNil

public io.github.prolobjectlink.prolog.PrologTerm prologNil()

Specified by:

prologNil in interface io.github.prolobjectlink.prolog.PrologProvider

prologCut

public io.github.prolobjectlink.prolog.PrologTerm prologCut()

Specified by:

prologCut in interface io.github.prolobjectlink.prolog.PrologProvider

prologFail

public io.github.prolobjectlink.prolog.PrologTerm prologFail()

Specified by:

prologFail in interface io.github.prolobjectlink.prolog.PrologProvider

prologTrue

public io.github.prolobjectlink.prolog.PrologTerm prologTrue()

Specified by:

prologTrue in interface io.github.prolobjectlink.prolog.PrologProvider

prologFalse

public io.github.prolobjectlink.prolog.PrologTerm prologFalse()

Specified by:

prologFalse in interface io.github.prolobjectlink.prolog.PrologProvider

prologEmpty

public io.github.prolobjectlink.prolog.PrologTerm prologEmpty()

Specified by:

prologEmpty in interface io.github.prolobjectlink.prolog.PrologProvider

prologInclude

public io.github.prolobjectlink.prolog.PrologTerm prologInclude(String file)

Specified by:

prologInclude in interface io.github.prolobjectlink.prolog.PrologProvider

newEngine

public io.github.prolobjectlink.prolog.PrologEngine newEngine()

Specified by:

newEngine in interface io.github.prolobjectlink.prolog.PrologProvider

newEngine

public io.github.prolobjectlink.prolog.PrologEngine newEngine(String path)

Specified by:

newEngine in interface io.github.prolobjectlink.prolog.PrologProvider

parseTerm

public io.github.prolobjectlink.prolog.PrologTerm parseTerm(String term)

parseTerms

public io.github.prolobjectlink.prolog.PrologTerm[] parseTerms(String stringTerms)

newAtom

public io.github.prolobjectlink.prolog.PrologAtom newAtom(String functor)

Specified by:

newAtom in interface io.github.prolobjectlink.prolog.PrologProvider

newFloat

public io.github.prolobjectlink.prolog.PrologFloat newFloat(Number value)

Specified by:

newFloat in interface io.github.prolobjectlink.prolog.PrologProvider

newDouble

public io.github.prolobjectlink.prolog.PrologDouble newDouble(Number value)

Specified by:

newDouble in interface io.github.prolobjectlink.prolog.PrologProvider

newInteger

public io.github.prolobjectlink.prolog.PrologInteger newInteger(Number value)

Specified by:

newInteger in interface io.github.prolobjectlink.prolog.PrologProvider

newLong

public io.github.prolobjectlink.prolog.PrologLong newLong(Number value)

Specified by:

newLong in interface io.github.prolobjectlink.prolog.PrologProvider

newVariable

public io.github.prolobjectlink.prolog.PrologVariable newVariable(int position)

Specified by:

newVariable in interface io.github.prolobjectlink.prolog.PrologProvider

newVariable

public io.github.prolobjectlink.prolog.PrologVariable newVariable(String name,
                                                                  int position)

Specified by:

newVariable in interface io.github.prolobjectlink.prolog.PrologProvider

newList

public io.github.prolobjectlink.prolog.PrologList newList()

Specified by:

newList in interface io.github.prolobjectlink.prolog.PrologProvider

newList

public io.github.prolobjectlink.prolog.PrologList newList(io.github.prolobjectlink.prolog.PrologTerm[] arguments)

Specified by:

newList in interface io.github.prolobjectlink.prolog.PrologProvider

newList

public io.github.prolobjectlink.prolog.PrologList newList(io.github.prolobjectlink.prolog.PrologTerm head,
                                                          io.github.prolobjectlink.prolog.PrologTerm tail)

Specified by:

newList in interface io.github.prolobjectlink.prolog.PrologProvider

newList

public io.github.prolobjectlink.prolog.PrologList newList(io.github.prolobjectlink.prolog.PrologTerm[] arguments,
                                                          io.github.prolobjectlink.prolog.PrologTerm tail)

Specified by:

newList in interface io.github.prolobjectlink.prolog.PrologProvider

newStructure

public io.github.prolobjectlink.prolog.PrologStructure newStructure(String functor,
                                                                    io.github.prolobjectlink.prolog.PrologTerm... arguments)

Specified by:

newStructure in interface io.github.prolobjectlink.prolog.PrologProvider

newStructure

public io.github.prolobjectlink.prolog.PrologTerm newStructure(io.github.prolobjectlink.prolog.PrologTerm left,
                                                               String operator,
                                                               io.github.prolobjectlink.prolog.PrologTerm right)

Specified by:

newStructure in interface io.github.prolobjectlink.prolog.PrologProvider

newReference

public io.github.prolobjectlink.prolog.PrologTerm newReference(Object reference)

Specified by:

newReference in interface io.github.prolobjectlink.prolog.PrologProvider

newEntry

public final io.github.prolobjectlink.prolog.PrologTerm newEntry(io.github.prolobjectlink.prolog.PrologTerm key,
                                                                 io.github.prolobjectlink.prolog.PrologTerm value)

Specified by:

newEntry in interface io.github.prolobjectlink.prolog.PrologProvider

newEntry

public final io.github.prolobjectlink.prolog.PrologTerm newEntry(Object key,
                                                                 Object value)

Specified by:

newEntry in interface io.github.prolobjectlink.prolog.PrologProvider

newMap

public final io.github.prolobjectlink.prolog.PrologTerm newMap(Map<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm> map)

Specified by:

newMap in interface io.github.prolobjectlink.prolog.PrologProvider

newMap

public final io.github.prolobjectlink.prolog.PrologTerm newMap(int initialCapacity)

Specified by:

newMap in interface io.github.prolobjectlink.prolog.PrologProvider

newMap

public final io.github.prolobjectlink.prolog.PrologTerm newMap()

Specified by:

newMap in interface io.github.prolobjectlink.prolog.PrologProvider

falseReference

public io.github.prolobjectlink.prolog.PrologTerm falseReference()

Specified by:

falseReference in interface io.github.prolobjectlink.prolog.PrologProvider

trueReference

public io.github.prolobjectlink.prolog.PrologTerm trueReference()

Specified by:

trueReference in interface io.github.prolobjectlink.prolog.PrologProvider

nullReference

public io.github.prolobjectlink.prolog.PrologTerm nullReference()

Specified by:

nullReference in interface io.github.prolobjectlink.prolog.PrologProvider

voidReference

public io.github.prolobjectlink.prolog.PrologTerm voidReference()

Specified by:

voidReference in interface io.github.prolobjectlink.prolog.PrologProvider

getJavaConverter

public io.github.prolobjectlink.prolog.PrologJavaConverter getJavaConverter()

Specified by:

getJavaConverter in interface io.github.prolobjectlink.prolog.PrologProvider

getLogger

public io.github.prolobjectlink.prolog.PrologLogger getLogger()

Specified by:

getLogger in interface io.github.prolobjectlink.prolog.PrologProvider

toString

public String toString()

Specified by:

toString in class io.github.prolobjectlink.prolog.AbstractProvider

parseList

public io.github.prolobjectlink.prolog.PrologList parseList(String arg0)

parseStructure

public io.github.prolobjectlink.prolog.PrologStructure parseStructure(String arg0)

parseClause

public io.github.prolobjectlink.prolog.PrologClause parseClause(String arg0)

parseProgram

public Set<io.github.prolobjectlink.prolog.PrologClause> parseProgram(String arg0)

parseProgram

public Set<io.github.prolobjectlink.prolog.PrologClause> parseProgram(File arg0)

toTermMapArray

public <K extends io.github.prolobjectlink.prolog.PrologTerm,V> Map<String,io.github.prolobjectlink.prolog.PrologTerm>[] toTermMapArray(Map<String,V>[] arg0,
                                                                                                                                        Class<K> arg1)

toTermMap

public <K extends io.github.prolobjectlink.prolog.PrologTerm,V> Map<String,io.github.prolobjectlink.prolog.PrologTerm> toTermMap(Map<String,V> arg0,
                                                                                                                                 Class<K> arg1)

toTermMatrix

public <K extends io.github.prolobjectlink.prolog.PrologTerm> K[][] toTermMatrix(Object[][] arg0,
                                                                                 Class<K[][]> arg1)

toTermArray

public <K extends io.github.prolobjectlink.prolog.PrologTerm> K[] toTermArray(Object[] arg0,
                                                                              Class<K[]> arg1)

toTerm

public <K extends io.github.prolobjectlink.prolog.PrologTerm> K toTerm(Object arg0,
                                                                       Class<K> arg1)

fromTerm

public <K> K fromTerm(io.github.prolobjectlink.prolog.PrologTerm arg0,
                      Class<K> arg1)

fromTermArray

public <K> K[] fromTermArray(io.github.prolobjectlink.prolog.PrologTerm[] arg0,
                             Class<K[]> arg1)

fromTerm

public <K> K fromTerm(io.github.prolobjectlink.prolog.PrologTerm arg0,
                      io.github.prolobjectlink.prolog.PrologTerm[] arg1,
                      Class<K> arg2)