Index

Symbols

#<~~> is understood by BlockClosure>>#<~~> #ancestorº is understood by TheLittleProver>>#ancestorº #asGoal is understood by BlockClosure>>#asGoal, [1] False>>#asGoal, [1] True>>#asGoal, [1] #asGoalWithASTof:contextVariables:select: is understood by BlockClosure>>#asGoalWithASTof:contextVariables:select: #asGoalWithUnaryASTof:contextVariables: is understood by BlockClosure>>#asGoalWithUnaryASTof:contextVariables: #asLiteralRBNode is understood by Object>>#asLiteralRBNode #asRBNode is understood by Var>>#asRBNode #asReifiedVar is understood by Integer>>#asReifiedVar #asReifiedWithVarClass: is understood by Integer>>#asReifiedWithVarClass: #carConsº is understood by TheLittleProver>>#carConsº #cdrConsº is understood by TheLittleProver>>#cdrConsº #cons: is understood by Object>>#cons: #consedObject: is understood by Object>>#consedObject: #consª:isAtomª: is understood by TheLittleProverTest>>#consª:isAtomª: #consº:isAtomº: is understood by TheLittleProverTest>>#consº:isAtomº: #equalIfº is understood by TheLittleProver>>#equalIfº #equalSwapº is understood by TheLittleProver>>#equalSwapº #eternity: is understood by GoalTest>>#eternity: #fives: is understood by GoalTest>>#fives: #flapjackNilFalseº is understood by TheLittleProverTest>>#flapjackNilFalseº #goal is understood by MKPredicateBinaryAncestoro>>#goal MKPredicateBinaryParento>>#goal #ifSameº is understood by TheLittleProver>>#ifSameº #ifTrueº is understood by TheLittleProver>>#ifTrueº #isAtom is understood by Cons>>#isAtom Object>>#isAtom #isAtomConsº is understood by TheLittleProver>>#isAtomConsº #isAtomNilº is understood by TheLittleProver>>#isAtomNilº

#nats: is understood by GoalTest>>#nats: #nats:stage: is understood by GoalTest>>#nats:stage: #nats:stage:offset: is understood by GoalTest>>#nats:stage:offset: #onState: is understood by Eta>>#onState:, [1] Fresh>>#onState:, [1] Goal>>#onState:, [1] #onState:afterPushingGoal: is understood by Cond>>#onState:afterPushingGoal:, [1] Conj>>#onState:afterPushingGoal:, [1] Disj>>#onState:afterPushingGoal:, [1] Goal>>#onState:afterPushingGoal:, [1] IfPure>>#onState:afterPushingGoal:, [1] Suspended>>#onState:afterPushingGoal:, [1] Unify>>#onState:afterPushingGoal:, [1] #onState:forGoal:fromConj: is understood by Failed>>#onState:forGoal:fromConj:, [1] Goal>>#onState:forGoal:fromConj:, [1] #onState:withVars: is understood by Fresh>>#onState:withVars:, [1] FreshRB>>#onState:withVars: #parentº is understood by TheLittleProver>>#parentº #popGoalFromPathOfState:forConj: is understood by Goal>>#popGoalFromPathOfState:forConj:, [1] Succeed>>#popGoalFromPathOfState:forConj:, [1] #repeat:value: is understood by GoalTest>>#repeat:value: #sendso is understood by BlockClosure>>#sendso CompiledMethod>>#sendso RBNode>>#sendso #sourceNode is understood by CompiledMethod>>#sourceNode #substituteVariablesUsingDictionary: is understood by RBNode>>#substituteVariablesUsingDictionary: #substituteVariablesUsingSequenceableCollection: is understood by BlockClosure>>#substituteVariablesUsingSequenceableCollection: #tautology is understood by Var class>>#tautology #unaryRBNode is understood by BlockClosure>>#unaryRBNode #unifyo is understood by Object>>#unifyo #unifyWith: is understood by Object>>#unifyWith: #visitMessageNode: is understood by RBProgramNodeSendsoVisitor>>#visitMessageNode: #visitTemporaryNode: is understood by RBProgramNodeSubstitutionVisitor>>#visitTemporaryNode: #walk: is understood by State>>#walk:, [1]

A

a BlockClosure understands #<~~> #asGoal, [1] #asGoalWithASTof:contextVariables:select: #asGoalWithUnaryASTof:contextVariables: #sendso #substituteVariablesUsingSequenceableCollection: #unaryRBNode a CompiledMethod understands #sendso #sourceNode a Cond understands #onState:afterPushingGoal:, [1] a Conj understands #onState:afterPushingGoal:, [1] a Cons understands #isAtom a Disj understands #onState:afterPushingGoal:, [1] a Eta understands #onState:, [1] a Failed understands #onState:forGoal:fromConj:, [1] a False understands #asGoal, [1] a Fresh understands #onState:, [1] #onState:withVars:, [1] a FreshRB understands #onState:withVars: a Goal understands #onState:, [1] #onState:afterPushingGoal:, [1] #onState:forGoal:fromConj:, [1] #popGoalFromPathOfState:forConj:, [1] a GoalTest understands #eternity: #fives: #nats: #nats:stage: #nats:stage:offset: #repeat:value: #testConjDisj #testConjFailingSharing #testConjFalseThreeWithVar #testConjSucceedingSharing #testConjSymmetry #testConjThreeFour #testConjThreeFourWithTwoVars #testConjThreeFresh #testConjTrueThreeWithThree #testConjTrueTrue #testDisjFalseFalse #testDisjFalseTrue #testDisjFourWithVarOrThreeWithVar #testDisjThreeFourThenFive #testDisjThreeThenFourFive #testDisjThreeWithThreeOrFourWithVar #testDisjThreeWithVarOrFourWithVar #testDisjThreeWithVarOrThreeWithVar #testDisjTrueTrue #testEtaRaw #testFailed #testFives #testFivesByNats #testFivesByPredicate #testFreshFailed #testFreshMultipleVars #testFreshSucceed #testNats #testSucceed #testSucceedInvariant, [1] #testUnifyFourWithThree #testUnifySharing #testUnifySymmetryFourWithVar #testUnifySymmetryVarWithFour #testUnifyThreeWithThree #testUnifyWithTopmostSharing #testUnifyWithTopmostSharingWithRepetition #testUnifyWithTopmostWithoutSharing a IfPure understands #onState:afterPushingGoal:, [1] a Integer understands #asReifiedVar #asReifiedWithVarClass:

a MKPredicateBinaryAncestoro understands #goal a MKPredicateBinaryParento understands #goal a MKSexpTest understands #testACORN #testAppendoBackward #testAppendoForward #testDycko a Object understands #asLiteralRBNode #cons: #consedObject: #isAtom #unifyo #unifyWith: a RBNode understands #sendso #substituteVariablesUsingDictionary: a RBNodePredicatesTest understands #testSenderoBackwards #testSenderoForBlockClosure #testSenderoForCompiledMethod #testSenderoForEmptyBlockClosure #testSenderoForIdentityBlockClosure a RBProgramNodeSendsoVisitor understands #visitMessageNode: a RBProgramNodeSubstitutionVisitor understands #visitTemporaryNode: a State understands #walk:, [1] a Succeed understands #popGoalFromPathOfState:forConj:, [1] a Suspended understands #onState:afterPushingGoal:, [1] a TheLittleProver understands #ancestorº #carConsº #cdrConsº #equalIfº #equalSwapº #ifSameº #ifTrueº #isAtomConsº #isAtomNilº #parentº a TheLittleProverTest understands #consª:isAtomª: #consº:isAtomº: #flapjackNilFalseº #test_chapter_01_OldGamesNewRules_frame_06 #test_chapter_01_OldGamesNewRules_frame_11 #test_chapter_01_OldGamesNewRules_frame_14 #test_chapter_01_OldGamesNewRules_frame_16 #test_chapter_01_OldGamesNewRules_frame_16_backward #test_chapter_01_OldGamesNewRules_frame_16_byCompiledMethod #test_chapter_01_OldGamesNewRules_frame_19 #test_chapter_01_OldGamesNewRules_frame_21 #test_chapter_01_OldGamesNewRules_frame_28 #test_chapter_01_OldGamesNewRules_frame_32 #test_chapter_01_OldGamesNewRules_frame_44 #test_chapter_01_OldGamesNewRules_frame_46 #test_chapter_01_OldGamesNewRules_frame_46_variablesBindingByEqualSame #test_chapter_01_OldGamesNewRules_frame_46_variablesBindingManually #test_chapter_01_OldGamesNewRules_frame_49 #test_chapter_01_OldGamesNewRules_frame_55 #test_chapter_01_OldGamesNewRules_frame_56 #test_chapter_02_EvenOlderGames_frame_05 #test_chapter_02_EvenOlderGames_frame_07 #test_chapter_02_EvenOlderGames_frame_15 #test_chapter_02_EvenOlderGames_frame_15_ancestoro #test_chapter_02_EvenOlderGames_frame_15_ancestorobackward #test_chapter_02_EvenOlderGames_frame_15_parento #test_chapter_02_EvenOlderGames_frame_57 #test_chapter_02_EvenOlderGames_frame_57_premise a True understands #asGoal, [1] a Unify understands #onState:afterPushingGoal:, [1] a Var class understands #tautology a Var understands #asRBNode

