edu.isi.powerloom.logic
Class ControlFrame

java.lang.Object
  edu.isi.stella.Stella_Object
      edu.isi.stella.StandardObject
          edu.isi.powerloom.logic.ControlFrame

Direct Known Subclasses:

ParallelControlFrame

public class ControlFrame
extends StandardObject

Field Summary

int	allottedClockTicks Total clock ticks allotted to prove this goal.
int	argumentCursor
boolean	cachedGoalResultP
int	choicePointUnbindingOffset
Keyword	currentStrategy
boolean	dontCacheGoalFailureP
ControlFrame	down
KeyValueList	dynamicSlots
Cons	goalBindings
PatternRecord	inheritedPatternRecord
List	justifications
Cons	nextStrategies
PartialMatchFrame	partialMatchFrame
PatternRecord	patternRecord
Proposition	proposition
ControlFrame	result
boolean	reversePolarityP
int	startingClockTicks Clock ticks at last :DOWN move.
Keyword	state
TruthValue	truthValue
ControlFrame	up

Constructor Summary

ControlFrame()

Method Summary

static Stella_Object	accessControlFrameSlotValue(ControlFrame self, Symbol slotname, Stella_Object value, boolean setvalueP)
static AtomicGoalCacheIterator	allCachedPropositions(ControlFrame goal)
List	allJustifications()
static Vector	allocateCollectionVariables(ControlFrame frame, Description description)
static void	attachSupport(ControlFrame frame, Keyword lastmove)
BooleanWrapper	badP()
static void	cacheGoal(ControlFrame frame, boolean successP, boolean keepframeP, int clockticks)
static boolean	checkForDuplicateGoalP(ControlFrame frame)
static boolean	checkForDuplicateRuleP(ControlFrame frame, Proposition impliesproposition)
static void	clearStrategySlots(ControlFrame frame)
static void	collectPatternQueryBindings(ControlFrame frame)
static int	computeFrameDepth(ControlFrame frame)
static boolean	computePartialMatchAndFailureP(ControlFrame frame)
static boolean	computePartialMatchOrSuccessP(ControlFrame frame)
static boolean	computePartialMatchScoreP(ControlFrame frame)
static Proposition	computeSubqueryOptions(ControlFrame frame, java.lang.Object[] MV_returnarray)
static Keyword	computeVarianceOrStandardDeviation(ControlFrame frame, Keyword lastmove, boolean standardDeviationP)
static Keyword	continueAndProof(ControlFrame frame, Keyword lastmove)
static Keyword	continueAntecedentsProof(ControlFrame frame, Keyword lastmove)
static Keyword	continueCachedBindingsProof(ControlFrame frame, Keyword lastmove)
static Keyword	continueClusteredConjunctionProof(ControlFrame andframe, Keyword lastmove)
static Keyword	continueConditionalAntecedentProof(ControlFrame frame, Keyword lastmove)
static Keyword	continueConstantProof(ControlFrame frame, Keyword lastmove)
static Keyword	continueContainedByProof(ControlFrame frame, Keyword lastmove)
static Keyword	continueCurrentOrNextStrategy(ControlFrame frame)
static Keyword	continueExistsProof(ControlFrame frame, Keyword lastmove)
static Keyword	continueFailProof(ControlFrame frame, Keyword lastmove)
static Keyword	continueForallProof(ControlFrame frame, Keyword lastmove)
static Keyword	continueNotProof(ControlFrame frame, Keyword lastmove)
static Keyword	continueOrProof(ControlFrame frame, Keyword lastmove)
Keyword	continuePartialAndProof(ControlFrame frame, Keyword lastmove)
Keyword	continuePartialFailProof(Keyword lastmove)
Keyword	continuePartialNotProof(Keyword lastmove)
Keyword	continuePartialOrProof(Keyword lastmove)
Keyword	continuePartialStrategiesProofs(Keyword lastmove)
static Keyword	continuePatternProof(ControlFrame frame, Keyword lastmove)
static Keyword	continueSpecialistProof(ControlFrame frame, Keyword lastmove)
static Keyword	continueStrategiesProofs(ControlFrame frame, Keyword lastmove)
static void	copyFrameState(ControlFrame fromframe, ControlFrame toframe)
static void	createAndLinkPartialMatchFrame(ControlFrame frame, Keyword kind)
static AtomicGoalCache	createAtomicGoalCache(ControlFrame frame, AtomicGoalCache cache, boolean successP)
static void	createChoicePoint(ControlFrame frame)
static void	createCollectDescriptionExtensionFrame(ControlFrame frame, Description description)
static ControlFrame	createConditionalAntecedentSubframe(ControlFrame frame, Proposition goal, Proposition provablerule)
static ControlFrame	createDownFrame(ControlFrame upframe, Proposition downproposition)
static boolean	createGoalCacheP(ControlFrame frame)
static PatternRecord	createPatternRecord(ControlFrame frame, Description description, Vector externalarguments)
static QueryIterator	createQuerySpecialistIterator(ControlFrame frame, java.lang.Object[] MV_returnarray)
static ControlFrame	createSubgoalFrame(ControlFrame upframe, Proposition goal, Keyword strategy)
static int	debugFrameId(ControlFrame frame)
boolean	definedFramePartialTruthP()
boolean	deletedP() Default deletedP method which always returns FALSE.
boolean	deletedPSetter(boolean value)
static void	dontCacheGoalFailureBetweenFrames(ControlFrame topframe, ControlFrame bottomframe)
static void	establishGoalCache(ControlFrame frame)
static Keyword	evaluateNextMove(ControlFrame frame, Keyword lastmove, int clockticks)
static Keyword	executeProofStrategy(ControlFrame frame)
static Description	extractSubgoalDescriptionOfFrame(ControlFrame frame)
static Proposition	extractSubgoalOfFrame(ControlFrame frame)
static int	failedGoalIndex(ControlFrame frame)
static AtomicGoalCache	findCachedGoal(ControlFrame frame, Keyword successorfailure)
static ControlFrame	findDuplicatedGoal(ControlFrame frame, java.lang.Object[] MV_returnarray)
static Vector	findExternalArgumentsForSubgoal(ControlFrame frame)
static GoalCache	findGoalCache(ControlFrame frame)
static Proposition	getRuleOfAntecedentFrame(ControlFrame frame)
static int	goalHashCode(ControlFrame frame)
static boolean	goalInstantiatesCacheP(ControlFrame goal, AtomicGoalCache cache, boolean successP)
static ControlFrame	handleDepthViolation(ControlFrame frame, int depth, java.lang.Object[] MV_returnarray)
static ControlFrame	handleTimeout(ControlFrame frame, int depth, java.lang.Object[] MV_returnarray)
static boolean	hasShallowDisproofP(ControlFrame frame)
static ControlFrame	helpFindDuplicatedGoal(ControlFrame goalframe, java.lang.Object[] MV_returnarray)
boolean	holdsByDefaultP()
static Keyword	initiateAtomicGoalProofs(ControlFrame frame)
static Keyword	interpretIterativeForallScores(ControlFrame frame, Keyword lastmove)
static Keyword	lookupCachedProof(ControlFrame frame)
static Keyword	nativeSlotReaderSpecialist(ControlFrame frame, Keyword lastmove)
static boolean	newBindingsSinceLastChoicePointP(ControlFrame frame)
static ControlFrame	newControlFrame()
static Keyword	oldInterpretAndScores(ControlFrame frame, Keyword lastmove)
static Keyword	oldInterpretFailScore(ControlFrame frame, Keyword lastmove)
static Keyword	oldInterpretGoalScores(ControlFrame frame, Keyword lastmove)
static Keyword	oldInterpretOrScores(ControlFrame frame, Keyword lastmove)
static PatternRecord	operativePatternRecord(ControlFrame frame)
static Keyword	overlayWithFailFrame(ControlFrame frame, Proposition proposition)
static boolean	overlayWithPatternFrameP(ControlFrame frame, Description description, Vector ioarguments)
static Keyword	overlayWithStrategyFrame(ControlFrame frame, Keyword strategy)
static ParallelControlFrame	parallelizeControlFrame(ControlFrame frame)
static void	popControlFrame(ControlFrame frame)
static void	popDownFrame(ControlFrame frame)
static void	popFramesUpTo(ControlFrame frame)
Surrogate	primaryType() Returns the primary type of self.
static void	printControlFrame(ControlFrame self, java.io.PrintStream stream)
static void	printControlFrameStack(ControlFrame frame)
static void	printGoalInGoalTree(ControlFrame frame, int depth)
static void	printGoalStack(ControlFrame frame, boolean verboseP) Print stack of goals.
void	printObject(java.io.PrintStream stream)
static void	printRuleInGoalTree(ControlFrame frame, Proposition impliesprop, int depth)
static void	printVariableBindings(ControlFrame frame)
static TruthValue	propagateFrameTruthValue(ControlFrame source, ControlFrame target)
static void	pushNextStrategy(ControlFrame frame, Keyword strategy)
List	querySpecialistIoVariables()
static void	recordAndIntroductionJustification(ControlFrame frame, Keyword lastmove)
static void	recordBasePartialMatchTruth(ControlFrame frame, Keyword result)
static void	recordClosedNotJustification(ControlFrame frame, Keyword lastmove)
static void	recordDisproofJustification(ControlFrame frame, Keyword lastmove)
static void	recordExistentialIntroductionJustification(ControlFrame frame, Keyword lastmove)
static void	recordFailJustification(ControlFrame frame, Keyword lastmove)
static void	recordGoalJustification(ControlFrame goal, Justification justification)
static void	recordLatestPartialMatchScore(ControlFrame frame)
static void	recordModusPonensJustification(ControlFrame frame, Keyword lastmove)
static void	recordOrIntroductionJustification(ControlFrame frame, Keyword lastmove)
static void	recordPatternJustification(ControlFrame frame, Keyword lastmove)
static void	recordPrimitiveJustification(ControlFrame frame, Keyword lastmove)
static void	registerInferenceCutoff(ControlFrame frame, Keyword reason)
static void	resetCurrentPatternRecord(ControlFrame frame, Keyword localorparent)
static Keyword	resumeProofStrategyAfterSubgoal(ControlFrame frame, Keyword lastmove)
static Keyword	scanCachedGoals(ControlFrame frame)
static ControlFrame	selectNextStrategy(ControlFrame frame)
void	setCachePartialTruth(AtomicGoalCache cache)
static TruthValue	setFrameTruthValue(ControlFrame frame, TruthValue truthvalue)
void	setJustificationPartialTruth(Justification justification)
static int	succeededGoalIndex(ControlFrame frame)
static void	traceGoalTree(ControlFrame frame, int depth, Keyword lastmove)
static boolean	transferPatternQueryBindingsP(ControlFrame frame, boolean futurebindingsP)
static Keyword	tryContainedByProof(ControlFrame upframe)
static Keyword	tryDisjunctiveImplicationProof(ControlFrame frame)
static Keyword	tryEquivalenceProof(ControlFrame frame)
static Keyword	tryForwardGoalsProof(ControlFrame frame)
static Keyword	tryFullDisproof(ControlFrame frame)
static Keyword	tryFullSubqueryProof(ControlFrame frame)
static Keyword	tryGoalCachesProof(ControlFrame frame)
static Keyword	tryGoalComplementProof(ControlFrame frame)
static Keyword	tryImpliesProof(ControlFrame frame)
static Keyword	tryIsaPropositionProof(ControlFrame frame)
static Keyword	tryLookupGroundAssertionsProof(ControlFrame frame)
static Keyword	tryManufactureSkolemProof(ControlFrame frame)
static Keyword	tryParallelThreadProof(ControlFrame frame)
static Keyword	tryRefutationProof(ControlFrame frame)
static Keyword	tryScanCollectionProof(ControlFrame frame)
static Keyword	tryScanForValueClashProof(ControlFrame frame)
static Keyword	tryScanPartialPropositionsProof(ControlFrame frame)
static Keyword	tryScanPropositionsProof(ControlFrame frame)
static Keyword	tryShallowDisproof(ControlFrame frame)
static Keyword	trySubgoalStrategiesProof(ControlFrame frame)
static Keyword	trySubsumptionTest(ControlFrame frame)
static Keyword	tryUniversalIntroductionProof(ControlFrame frame)
static boolean	unboundVariablesInFrameP(ControlFrame frame)
static void	unwindToChoicePoint(ControlFrame frame)
static void	unwindToChoicePointsBelowFrame(ControlFrame frame)
static void	updateGoalCache(ControlFrame frame, boolean successP)
static Cons	yieldRelativeGoalBindings(ControlFrame frame)

