Package org.prolog4j

Provides the foundation classes of the Prolog4J Framework.

Interface Summary

Interface	Description
IProverFactory	IProverFactory instances manufacture Prover instances by name.
Prover	A Prover object represents a Prolog knowledge base, on which you can create and solve queries.
SolutionIterator<S>	The SolutionIterator interface servers for traversing the solutions of a Prolog query.

Class Summary

Class	Description
AbstractProver	Serves as base class for prover implementation.
Compound	Represents a Prolog compound term.
ConversionPolicy	An instance of this class represents how terms are converted to regular Java objects (POJOs) and vice versa.
Converter<T>	Converter instances can convert objects of type T to another object.
ProverInformation
Query	Represents a Prolog query.
Solution<S>	Represents the solutions of a query.

Exception Summary

Exception	Description
InvalidQueryException	This exception is thrown when a syntactically incorrect Prolog query is processed.
UnknownVariableException	This exception is thrown when a syntactically incorrect Prolog query is processed.