P

Package Collections-Sequenceable-Cons contains Cons Package MicroKanren-Goals contains Conj Disj Failed Fresh Goal Succeed Unify Package MicroKanren-RB contains RBLogicVariableNode Protocol *Collections-Sequenceable-Cons Object>>#consedObject: Object>>#isAtom Protocol *MicroKanren-core BlockClosure>>#asGoal, [1] False>>#asGoal, [1] Integer>>#asReifiedVar Integer>>#asReifiedWithVarClass: Object>>#cons: Object>>#unifyo Object>>#unifyWith: True>>#asGoal, [1] Protocol *MicroKanren-RB BlockClosure>>#<~~> BlockClosure>>#asGoalWithASTof:contextVariables:select: BlockClosure>>#asGoalWithUnaryASTof:contextVariables: BlockClosure>>#sendso BlockClosure>>#substituteVariablesUsingSequenceableCollection: BlockClosure>>#unaryRBNode CompiledMethod>>#sendso Object>>#asLiteralRBNode RBNode>>#sendso RBNode>>#substituteVariablesUsingDictionary: Var>>#asRBNode Protocol *opalcompiler-core CompiledMethod>>#sourceNode Protocol accessing structure variables GoalTest>>#repeat:value: Protocol as yet unclassified Failed>>#onState:forGoal:fromConj:, [1] Goal>>#onState:afterPushingGoal:, [1] Goal>>#onState:forGoal:fromConj:, [1] Goal>>#popGoalFromPathOfState:forConj:, [1] State>>#walk:, [1] Succeed>>#popGoalFromPathOfState:forConj:, [1] Suspended>>#onState:afterPushingGoal:, [1] Protocol code as data TheLittleProverTest>>#consª:isAtomª: Protocol creating Var class>>#tautology Protocol dispatched Fresh>>#onState:withVars:, [1] FreshRB>>#onState:withVars: Protocol predicates TheLittleProver>>#ancestorº TheLittleProver>>#carConsº TheLittleProver>>#cdrConsº TheLittleProver>>#equalIfº TheLittleProver>>#equalSwapº TheLittleProver>>#ifSameº TheLittleProver>>#ifTrueº TheLittleProver>>#isAtomConsº TheLittleProver>>#isAtomNilº TheLittleProver>>#parentº TheLittleProverTest>>#consº:isAtomº: TheLittleProverTest>>#flapjackNilFalseº Protocol running Cond>>#onState:afterPushingGoal:, [1] Conj>>#onState:afterPushingGoal:, [1] Disj>>#onState:afterPushingGoal:, [1] Eta>>#onState:, [1] Fresh>>#onState:, [1] Goal>>#onState:, [1] IfPure>>#onState:afterPushingGoal:, [1] MKPredicateBinaryAncestoro>>#goal MKPredicateBinaryParento>>#goal Unify>>#onState:afterPushingGoal:, [1] Protocol testing Cons>>#isAtom