Methods inherited from class edu.isi.stella.StandardObject

arrayTypeSpecifierP, baseTypeToTypeSpec, cantOverwriteActiveCollectionSlot, compatibleParameterTypesP, computeAnchoredTypeSpec, computeRelativeTypeSpec, conformingTypeSpecP, copyWrappedLiteral, cppReferenceTypeP, cppReferencizeType, cppTranslateAndPointerizeTypeSpec, cppTranslateAndReferencizeTypeSpec, cppTranslateTypeSpec, dropSlotValue, extractParameterType, extractRequiredArgumentValues, getSlot, hashCode_, idlTranslateTypeSpec, inverseSlotDemon, javaLiteralP, javaNativeLiteralWrapperNames, javaSpecialSetterName, javaTranslateArrayOfTypeSpec, javaTranslateTypeSpec, javaTranslateTypeSpecForFunction, javaTranslateTypeSpecHelper, javaYieldClassObjectArrayExpression, javaYieldClassObjectExpression, javaYieldFullyQualifiedTypeName, javaYieldTranslatedClassAndMethodNames, listifyTypeSpec, lookupClTypeFromStellaType, objectEqlP, putSlotValue, readSlotValue, runConstructorDemons, runDestructorDemons, runSlotDemons, runSlotGuardDemonsP, standardObjectP, subTypeSpecOfP, twoArgumentLeastCommonSupertype, typeSpecToBaseType, typeSpecToClass, typeToWalkedNullValueTree, validateTypeSpecifier, voidP, walkTypeSpecIsNativeTypeP, writeSlotValue, yieldTypeSpecTree

