|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use CycleFoundException | |
---|---|
edu.cs.ai.kreator.logic.prolog |
Uses of CycleFoundException in edu.cs.ai.kreator.logic.prolog |
---|
Methods in edu.cs.ai.kreator.logic.prolog that throw CycleFoundException | |
---|---|
java.lang.String |
PrologProgram.isEntailed(GeneralizedAtom atom)
Checks whether the given atom is entailed by this prolog program. |
java.lang.String |
PrologProgram.isEntailed(GeneralizedAtom atom,
java.util.List<AtomExpression> evidences)
Checks whether the given atom is entailed by this prolog program. |
boolean |
VariableSldNode.isEntailed(PrologProgram program,
NodeCollection nodes)
|
boolean |
RuleSldNode.isEntailed(PrologProgram program,
NodeCollection nodes)
|
abstract boolean |
AbstractSldNode.isEntailed(PrologProgram program,
NodeCollection nodes)
Checks whether the atom encapsulated in this node is entailed by program in the current step of SLD resolution. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |