Hierarchy For All Packages
Package Hierarchies:Class Hierarchy
- java.lang.Object
- org.prolog4j.AbstractProver (implements org.prolog4j.Prover, java.io.Serializable)
- org.prolog4j.swi.impl.SWIPrologProver
- org.prolog4j.tuprolog.impl.TuPrologProver
- org.prolog4j.impl.Activator (implements org.osgi.framework.BundleActivator)
- org.prolog4j.manager.impl.Activator (implements org.osgi.framework.BundleActivator)
- org.prolog4j.Compound (implements java.io.Serializable)
- org.prolog4j.ConversionPolicy
- org.prolog4j.swi.impl.SWIPrologConversionPolicy
- org.prolog4j.tuprolog.impl.TuPrologConversionPolicy
- org.prolog4j.ConversionPolicy.TermPattern
- org.prolog4j.Converter<T>
- alice.tuprolog.Library (implements alice.tuprolog.IPrimitives, java.io.Serializable)
- alice.tuprolog.lib.TheoryLibrary
- org.prolog4j.tuprolog.impl.libraries.ListsLibrary
- alice.tuprolog.lib.TheoryLibrary
- org.prolog4j.ProverInformation
- org.prolog4j.manager.impl.ProverManager (implements org.prolog4j.manager.IProverManager)
- org.prolog4j.Query
- org.prolog4j.swi.impl.SWIPrologQuery
- org.prolog4j.tuprolog.impl.TuPrologQuery
- org.prolog4j.Solution<S> (implements java.lang.Iterable<T>)
- org.prolog4j.swi.impl.SWIPrologSolution<S>
- org.prolog4j.tuprolog.impl.TuPrologSolution<S>
- org.prolog4j.swi.SWIPrologProverFactory (implements org.prolog4j.IProverFactory)
- java.lang.Throwable (implements java.io.Serializable)
- java.lang.Exception
- java.lang.RuntimeException
- org.prolog4j.InvalidQueryException
- org.prolog4j.UnknownVariableException
- java.lang.RuntimeException
- java.lang.Exception
- org.prolog4j.tuprolog.TuPrologProverFactory (implements org.prolog4j.IProverFactory)
- org.prolog4j.AbstractProver (implements org.prolog4j.Prover, java.io.Serializable)
Interface Hierarchy
- org.prolog4j.IProverFactory
- org.prolog4j.manager.IProverManager
- java.util.Iterator<E>
- org.prolog4j.SolutionIterator<S>
- org.prolog4j.Prover