Methods inherited from class edu.isi.stella.Stella_Object

_, accessInContext, amPm, anchoredTypeSpecifierP, andOrNotTreeP, applyCoercionMethod, atomicExpressionP, bindToSurrogateP, booleanP, bootstrapIsaP, bquotify, cast, characterP, clTranslateAtomicTree, clTranslateATree, clTranslateBooleanTest, clTranslatePlainBooleanTest, clTranslateVerbatimBodySymbols, clYieldTypedExpressionTree, coerceATree, coerceEvaluatedTree, coerceMvTree, coerceToBoolean, coerceToModule, coerceToModuleName, coerceToSymbol, coerceToXmlElement, coercibleP, collectFeatureList, collectKeyValueList, commonLispSymbolP, computeExpressionType, cons, consify, consifyListsAndIterators, consP, consTreeMatchP, convertToLiteral, copyConsTree, cppArgumentIsStreamP, cppBinaryOperatorP, cppBlockP, cppMaybeOutputStatementWithParentheses, cppOperatorP, cppOutputAtomicExpression, cppOutputLiteral, cppOutputOneActualParameter, cppOutputStatement, cppOutputTypedEntity, cppPrognifyStatement, cppPrognP, cppStatementToList, cppStreamIsStandardOutputP, cpptrans, cppTranslateAtomicTree, cppTranslateATree, cppTranslatedArrayTypeP, csValueP, dateDivider, dateTimeDivider, day, dealWithAmPm, dealWithEra, dealWithNoonMidn, decrementReferenceCount, defaultOptionHandler, defineSystem, defmodule, describe, describeObject, describeTersely, destructureMethodNameTree, deUglifyParseTree, either, eqlP, eqlToBooleanP, eqlToCharacterP, eqlToFloatP, eqlToIntegerP, eqlToStringP, equalConsTreesP, equalHashCode, equalP, era, estimatedEvaluationCost, evaluate, evaluateArgumentTree, evaluateAtomicTree, evaluateCommand, expandBquoteTree, filterModuleP, floatP, free, get, getObject, hashlist, hashMemoizedArguments, helpBquotify, helpClTranslateATree, helpCoerceATree, helpLptrans, helpPrintOutline, helpTransformBooleanProceduralExpression, helpWalkATree, homeModule, hour, idlOutputAtomicExpression, idlOutputLiteral, idlOutputStatement, idlTranslateAtomicTree, idlTranslateATree, illegalTreeP, implodePathname, incrementallyTranslate, incrementReferenceCount, inlineUnwrapBoolean, inlineWrapBoolean, inModule, integerP, isaP, javaBinaryOperatorP, javaBlockP, javaEndOfLineTokenP, javaHelpOutputPrintStream, javaMaybeOutputStatementWithParentheses, javaOperatorP, javaOutputLiteral, javaOutputStatement, javaPrognP, javaStreamIsStandardOutputP, javaSymbolCaseP, javaTranslateAtomicTree, javaTranslateATree, javaTranslateWithNativeWrapper, jptrans, keywordP, kvCons, legalTokenizerFromStateP, legalTokenizerStateP, legalTokenizerToStateP, literalEqlP, logLevelLE, lptrans, makeFileNameFromRelativePath, makeMemoizedValueEntry, makeMemoizedValueEntryn, matchConsTree, methodSlotP, minute, month, nameToString, nilP, noonMidn, numberWrapperToFloat, objectEqualP, objectHashCode, one, oneI, onlyIf, parametricTypeSpecifierP, parseArrayDimensionsSpec, parseTokenizerCharacterSpec, parseTokenizerStateModifiers, permanentCopy, permanentify, permanentifyForm, po, prettyPrintLiteral, primaryClass, printOutline, printStellaCode, printStellaDefinition, printUndefinedSuperClasses, proceduralExpressionP, ptrans, publicSlots, registerRecycledItem, runOptionHandlerP, safeEqualHashCode, safeHashCode, safePrimaryType, safeYieldTypeSpecifier, searchConsTreeP, searchConsTreeWithFilterP, searchForObject, secondp, sideEffectFreeExpressionP, simplifyBquoteTree, specialp, stella_Increment, stellaClassP, stellaCollectionP, stellaNeedToCompileP, stellaNeedToTranslateP, stellaObjectP, stellify, storageSlotP, stringifyInModule, stringP, substituteConsTree, substituteOnce, surrogateP, surrogatify, sweep, symbolCaseP, symbolP, sysTree, targetLanguageType, taxonomyIsaP, timeDivider, timeMultiply, tokenizerIncludeSpecP, tokenizerToStateAlias, tokenizerToStateName, toString, traceIf, traceKeywordP, transientifyForm, transientObjectP, transientSymbolP, translateWalkedTree, treeSize, treeToTrees, trueOptionP, tryToEvaluate, typeP, typify, unmake, unregisterRecycledItem, updateInContext, valuesTreeP, variableExpressionP, verbatimStringP, verbatimTreeP, vetOptions, vrletExpressionP, walkAtomicTree, walkATree, walkCollectionTree, walkDontCallMeTree, walkedExpressionType, walkExpressionTree, walkMvExpressionTree, walkMvTree, walkStatement, walkTopLevelExpression, walkWithoutTypeTree, warnAboutUnknownSourceType, weekday, withinContext, withinModule, withinWorld, withStellaTokenizer, withSystemDefinition, withTokenizer, wrapperP, wrapWhereTest, xmlAttributeP, xmlCdataFormP, xmlCdataP, xmlDeclarationFormP, xmlDeclarationP, xmlDoctypeFormP, xmlElementFormP, xmlElementP, xmlnsAttributeP, xmlProcessingInstructionFormP, xmlProcessingInstructionP, xmlTagCase, year, yieldCondTest, yieldCondTestOrTests, yieldHardcodedCaseSymbolIdOrIds, yieldInCursorClausesForArgumentList, yieldInCursorClausesForGeneralCollection, yieldInCursorClausesForVector, yieldTypeSpecifier, zone, zoneMinute

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

state

public Keyword state

proposition

public Proposition proposition

truthValue

public TruthValue truthValue

reversePolarityP

public boolean reversePolarityP

startingClockTicks

public int startingClockTicks

Clock ticks at last :DOWN move.

allottedClockTicks

public int allottedClockTicks

Total clock ticks allotted to prove this goal.

up

public ControlFrame up

down

public ControlFrame down

result

public ControlFrame result

argumentCursor

public int argumentCursor

patternRecord

public PatternRecord patternRecord

inheritedPatternRecord

public PatternRecord inheritedPatternRecord

choicePointUnbindingOffset

public int choicePointUnbindingOffset

currentStrategy

public Keyword currentStrategy

nextStrategies

public Cons nextStrategies

partialMatchFrame

public PartialMatchFrame partialMatchFrame

justifications

public List justifications

goalBindings

public Cons goalBindings

cachedGoalResultP

public boolean cachedGoalResultP

dontCacheGoalFailureP

public boolean dontCacheGoalFailureP

dynamicSlots

public KeyValueList dynamicSlots

Constructor Detail

ControlFrame

public ControlFrame()

Method Detail

newControlFrame

public static ControlFrame newControlFrame()

computeVarianceOrStandardDeviation

public static Keyword computeVarianceOrStandardDeviation(ControlFrame frame,
                                                         Keyword lastmove,
                                                         boolean standardDeviationP)

