Uses of Interface
io.github.prolobjectlink.prolog.PrologProvider

Packages that use PrologProvider

Package	Description
io.github.prolobjectlink.prolog
io.github.prolobjectlink.prolog.spi

Uses of PrologProvider in io.github.prolobjectlink.prolog

Classes in io.github.prolobjectlink.prolog that implement PrologProvider

Modifier and Type	Class and Description
class	AbstractProvider Partial implementation of PrologProvider

Fields in io.github.prolobjectlink.prolog declared as PrologProvider

Modifier and Type	Field and Description
protected PrologProvider	AbstractTerm.provider
protected PrologProvider	AbstractEngine.provider
protected PrologProvider	AbstractConverter.provider
protected PrologProvider	AbstractClause.provider

Methods in io.github.prolobjectlink.prolog that return PrologProvider

Modifier and Type	Method and Description
PrologProvider	PrologConverter.createProvider() Create a Prolog provider instance.
PrologProvider	PrologType.getProvider() Prolog provider associated to the current term.
PrologProvider	PrologTerm.getProvider() Prolog provider associated to the current term.
PrologProvider	PrologScriptEngine.getProvider()
PrologProvider	PrologQuery.getProvider() Provider instance
PrologProvider	PrologEngine.getProvider() Get a Prolog provider instance hold in the current engine.
static PrologProvider	Prolog.getProvider() Create and return an instance of Prolog Provider using Java Platform discovery pattern.
PrologProvider	AbstractTerm.getProvider()
PrologProvider	AbstractQuery.getProvider()
PrologProvider	AbstractEngine.getProvider()
static PrologProvider	Prolog.getProvider(Class<?> providerClass) Create and return an instance of Prolog Provider from the given class.
static PrologProvider	Prolog.getProvider(String className) Create and return an instance of Prolog Provider using the Prolog Provider class name.

Constructors in io.github.prolobjectlink.prolog with parameters of type PrologProvider

Constructor and Description
AbstractClause(PrologProvider provider, PrologTerm head, boolean dynamic, boolean multifile, boolean discontiguous) Create a new fact clause.
AbstractClause(PrologProvider provider, PrologTerm head, PrologTerm body, boolean dynamic, boolean multifile, boolean discontiguous) Create a new rule clause.
AbstractCompounds(int type, PrologProvider provider)
AbstractConsole(PrologProvider provider)
AbstractEngine(PrologProvider provider)
AbstractJavaConverter(PrologProvider provider)
AbstractTerm(int type, PrologProvider provider)

Uses of PrologProvider in io.github.prolobjectlink.prolog.spi

Methods in io.github.prolobjectlink.prolog.spi that return PrologProvider

Modifier and Type	Method and Description
static PrologProvider	ServiceProviderLocator.getProvider() Create and return an instance of Prolog Provider using Java Platform discovery pattern.
static PrologProvider	ServiceProviderLocator.getProvider(Class<?> providerClass) Create and return an instance of Prolog Provider from the given class.
static PrologProvider	ServiceProviderLocator.getProvider(String className) Create and return an instance of Prolog Provider using the Prolog Provider class name.