ubc.cs.JLog.Foundation
Class jDebugProver
java.lang.Object
ubc.cs.JLog.Foundation.jProver
ubc.cs.JLog.Foundation.jDebugProver
public class jDebugProver
- extends jProver
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 |
debugmessages
protected jPrologServiceBroadcaster debugmessages
step
protected boolean step
jDebugProver
public jDebugProver(jKnowledgeBase kb,
jPrologServiceBroadcaster debugm)
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
.