createCollectDescriptionExtensionFrame

public static void createCollectDescriptionExtensionFrame(ControlFrame frame,
                                                          Description description)

createQuerySpecialistIterator

public static QueryIterator createQuerySpecialistIterator(ControlFrame frame,
                                                          java.lang.Object[] MV_returnarray)

querySpecialistIoVariables

public List querySpecialistIoVariables()

computeSubqueryOptions

public static Proposition computeSubqueryOptions(ControlFrame frame,
                                                 java.lang.Object[] MV_returnarray)

nativeSlotReaderSpecialist

public static Keyword nativeSlotReaderSpecialist(ControlFrame frame,
                                                 Keyword lastmove)

allJustifications

public List allJustifications()

recordExistentialIntroductionJustification

public static void recordExistentialIntroductionJustification(ControlFrame frame,
                                                              Keyword lastmove)

recordClosedNotJustification

public static void recordClosedNotJustification(ControlFrame frame,
                                                Keyword lastmove)

recordFailJustification

public static void recordFailJustification(ControlFrame frame,
                                           Keyword lastmove)

recordDisproofJustification

public static void recordDisproofJustification(ControlFrame frame,
                                               Keyword lastmove)

recordOrIntroductionJustification

public static void recordOrIntroductionJustification(ControlFrame frame,
                                                     Keyword lastmove)

recordAndIntroductionJustification

public static void recordAndIntroductionJustification(ControlFrame frame,
                                                      Keyword lastmove)

recordModusPonensJustification

public static void recordModusPonensJustification(ControlFrame frame,
                                                  Keyword lastmove)

recordPatternJustification

public static void recordPatternJustification(ControlFrame frame,
                                              Keyword lastmove)

recordPrimitiveJustification

public static void recordPrimitiveJustification(ControlFrame frame,
                                                Keyword lastmove)

recordGoalJustification

public static void recordGoalJustification(ControlFrame goal,
                                           Justification justification)

tryFullDisproof

public static Keyword tryFullDisproof(ControlFrame frame)

continuePartialFailProof

public Keyword continuePartialFailProof(Keyword lastmove)

continueFailProof

public static Keyword continueFailProof(ControlFrame frame,
                                        Keyword lastmove)

registerInferenceCutoff

public static void registerInferenceCutoff(ControlFrame frame,
                                           Keyword reason)

continueConstantProof

public static Keyword continueConstantProof(ControlFrame frame,
                                            Keyword lastmove)

continueExistsProof

public static Keyword continueExistsProof(ControlFrame frame,
                                          Keyword lastmove)

