io.github.prolobjectlink.prolog.jpl.swi

Class SwiProlog

java.lang.Object

io.github.prolobjectlink.prolog.AbstractProvider

io.github.prolobjectlink.prolog.jpl.JplProvider

io.github.prolobjectlink.prolog.jpl.swi.SwiProlog

All Implemented Interfaces:

io.github.prolobjectlink.prolog.PrologProvider

public class SwiProlog
extends io.github.prolobjectlink.prolog.jpl.JplProvider
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
SwiProlog()
SwiProlog(io.github.prolobjectlink.prolog.PrologConverter<jpl.Term> converter)

Method Summary

Modifier and Type	Method and Description
<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.PrologEngine	newEngine()
io.github.prolobjectlink.prolog.PrologEngine	newEngine(String path)
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 arg0)
io.github.prolobjectlink.prolog.PrologTerm[]	parseTerms(String arg0)
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)

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

falseReference, getLogger, newAtom, newDouble, newEntry, newEntry, newFloat, newInteger, newList, newList, newList, newList, newLong, newMap, newMap, newMap, newReference, newStructure, newStructure, newVariable, newVariable, nullReference, parseTerm, parseTerms, prologCut, prologEmpty, prologFail, prologFalse, prologInclude, prologNil, prologTrue, trueReference, 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, falseReference, getConverter, getLogger, getName, getParser, getVersion, isCompliant, newAtom, newDouble, newDouble, newEntry, newEntry, newFloat, newFloat, newInteger, newInteger, newList, newList, newList, newList, newList, newList, newList, newList, newList, newLong, newLong, newMap, newMap, newMap, newReference, newStructure, newStructure, newStructure, newStructure, newVariable, newVariable, nullReference, prologCut, prologEmpty, prologFail, prologFalse, prologInclude, prologNil, prologTrue, trueReference, voidReference

Constructor Detail

SwiProlog

public SwiProlog()

SwiProlog

public SwiProlog(io.github.prolobjectlink.prolog.PrologConverter<jpl.Term> converter)

Method Detail

getJavaConverter

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

Specified by:

getJavaConverter 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

toString

public String toString()

Specified by:

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

parseTerm

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

parseTerms

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

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)