Package org.prolog4j.swi.impl

This package contains the SWI-Prolog implementation of the Prolog4J API.

Class Summary

Class	Description
SWIPrologConversionPolicy	SWI-Prolog implementation of the conversion policy.
SWIPrologProver	Represents a Prolog knowledge base and provides methods for solving queries on it.
SWIPrologQuery	The tuProlog implementation of the Query class.
SWIPrologSolution<S>	The Solution class is responsible for traversing through the solutions of a query.