Uses of Class
edu.cs.ai.kreator.logic.prolog.CycleFoundException

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.