Class Hierarchy
- java.lang.Object
- org.prolog4j.AbstractProver (implements org.prolog4j.Prover, java.io.Serializable)
- org.prolog4j.tuprolog.impl.TuPrologProver
- org.prolog4j.ConversionPolicy
- org.prolog4j.tuprolog.impl.TuPrologConversionPolicy
- org.prolog4j.Query
- org.prolog4j.tuprolog.impl.TuPrologQuery
- org.prolog4j.Solution<S> (implements java.lang.Iterable<T>)
- org.prolog4j.tuprolog.impl.TuPrologSolution<S>
- org.prolog4j.AbstractProver (implements org.prolog4j.Prover, java.io.Serializable)