ubc.cs.JLog.Foundation
Class jDebugProver

java.lang.Object
  extended by ubc.cs.JLog.Foundation.jProver
      extended by ubc.cs.JLog.Foundation.jDebugProver

public class jDebugProver
extends jProver


Field Summary
protected  jPrologServiceBroadcaster debugmessages
           
protected  boolean step
           
 
Fields inherited from class ubc.cs.JLog.Foundation.jProver
database, goals, proved
 
Constructor Summary
jDebugProver(jKnowledgeBase kb, jPrologServiceBroadcaster debugm)
           
 
Method Summary
protected  iGoalStack createGoalsStack()
          Construct a goal stack for goals.
protected  iGoalStack createProvedStack()
          Construct a goal stack for proved.
protected  boolean internal_prove()
           
protected  boolean internal_retry()
           
 boolean prove(jPredicateTerms goal)
          Initiate a proof of the provided goal.
 void step()
           
protected  void waitForSingleStep()
           
 
Methods inherited from class ubc.cs.JLog.Foundation.jProver
retry
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

debugmessages

protected jPrologServiceBroadcaster debugmessages

step

protected boolean step
Constructor Detail

jDebugProver

public jDebugProver(jKnowledgeBase kb,
                    jPrologServiceBroadcaster debugm)
Method Detail

prove

public boolean prove(jPredicateTerms goal)
Description copied from class: jProver
Initiate a proof of the provided goal.

Overrides:
prove in class jProver
Parameters:
goal - the term to attempt to prove.
Returns:
true if the proof of goal succeeded, false otherwise.

step

public void step()

waitForSingleStep

protected void waitForSingleStep()

internal_prove

protected boolean internal_prove()
Overrides:
internal_prove in class jProver

internal_retry

protected boolean internal_retry()
Overrides:
internal_retry in class jProver

createGoalsStack

protected iGoalStack createGoalsStack()
Description copied from class: jProver
Construct a goal stack for goals. Subclasses can override this factory method to return goal stacks with different capabilities (but same interface).

Overrides:
createGoalsStack in class jProver
Returns:
instance of iGoalStack.

createProvedStack

protected iGoalStack createProvedStack()
Description copied from class: jProver
Construct a goal stack for proved. Subclasses can override this factory method to return goal stacks with different capabilities (but same interface).

Overrides:
createProvedStack in class jProver
Returns:
instance of iGoalStack.