Class Hierarchy
- java.lang.Object
- org.prolog4j.AbstractProver (implements org.prolog4j.Prover, java.io.Serializable)
- org.prolog4j.Compound (implements java.io.Serializable)
- org.prolog4j.ConversionPolicy
- org.prolog4j.ConversionPolicy.TermPattern
- org.prolog4j.Converter<T>
- org.prolog4j.ProverInformation
- org.prolog4j.Query
- org.prolog4j.Solution<S> (implements java.lang.Iterable<T>)
- 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
Interface Hierarchy
- org.prolog4j.IProverFactory
- java.util.Iterator<E>
- org.prolog4j.SolutionIterator<S>
- org.prolog4j.Prover