edu.cs.ai.kreator.logic.prolog
Class AbstractSldNode

java.lang.Object
  extended by edu.cs.ai.kreator.logic.prolog.AbstractSldNode
Direct Known Subclasses:
RuleSldNode, VariableSldNode

public abstract class AbstractSldNode
extends java.lang.Object


Constructor Summary
AbstractSldNode()
           
 
Method Summary
abstract  boolean isEntailed(PrologProgram program, NodeCollection nodes)
          Checks whether the atom encapsulated in this node is entailed by program in the current step of SLD resolution.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AbstractSldNode

public AbstractSldNode()
Method Detail

isEntailed

public abstract boolean isEntailed(PrologProgram program,
                                   NodeCollection nodes)
                            throws CycleFoundException
Checks whether the atom encapsulated in this node is entailed by program in the current step of SLD resolution.

Parameters:
program - a prolog program
nodes - a node collection
Returns:
"true" if query is entailed
Throws:
CycleFoundException - if there is a cycle in this prolog program that forbids inference.