Package edu.cs.ai.kreator.logic.prolog

Class Summary

AbstractSldNode
NodeCollection	Stores nodes of RuleSLDNode and VariableSLDNode to prevent unnecessary computations and to detect cycles.
PrologProgram	This class models a program in Prolog.
PrologTest
RuleSldNode	This class models a rule node in the SLD resolution tree of a prolog query.
VariableSldNode	This class models a variable node in the SLD resolution tree of a Prolog query.

Exception Summary

CycleFoundException

This class models a cycle exception for Prolog and BLPs, that can be thrown by the inference algorithm when a cycle is detected.