All Classes
-
All Classes Interface Summary Class Summary Exception Summary Class Description AbstractProver Serves as base class for prover implementation.Activator Activator 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> Converterinstances can convert objects of type T to another object. InvalidQueryException This exception is thrown when a syntactically incorrect Prolog query is processed.IProverFactory IProverFactory
instances manufactureProver
instances by name.IProverManager ListsLibrary Prover A Prover object represents a Prolog knowledge base, on which you can create and solve queries.ProverInformation ProverManager TheProverFactory
is a utility class producing Provers for various Prolog APIs, most notably for tuProlog, jTrolog and JLog.Query Represents a Prolog query.Solution<S> Represents the solutions of a query.SolutionIterator<S> The SolutionIterator interface servers for traversing the solutions of a Prolog query.SWIPrologConversionPolicy SWI-Prolog implementation of the conversion policy.SWIPrologProver Represents a Prolog knowledge base and provides methods for solving queries on it.SWIPrologProverFactory An implementation ofIProverFactory
which always returns the sameSWIPrologProver
instance.SWIPrologQuery The tuProlog implementation of the Query class.SWIPrologSolution<S> The Solution class is responsible for traversing through the solutions of a query.TuPrologConversionPolicy tuProlog implementation of the conversion policy.TuPrologProver Represents a Prolog knowledge base and provides methods for solving queries on it.TuPrologProverFactory An implementation ofIProverFactory
which always returnsTuPrologProver
instances.TuPrologQuery The tuProlog implementation of the Query class.TuPrologSolution<S> The Solution class is responsible for traversing through the solutions of a query.UnknownVariableException This exception is thrown when a syntactically incorrect Prolog query is processed.