continueForallProof

public static Keyword continueForallProof(ControlFrame frame,
                                          Keyword lastmove)

tryRefutationProof

public static Keyword tryRefutationProof(ControlFrame frame)

tryUniversalIntroductionProof

public static Keyword tryUniversalIntroductionProof(ControlFrame frame)

tryDisjunctiveImplicationProof

public static Keyword tryDisjunctiveImplicationProof(ControlFrame frame)

continueClusteredConjunctionProof

public static Keyword continueClusteredConjunctionProof(ControlFrame andframe,
                                                        Keyword lastmove)

tryEquivalenceProof

public static Keyword tryEquivalenceProof(ControlFrame frame)

trySubsumptionTest

public static Keyword trySubsumptionTest(ControlFrame frame)

continueContainedByProof

public static Keyword continueContainedByProof(ControlFrame frame,
                                               Keyword lastmove)

tryContainedByProof

public static Keyword tryContainedByProof(ControlFrame upframe)

tryImpliesProof

public static Keyword tryImpliesProof(ControlFrame frame)

tryScanCollectionProof

public static Keyword tryScanCollectionProof(ControlFrame frame)

tryIsaPropositionProof

public static Keyword tryIsaPropositionProof(ControlFrame frame)

tryFullSubqueryProof

public static Keyword tryFullSubqueryProof(ControlFrame frame)

continueConditionalAntecedentProof

public static Keyword continueConditionalAntecedentProof(ControlFrame frame,
                                                         Keyword lastmove)

createConditionalAntecedentSubframe

public static ControlFrame createConditionalAntecedentSubframe(ControlFrame frame,
                                                               Proposition goal,
                                                               Proposition provablerule)

tryForwardGoalsProof

public static Keyword tryForwardGoalsProof(ControlFrame frame)

tryGoalComplementProof

public static Keyword tryGoalComplementProof(ControlFrame frame)

continueAntecedentsProof

public static Keyword continueAntecedentsProof(ControlFrame frame,
                                               Keyword lastmove)

checkForDuplicateRuleP

public static boolean checkForDuplicateRuleP(ControlFrame frame,
                                             Proposition impliesproposition)

establishGoalCache

public static void establishGoalCache(ControlFrame frame)

trySubgoalStrategiesProof

public static Keyword trySubgoalStrategiesProof(ControlFrame frame)

findExternalArgumentsForSubgoal

public static Vector findExternalArgumentsForSubgoal(ControlFrame frame)

extractSubgoalDescriptionOfFrame

public static Description extractSubgoalDescriptionOfFrame(ControlFrame frame)

extractSubgoalOfFrame

public static Proposition extractSubgoalOfFrame(ControlFrame frame)

tryManufactureSkolemProof

public static Keyword tryManufactureSkolemProof(ControlFrame frame)

tryScanForValueClashProof

public static Keyword tryScanForValueClashProof(ControlFrame frame)

tryShallowDisproof

public static Keyword tryShallowDisproof(ControlFrame frame)

hasShallowDisproofP

public static boolean hasShallowDisproofP(ControlFrame frame)

tryScanPropositionsProof

public static Keyword tryScanPropositionsProof(ControlFrame frame)

tryLookupGroundAssertionsProof

public static Keyword tryLookupGroundAssertionsProof(ControlFrame frame)

tryGoalCachesProof

public static Keyword tryGoalCachesProof(ControlFrame frame)

scanCachedGoals

public static Keyword scanCachedGoals(ControlFrame frame)

lookupCachedProof

public static Keyword lookupCachedProof(ControlFrame frame)

continueSpecialistProof

public static Keyword continueSpecialistProof(ControlFrame frame,
                                              Keyword lastmove)

createSubgoalFrame

public static ControlFrame createSubgoalFrame(ControlFrame upframe,
                                              Proposition goal,
                                              Keyword strategy)

pushNextStrategy

public static void pushNextStrategy(ControlFrame frame,
                                    Keyword strategy)

tryParallelThreadProof

public static Keyword tryParallelThreadProof(ControlFrame frame)

executeProofStrategy

public static Keyword executeProofStrategy(ControlFrame frame)

resumeProofStrategyAfterSubgoal

public static Keyword resumeProofStrategyAfterSubgoal(ControlFrame frame,
                                                      Keyword lastmove)

continueCurrentOrNextStrategy

public static Keyword continueCurrentOrNextStrategy(ControlFrame frame)

recordBasePartialMatchTruth

public static void recordBasePartialMatchTruth(ControlFrame frame,
                                               Keyword result)

selectNextStrategy

public static ControlFrame selectNextStrategy(ControlFrame frame)

clearStrategySlots

public static void clearStrategySlots(ControlFrame frame)

continueStrategiesProofs

public static Keyword continueStrategiesProofs(ControlFrame frame,
                                               Keyword lastmove)

allCachedPropositions