Protocol tests GoalTest>>#testConjDisj GoalTest>>#testConjFailingSharing GoalTest>>#testConjFalseThreeWithVar GoalTest>>#testConjSucceedingSharing GoalTest>>#testConjSymmetry GoalTest>>#testConjThreeFour GoalTest>>#testConjThreeFourWithTwoVars GoalTest>>#testConjThreeFresh GoalTest>>#testConjTrueThreeWithThree GoalTest>>#testConjTrueTrue GoalTest>>#testDisjFalseFalse GoalTest>>#testDisjFalseTrue GoalTest>>#testDisjFourWithVarOrThreeWithVar GoalTest>>#testDisjThreeFourThenFive GoalTest>>#testDisjThreeThenFourFive GoalTest>>#testDisjThreeWithThreeOrFourWithVar GoalTest>>#testDisjThreeWithVarOrFourWithVar GoalTest>>#testDisjThreeWithVarOrThreeWithVar GoalTest>>#testDisjTrueTrue GoalTest>>#testEtaRaw GoalTest>>#testFailed GoalTest>>#testFives GoalTest>>#testFivesByNats GoalTest>>#testFivesByPredicate GoalTest>>#testFreshFailed GoalTest>>#testFreshMultipleVars GoalTest>>#testFreshSucceed GoalTest>>#testNats GoalTest>>#testSucceed GoalTest>>#testSucceedInvariant, [1] GoalTest>>#testUnifyFourWithThree GoalTest>>#testUnifySharing GoalTest>>#testUnifySymmetryFourWithVar GoalTest>>#testUnifySymmetryVarWithFour GoalTest>>#testUnifyThreeWithThree GoalTest>>#testUnifyWithTopmostSharing GoalTest>>#testUnifyWithTopmostSharingWithRepetition GoalTest>>#testUnifyWithTopmostWithoutSharing MKSexpTest>>#testACORN MKSexpTest>>#testAppendoBackward MKSexpTest>>#testAppendoForward MKSexpTest>>#testDycko RBNodePredicatesTest>>#testSenderoBackwards RBNodePredicatesTest>>#testSenderoForBlockClosure RBNodePredicatesTest>>#testSenderoForCompiledMethod RBNodePredicatesTest>>#testSenderoForEmptyBlockClosure RBNodePredicatesTest>>#testSenderoForIdentityBlockClosure TheLittleProverTest>>#test_chapter_01_OldGamesNewRules_frame_06 TheLittleProverTest>>#test_chapter_01_OldGamesNewRules_frame_11 TheLittleProverTest>>#test_chapter_01_OldGamesNewRules_frame_14 TheLittleProverTest>>#test_chapter_01_OldGamesNewRules_frame_16 TheLittleProverTest>>#test_chapter_01_OldGamesNewRules_frame_16_backward TheLittleProverTest>>#test_chapter_01_OldGamesNewRules_frame_16_byCompiledMethod TheLittleProverTest>>#test_chapter_01_OldGamesNewRules_frame_19 TheLittleProverTest>>#test_chapter_01_OldGamesNewRules_frame_21 TheLittleProverTest>>#test_chapter_01_OldGamesNewRules_frame_28 TheLittleProverTest>>#test_chapter_01_OldGamesNewRules_frame_32 TheLittleProverTest>>#test_chapter_01_OldGamesNewRules_frame_44 TheLittleProverTest>>#test_chapter_01_OldGamesNewRules_frame_46 TheLittleProverTest>>#test_chapter_01_OldGamesNewRules_frame_46_variablesBindingByEqualSame TheLittleProverTest>>#test_chapter_01_OldGamesNewRules_frame_46_variablesBindingManually TheLittleProverTest>>#test_chapter_01_OldGamesNewRules_frame_49 TheLittleProverTest>>#test_chapter_01_OldGamesNewRules_frame_55 TheLittleProverTest>>#test_chapter_01_OldGamesNewRules_frame_56 TheLittleProverTest>>#test_chapter_02_EvenOlderGames_frame_05 TheLittleProverTest>>#test_chapter_02_EvenOlderGames_frame_07 TheLittleProverTest>>#test_chapter_02_EvenOlderGames_frame_15 TheLittleProverTest>>#test_chapter_02_EvenOlderGames_frame_15_ancestoro TheLittleProverTest>>#test_chapter_02_EvenOlderGames_frame_15_ancestorobackward TheLittleProverTest>>#test_chapter_02_EvenOlderGames_frame_15_parento TheLittleProverTest>>#test_chapter_02_EvenOlderGames_frame_57 TheLittleProverTest>>#test_chapter_02_EvenOlderGames_frame_57_premise Protocol utilities GoalTest>>#eternity: GoalTest>>#fives: GoalTest>>#nats: GoalTest>>#nats:stage: GoalTest>>#nats:stage:offset: Protocol visiting RBProgramNodeSendsoVisitor>>#visitMessageNode: RBProgramNodeSubstitutionVisitor>>#visitTemporaryNode:

T

The Little Prover 01. Old Games, New Rules: frame 06 01. Old Games, New Rules: frame 11 01. Old Games, New Rules: frame 14 01. Old Games, New Rules: frame 16 01. Old Games, New Rules: frame 19 01. Old Games, New Rules: frame 21 01. Old Games, New Rules: frame 28 01. Old Games, New Rules: frame 32 01. Old Games, New Rules: frame 44 01. Old Games, New Rules: frame 46 01. Old Games, New Rules: frame 49 01. Old Games, New Rules: frame 55 01. Old Games, New Rules: frame 56 02. Even Older Games: frame 05 02. Even Older Games: frame 07 02. Even Older Games: frame 15 02. Even Older Games: frame 57