Class Summary
NodeCollection Stores nodes of RuleSLDNode and VariableSLDNode to prevent unnecessary computations and to detect cycles.
PrologProgram This class models a program in Prolog.
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.