public static AtomicGoalCacheIterator allCachedPropositions(ControlFrame goal)

findCachedGoal

public static AtomicGoalCache findCachedGoal(ControlFrame frame,
                                             Keyword successorfailure)

cacheGoal

public static void cacheGoal(ControlFrame frame,
                             boolean successP,
                             boolean keepframeP,
                             int clockticks)

dontCacheGoalFailureBetweenFrames

public static void dontCacheGoalFailureBetweenFrames(ControlFrame topframe,
                                                     ControlFrame bottomframe)

goalInstantiatesCacheP

public static boolean goalInstantiatesCacheP(ControlFrame goal,
                                             AtomicGoalCache cache,
                                             boolean successP)

createAtomicGoalCache

public static AtomicGoalCache createAtomicGoalCache(ControlFrame frame,
                                                    AtomicGoalCache cache,
                                                    boolean successP)

goalHashCode

public static int goalHashCode(ControlFrame frame)

failedGoalIndex

public static int failedGoalIndex(ControlFrame frame)

succeededGoalIndex

public static int succeededGoalIndex(ControlFrame frame)

continueCachedBindingsProof

public static Keyword continueCachedBindingsProof(ControlFrame frame,
                                                  Keyword lastmove)

yieldRelativeGoalBindings

public static Cons yieldRelativeGoalBindings(ControlFrame frame)

updateGoalCache

public static void updateGoalCache(ControlFrame frame,
                                   boolean successP)

findGoalCache

public static GoalCache findGoalCache(ControlFrame frame)

createGoalCacheP

public static boolean createGoalCacheP(ControlFrame frame)

tryScanPartialPropositionsProof

public static Keyword tryScanPartialPropositionsProof(ControlFrame frame)

computePartialMatchScoreP

public static boolean computePartialMatchScoreP(ControlFrame frame)

computePartialMatchOrSuccessP

public static boolean computePartialMatchOrSuccessP(ControlFrame frame)

computePartialMatchAndFailureP

public static boolean computePartialMatchAndFailureP(ControlFrame frame)

recordLatestPartialMatchScore

public static void recordLatestPartialMatchScore(ControlFrame frame)

unboundVariablesInFrameP

public static boolean unboundVariablesInFrameP(ControlFrame frame)

createAndLinkPartialMatchFrame

public static void createAndLinkPartialMatchFrame(ControlFrame frame,
                                                  Keyword kind)

setJustificationPartialTruth

public void setJustificationPartialTruth(Justification justification)

setCachePartialTruth

public void setCachePartialTruth(AtomicGoalCache cache)

definedFramePartialTruthP

public boolean definedFramePartialTruthP()

allocateCollectionVariables

public static Vector allocateCollectionVariables(ControlFrame frame,
                                                 Description description)

printGoalStack

public static void printGoalStack(ControlFrame frame,
                                  boolean verboseP)

Print stack of goals. Assumes that query has been interrupted with a full stack of control frames.

Parameters:

frame -

verboseP -

printControlFrame

public static void printControlFrame(ControlFrame self,
                                     java.io.PrintStream stream)

handleTimeout

public static ControlFrame handleTimeout(ControlFrame frame,
                                         int depth,
                                         java.lang.Object[] MV_returnarray)

handleDepthViolation

public static ControlFrame handleDepthViolation(ControlFrame frame,
                                                int depth,
                                                java.lang.Object[] MV_returnarray)

findDuplicatedGoal

public static ControlFrame findDuplicatedGoal(ControlFrame frame,
                                              java.lang.Object[] MV_returnarray)

helpFindDuplicatedGoal

public static ControlFrame helpFindDuplicatedGoal(ControlFrame goalframe,
                                                  java.lang.Object[] MV_returnarray)

continuePatternProof

public static Keyword continuePatternProof(ControlFrame frame,
                                           Keyword lastmove)

getRuleOfAntecedentFrame

public static Proposition getRuleOfAntecedentFrame(ControlFrame frame)

collectPatternQueryBindings

public static void collectPatternQueryBindings(ControlFrame frame)

transferPatternQueryBindingsP

public static boolean transferPatternQueryBindingsP(ControlFrame frame,
                                                    boolean futurebindingsP)

overlayWithPatternFrameP

public static boolean overlayWithPatternFrameP(ControlFrame frame,
                                               Description description,
                                               Vector ioarguments)

createPatternRecord

public static PatternRecord createPatternRecord(ControlFrame frame,
                                                Description description,
                                                Vector externalarguments)

initiateAtomicGoalProofs

public static Keyword initiateAtomicGoalProofs(ControlFrame frame)

checkForDuplicateGoalP

public static boolean checkForDuplicateGoalP(ControlFrame frame)

overlayWithStrategyFrame

public static Keyword overlayWithStrategyFrame(ControlFrame frame,
                                               Keyword strategy)

overlayWithFailFrame

