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

Packages that use edu.cs.ai.kreator.logic.prolog

edu.cs.ai.kreator.logic.prolog

Classes in edu.cs.ai.kreator.logic.prolog used by edu.cs.ai.kreator.logic.prolog

AbstractSldNode

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

NodeCollection
Stores nodes of RuleSLDNode and VariableSLDNode to prevent unnecessary computations and to detect cycles.

PrologProgram
This class models a program in Prolog.

VariableSldNode
This class models a variable node in the SLD resolution tree of a Prolog query.