Class Hierarchy
- java.lang.Object
- org.prolog4j.AbstractProver (implements org.prolog4j.Prover, java.io.Serializable)
- org.prolog4j.swi.impl.SWIPrologProver
- org.prolog4j.ConversionPolicy
- org.prolog4j.swi.impl.SWIPrologConversionPolicy
- org.prolog4j.Query
- org.prolog4j.swi.impl.SWIPrologQuery
- org.prolog4j.Solution<S> (implements java.lang.Iterable<T>)
- org.prolog4j.swi.impl.SWIPrologSolution<S>
- org.prolog4j.AbstractProver (implements org.prolog4j.Prover, java.io.Serializable)