public static Keyword overlayWithFailFrame(ControlFrame frame,
                                           Proposition proposition)

continueNotProof

public static Keyword continueNotProof(ControlFrame frame,
                                       Keyword lastmove)

continueOrProof

public static Keyword continueOrProof(ControlFrame frame,
                                      Keyword lastmove)

continueAndProof

public static Keyword continueAndProof(ControlFrame frame,
                                       Keyword lastmove)

evaluateNextMove

public static Keyword evaluateNextMove(ControlFrame frame,
                                       Keyword lastmove,
                                       int clockticks)

parallelizeControlFrame

public static ParallelControlFrame parallelizeControlFrame(ControlFrame frame)

copyFrameState

public static void copyFrameState(ControlFrame fromframe,
                                  ControlFrame toframe)

debugFrameId

public static int debugFrameId(ControlFrame frame)

propagateFrameTruthValue

public static TruthValue propagateFrameTruthValue(ControlFrame source,
                                                  ControlFrame target)

setFrameTruthValue

public static TruthValue setFrameTruthValue(ControlFrame frame,
                                            TruthValue truthvalue)

createDownFrame

public static ControlFrame createDownFrame(ControlFrame upframe,
                                           Proposition downproposition)

operativePatternRecord

public static PatternRecord operativePatternRecord(ControlFrame frame)

continuePartialStrategiesProofs

public Keyword continuePartialStrategiesProofs(Keyword lastmove)

attachSupport

public static void attachSupport(ControlFrame frame,
                                 Keyword lastmove)

oldInterpretGoalScores

public static Keyword oldInterpretGoalScores(ControlFrame frame,
                                             Keyword lastmove)

continuePartialNotProof

public Keyword continuePartialNotProof(Keyword lastmove)

oldInterpretFailScore

public static Keyword oldInterpretFailScore(ControlFrame frame,
                                            Keyword lastmove)

continuePartialOrProof

public Keyword continuePartialOrProof(Keyword lastmove)

oldInterpretOrScores

public static Keyword oldInterpretOrScores(ControlFrame frame,
                                           Keyword lastmove)

interpretIterativeForallScores

public static Keyword interpretIterativeForallScores(ControlFrame frame,
                                                     Keyword lastmove)

continuePartialAndProof

public Keyword continuePartialAndProof(ControlFrame frame,
                                       Keyword lastmove)

oldInterpretAndScores

public static Keyword oldInterpretAndScores(ControlFrame frame,
                                            Keyword lastmove)

traceGoalTree

public static void traceGoalTree(ControlFrame frame,
                                 int depth,
                                 Keyword lastmove)

unwindToChoicePointsBelowFrame

public static void unwindToChoicePointsBelowFrame(ControlFrame frame)

computeFrameDepth

public static int computeFrameDepth(ControlFrame frame)

printGoalInGoalTree

public static void printGoalInGoalTree(ControlFrame frame,
                                       int depth)

printRuleInGoalTree

public static void printRuleInGoalTree(ControlFrame frame,
                                       Proposition impliesprop,
                                       int depth)

printVariableBindings

public static void printVariableBindings(ControlFrame frame)

printControlFrameStack

public static void printControlFrameStack(ControlFrame frame)

newBindingsSinceLastChoicePointP

public static boolean newBindingsSinceLastChoicePointP(ControlFrame frame)

unwindToChoicePoint

public static void unwindToChoicePoint(ControlFrame frame)

createChoicePoint

public static void createChoicePoint(ControlFrame frame)

resetCurrentPatternRecord

public static void resetCurrentPatternRecord(ControlFrame frame,
                                             Keyword localorparent)

popDownFrame

public static void popDownFrame(ControlFrame frame)

popFramesUpTo

public static void popFramesUpTo(ControlFrame frame)

popControlFrame

public static void popControlFrame(ControlFrame frame)

printObject

public void printObject(java.io.PrintStream stream)

Overrides:

printObject in class Stella_Object

deletedPSetter

public boolean deletedPSetter(boolean value)

deletedP

public boolean deletedP()

Description copied from class: Stella_Object

Default deletedP method which always returns FALSE. Objects that inherit DYNAMIC-SLOTS-MIXIN also inherit the dynamically-allocated slot deletedObjectP which is read/writable with specializations of this method.

Overrides:

deletedP in class Stella_Object

Returns:

boolean

accessControlFrameSlotValue

public static Stella_Object accessControlFrameSlotValue(ControlFrame self,
                                                        Symbol slotname,
                                                        Stella_Object value,
                                                        boolean setvalueP)

badP

public BooleanWrapper badP()

holdsByDefaultP

public boolean holdsByDefaultP()

primaryType

public Surrogate primaryType()

Description copied from class: Stella_Object

Returns the primary type of self. Gets defined automatically for every non-abstract subclass of OBJECT.

Overrides:

primaryType in class Stella_Object

Returns:

Surrogate