Package org.prolog4j.tuprolog.impl
This package contains the tuProlog implementation of the Prolog4J API.
-
Class Summary Class Description TuPrologConversionPolicy tuProlog implementation of the conversion policy.TuPrologProver Represents a Prolog knowledge base and provides methods for solving queries on it.TuPrologQuery The tuProlog implementation of the Query class.TuPrologSolution<S> The Solution class is responsible for traversing through the solutions of a query.