├── .project ├── .properties ├── BaselineOfSmallKanren.package ├── .filetree ├── BaselineOfSmallKanren.class │ ├── README.md │ ├── instance │ │ ├── baseline..st │ │ └── projectClass.st │ └── properties.json ├── monticello.meta │ ├── categories.st │ ├── initializers.st │ └── package └── properties.json ├── LICENSE ├── README.md ├── SmallKanren-Core.package ├── .filetree ├── Array.extension │ ├── instance │ │ ├── asGoal.st │ │ ├── conde.st │ │ ├── match.o..st │ │ └── skReify..st │ └── properties.json ├── BlockClosure.extension │ ├── instance │ │ ├── asGoal.st │ │ ├── fresh.st │ │ ├── tabled.inputs..st │ │ └── tabled.inputs.outputs..st │ └── properties.json ├── Cons.extension │ ├── instance │ │ ├── ^equals.equals.equals.st │ │ ├── absento..st │ │ ├── asArray.st │ │ ├── car.cdro..st │ │ ├── car.list.o..st │ │ ├── carCdrResto..st │ │ ├── carCdro..st │ │ ├── caro..st │ │ ├── caro.cdro..st │ │ ├── cdro..st │ │ ├── isEmptyo.st │ │ ├── isNotEmptyo.st │ │ ├── isPairo.st │ │ ├── keyIsAbsento..st │ │ ├── match.o..st │ │ ├── skAbsento.in..st │ │ ├── skAlphaEquals..st │ │ ├── skAlphaHash.st │ │ ├── skOccurs.in..st │ │ ├── skReify..st │ │ ├── skUnify.in.runtime..st │ │ ├── skUnifyCons..st │ │ ├── skUnifyCons.in.runtime..st │ │ ├── skUnifyEmptyCons.st │ │ └── skUnifyEmptyConsIn.runtime..st │ └── properties.json ├── False.extension │ ├── instance │ │ └── asGoal.st │ └── properties.json ├── Number.extension │ ├── instance │ │ └── plus.o..st │ └── properties.json ├── Object.extension │ ├── instance │ │ ├── ^equals.equals.equals.st │ │ ├── ^equals.slash.equals.st │ │ ├── absento..st │ │ ├── append.o..st │ │ ├── car.cdro..st │ │ ├── car.list.o..st │ │ ├── car.listo..st │ │ ├── carCdrResto..st │ │ ├── carCdro..st │ │ ├── caro..st │ │ ├── caro.cdro..st │ │ ├── copyTermo.st │ │ ├── finiteDomain..st │ │ ├── isBooleano.st │ │ ├── isEmptyo.st │ │ ├── isNumbero.st │ │ ├── isPairo.st │ │ ├── isSKVar.st │ │ ├── isSymbolo.st │ │ ├── lasto..st │ │ ├── match.o..st │ │ ├── matcho..st │ │ ├── membero..st │ │ ├── nembero..st │ │ ├── nsubseto..st │ │ ├── rember.o..st │ │ ├── remberAll.o..st │ │ ├── skAbsento.in..st │ │ ├── skAlphaEquals..st │ │ ├── skAlphaHash.st │ │ ├── skDisunifyCons..st │ │ ├── skDisunifyEmptyCons.st │ │ ├── skDisunifyPrim..st │ │ ├── skOccurs.in..st │ │ ├── skReify..st │ │ ├── skUnify.in.runtime..st │ │ ├── skUnifyCons..st │ │ ├── skUnifyCons.in.runtime..st │ │ ├── skUnifyEmptyConsIn.runtime..st │ │ ├── skUnifyGround..st │ │ ├── skUnifyGround.in.runtime..st │ │ ├── skUnifyVar.in.runtime..st │ │ └── subseto..st │ └── properties.json ├── SBRAL.class │ ├── README.md │ ├── class │ │ └── empty.st │ ├── instance │ │ ├── add.at..st │ │ └── addAll..st │ └── properties.json ├── SBRALEmpty.class │ ├── README.md │ ├── instance │ │ ├── add..st │ │ ├── addLeaf.to..st │ │ ├── addNode.to..st │ │ ├── at.put..st │ │ ├── isEmpty.st │ │ ├── isValid.st │ │ └── size.st │ └── properties.json ├── SBRALLeaf.class │ ├── README.md │ ├── instance │ │ ├── add.to..st │ │ ├── addLeaf.to..st │ │ ├── at..st │ │ ├── at.put..st │ │ ├── element..st │ │ ├── element.st │ │ ├── isValid.st │ │ └── size.st │ └── properties.json ├── SBRALNode.class │ ├── README.md │ ├── class │ │ └── root.left.right..st │ ├── instance │ │ ├── add.to..st │ │ ├── addLeaf.to..st │ │ ├── addNode.to..st │ │ ├── at..st │ │ ├── at.put..st │ │ ├── isValid.st │ │ ├── left..st │ │ ├── left.st │ │ ├── right..st │ │ ├── right.st │ │ ├── root..st │ │ ├── root.st │ │ ├── size..st │ │ └── size.st │ └── properties.json ├── SBRALPlaceholder.class │ ├── README.md │ ├── class │ │ └── placeholder.st │ └── properties.json ├── SBRALSpine.class │ ├── README.md │ ├── class │ │ └── tree.rest..st │ ├── instance │ │ ├── add..st │ │ ├── addLeaf..st │ │ ├── addLeaf.to..st │ │ ├── addNode..st │ │ ├── addNode.to..st │ │ ├── at..st │ │ ├── at.put..st │ │ ├── isEmpty.st │ │ ├── isValid.st │ │ ├── rest..st │ │ ├── rest.st │ │ ├── size..st │ │ ├── size.st │ │ ├── tree..st │ │ └── tree.st │ └── properties.json ├── SKAbsento.class │ ├── README.md │ ├── class │ │ └── absent..st │ ├── instance │ │ ├── ^comma.st │ │ ├── ^equals.st │ │ ├── absent..st │ │ ├── absent.st │ │ ├── absento..st │ │ ├── compress..st │ │ ├── fire.in..st │ │ ├── isAbsent..st │ │ ├── isAbsento.st │ │ ├── mergeAbsento..st │ │ ├── mergeDisjoinedAbsento..st │ │ ├── mergeSingleAbsento..st │ │ ├── printDisjoinedExclusionsOn..st │ │ ├── printOn..st │ │ ├── simplifiedBy..st │ │ ├── simplifiedByAbsento..st │ │ ├── simplifiedByBooleano..st │ │ ├── simplifiedByType..st │ │ ├── simplifiesAbsento..st │ │ ├── simplify..st │ │ ├── skReify..st │ │ └── subsumedBy..st │ └── properties.json ├── SKAggregateGoal.class │ ├── README.md │ ├── instance │ │ ├── block..st │ │ ├── block.st │ │ ├── distribution..st │ │ ├── distribution.st │ │ ├── observation..st │ │ ├── observation.st │ │ └── run.runtime..st │ └── properties.json ├── SKAggregateStream.class │ ├── README.md │ ├── instance │ │ ├── state..st │ │ └── state.st │ └── properties.json ├── SKAnd.class │ ├── README.md │ ├── instance │ │ ├── ^comma.st │ │ ├── asConstraint.st │ │ ├── conjuncts.st │ │ ├── inspectorFormat.st │ │ ├── isConjunction.st │ │ ├── left..st │ │ ├── left.st │ │ ├── printOn..st │ │ ├── right..st │ │ ├── right.st │ │ ├── run.runtime..st │ │ └── subgoals.st │ └── properties.json ├── SKAppendStream.class │ ├── README.md │ ├── instance │ │ ├── bind.runtime..st │ │ ├── branchesAliveAfterSteps.runner..st │ │ ├── branchesNotFailedAfterSteps.runner..st │ │ ├── children.st │ │ ├── expandWhileQueryEquals.runner..st │ │ ├── isBranchingStream.st │ │ ├── left..st │ │ ├── left.st │ │ ├── packages..st │ │ ├── reificationsOf.in..st │ │ ├── right..st │ │ ├── right.st │ │ ├── select..st │ │ ├── size.st │ │ └── substreams.st │ └── properties.json ├── SKBernoulli.class │ ├── README.md │ ├── instance │ │ ├── logLikelihood..st │ │ ├── logP..st │ │ ├── logP.st │ │ ├── maximize..st │ │ ├── p..st │ │ ├── p.st │ │ ├── printOn..st │ │ ├── sufficientStatistics..st │ │ ├── sufficientStatistics.st │ │ └── support.st │ └── properties.json ├── SKBind.class │ ├── README.md │ ├── instance │ │ ├── bind.runtime..st │ │ ├── goal..st │ │ ├── goal.st │ │ ├── inspectGoal..st │ │ ├── inspectorFormat.st │ │ ├── map.runtime..st │ │ └── printOn..st │ └── properties.json ├── SKBooleano.class │ ├── README.md │ ├── class │ │ └── singleton.st │ ├── instance │ │ ├── isOfType..st │ │ ├── printOn..st │ │ ├── simplifiedByAbsento..st │ │ ├── simplifiedByDisequality..st │ │ ├── simplify..st │ │ └── unification..st │ └── properties.json ├── SKCategorical.class │ ├── README.md │ ├── instance │ │ ├── initialize.st │ │ ├── logLikelihood..st │ │ ├── logProbabilities..st │ │ ├── logProbabilities.st │ │ ├── maximize..st │ │ ├── probabilities..st │ │ ├── probabilities.st │ │ ├── sufficientStatistics..st │ │ ├── sufficientStatistics.st │ │ └── support.st │ └── properties.json ├── SKComplete.class │ ├── README.md │ ├── class │ │ └── first.rest..st │ ├── instance │ │ ├── advanceSchedule..st │ │ ├── answer.st │ │ ├── answers.st │ │ ├── asSourceBranch.st │ │ ├── countAnswers.st │ │ ├── first..st │ │ ├── first.st │ │ ├── formatQuery..st │ │ ├── gtInspectConstraints..st │ │ ├── gtInspectorQuery2.runner..st │ │ ├── hasAnswer.st │ │ ├── inspect.query..st │ │ ├── inspectReification..st │ │ ├── isComplete.st │ │ ├── isIncomplete.st │ │ ├── isSuccess.st │ │ ├── leaves.st │ │ ├── marginalize.pseudocounts..st │ │ ├── maximize..st │ │ ├── mplus..st │ │ ├── packageC.st │ │ ├── plus..st │ │ ├── printOn..st │ │ ├── rest..st │ │ ├── rest.st │ │ ├── schedule.st │ │ ├── sourceChildren.st │ │ ├── step..st │ │ └── table.inputs.outputs.pseudocounts.runtime..st │ └── properties.json ├── SKConstraint.class │ ├── README.md │ ├── class │ │ ├── absento..st │ │ ├── booleano.st │ │ ├── dis.equals..st │ │ ├── disequals..st │ │ ├── finiteDomain..st │ │ ├── numbero.st │ │ ├── pairo.st │ │ ├── satisfied.st │ │ ├── symbolo.st │ │ ├── unification..st │ │ └── unsatisfiable.st │ ├── instance │ │ ├── ^comma.st │ │ ├── add..st │ │ ├── add.constraint.in..st │ │ ├── asConstraint.st │ │ ├── asGoal..st │ │ ├── check.extend.in..st │ │ ├── check.extendNoOccurs.in..st │ │ ├── check.in..st │ │ ├── check.remove.in..st │ │ ├── checkVar.extend.in..st │ │ ├── checkVar.in..st │ │ ├── compress..st │ │ ├── consolidate..st │ │ ├── consolidateMulti..st │ │ ├── consolidatedBy..st │ │ ├── eager.val.in.runtime..st │ │ ├── extend.previousConstraint.in..st │ │ ├── fire.in..st │ │ ├── ifDelayed..st │ │ ├── isAbsento.st │ │ ├── isConjoinedDelay.st │ │ ├── isConstraint.st │ │ ├── isDelayed.st │ │ ├── isDelayedGoalConstraint.st │ │ ├── isDisequality.st │ │ ├── isFiniteDomain.st │ │ ├── isGuardedFresh.st │ │ ├── isLazy.st │ │ ├── isMultiConstraint.st │ │ ├── isSatisfied.st │ │ ├── isSingleDisequality.st │ │ ├── isUnification.st │ │ ├── isUnsatisfiable.st │ │ ├── lazyConstraint.st │ │ ├── merge..st │ │ ├── merge3..st │ │ ├── mergeMulti..st │ │ ├── mergeSimple..st │ │ ├── printOn..st │ │ ├── simplifiedByAbsento..st │ │ ├── simplifiedByBooleano..st │ │ ├── simplifiedByDisequality..st │ │ ├── simplifiedByFiniteDomain..st │ │ ├── simplifiedByMulti..st │ │ ├── simplifiedByType..st │ │ └── simplify..st │ └── properties.json ├── SKConstraintGoal.class │ ├── README.md │ ├── class │ │ └── var.constraint..st │ ├── instance │ │ ├── ^comma.st │ │ ├── ^equals.st │ │ ├── asConstraint.st │ │ ├── constraint..st │ │ ├── constraint.st │ │ ├── printOn..st │ │ ├── run..st │ │ ├── var..st │ │ └── var.st │ └── properties.json ├── SKConstraintStore.class │ ├── README.md │ ├── class │ │ └── empty.st │ ├── instance │ │ ├── add.constraint.in..st │ │ ├── asArray.st │ │ ├── at..st │ │ ├── check.extend.in.runtime..st │ │ ├── check.remove.in.runtime..st │ │ ├── checkVar.extend.in.runtime..st │ │ ├── delay.with.in..st │ │ ├── eager.runtime..st │ │ ├── extend.constraint..st │ │ ├── gtInspectConstraints..st │ │ ├── hashmap..st │ │ ├── ifNotEmpty..st │ │ ├── includesKey..st │ │ ├── initialize.st │ │ ├── integrityCheck.st │ │ ├── isEmpty.st │ │ ├── isNotEmpty.st │ │ ├── printOn..st │ │ ├── reify..st │ │ ├── remove..st │ │ ├── remove.in..st │ │ ├── removeKey..st │ │ └── size.st │ └── properties.json ├── SKCustomConstraint.class │ ├── README.md │ ├── class │ │ └── vars.block..st │ ├── instance │ │ ├── block..st │ │ ├── block.st │ │ ├── fire.in..st │ │ ├── printOn..st │ │ ├── vars..st │ │ └── vars.st │ └── properties.json ├── SKDiscreteDistribution.class │ ├── README.md │ ├── instance │ │ ├── argmax.o..st │ │ ├── argmaxo..st │ │ ├── marginalize.o..st │ │ └── marginalizeo..st │ └── properties.json ├── SKDisequality.class │ ├── README.md │ ├── instance │ │ ├── ^and.st │ │ ├── addDisequality..st │ │ ├── and.disequals..st │ │ ├── andDisequals..st │ │ ├── checkVar.in..st │ │ ├── disunify.in..st │ │ ├── fire.in..st │ │ ├── isDisequality.st │ │ ├── rest.st │ │ ├── simplifiedByAbsento..st │ │ ├── simplifiedByBooleano..st │ │ ├── simplifiedByDisequality..st │ │ ├── simplifiedByFiniteDomain..st │ │ ├── simplifiedByType..st │ │ ├── simplify..st │ │ ├── subsumes..st │ │ └── val.st │ └── properties.json ├── SKDisequalityConjoined.class │ ├── README.md │ ├── instance │ │ ├── ^and.st │ │ ├── ^equals.st │ │ ├── asPair..st │ │ ├── disunify..st │ │ ├── disunify.in..st │ │ ├── first..st │ │ ├── first.st │ │ ├── not.equals..st │ │ ├── printOn..st │ │ ├── rest..st │ │ ├── rest.st │ │ ├── simplifyFiniteDomain..st │ │ ├── subsumes..st │ │ └── val.st │ └── properties.json ├── SKDisequalityPair.class │ ├── README.md │ ├── class │ │ └── left.right..st │ ├── instance │ │ ├── ^equals.st │ │ ├── disunify..st │ │ ├── left..st │ │ ├── left.st │ │ ├── not.equals..st │ │ ├── printOn..st │ │ ├── right..st │ │ ├── right.st │ │ ├── subsumes..st │ │ ├── unifyAllBut.in.runtime..st │ │ ├── val..st │ │ ├── val.st │ │ └── var..st │ └── properties.json ├── SKDisequalitySingle.class │ ├── README.md │ ├── instance │ │ ├── ^equals.st │ │ ├── asPair..st │ │ ├── disunify.in..st │ │ ├── isSingleDisequality.st │ │ ├── not.equals..st │ │ ├── printOn..st │ │ ├── simplifyFiniteDomain..st │ │ ├── subsumes..st │ │ ├── val..st │ │ └── val.st │ └── properties.json ├── SKDisequalitySubstitution.class │ ├── README.md │ ├── instance │ │ ├── ^equals.more.st │ │ ├── addDisequalities..st │ │ ├── asDisequality.st │ │ ├── asDisequalityGoal.st │ │ ├── check.extend.runtime..st │ │ ├── checkVar.extend.runtime..st │ │ ├── deltas..st │ │ ├── deltas.st │ │ ├── disunify..st │ │ ├── extend.noOccursCheck..st │ │ ├── extend.with..st │ │ ├── ifFailure..st │ │ ├── initialize.st │ │ ├── isFailure.st │ │ ├── reify..st │ │ ├── substitution..st │ │ ├── unify.noWalk..st │ │ ├── unify.with..st │ │ ├── unify.with.runtime..st │ │ ├── unifyAllBut.in.runtime..st │ │ ├── val..st │ │ ├── val.st │ │ ├── var..st │ │ ├── var.st │ │ └── var.val..st │ └── properties.json ├── SKDisjoinedAbsento.class │ ├── README.md │ ├── class │ │ └── absent.rest..st │ ├── instance │ │ ├── ^comma.st │ │ ├── isAbsent..st │ │ ├── mergeAbsento..st │ │ ├── mergeDisjoinedAbsento..st │ │ ├── printDisjoinedExclusionsOn..st │ │ ├── rest..st │ │ ├── rest.st │ │ ├── simplifiedBy..st │ │ ├── simplifiedByAbsento..st │ │ ├── simplifiedByType..st │ │ ├── skReify..st │ │ └── subsumedBy..st │ └── properties.json ├── SKEmptyConstraintStore.class │ ├── README.md │ ├── class │ │ └── singleton.st │ ├── instance │ │ ├── add.constraint.in..st │ │ ├── asArray.st │ │ ├── at..st │ │ ├── check.extend.in.runtime..st │ │ ├── check.remove.in.runtime..st │ │ ├── checkVar.extend.in.runtime..st │ │ ├── eager.runtime..st │ │ ├── extend.constraint..st │ │ ├── gtInspectConstraints..st │ │ ├── ifNotEmpty..st │ │ ├── includesKey..st │ │ ├── isEmpty.st │ │ ├── isLazy.st │ │ ├── isNotEmpty.st │ │ ├── keysAndValuesDo..st │ │ ├── reify..st │ │ ├── remove.in..st │ │ └── size.st │ └── properties.json ├── SKFail.class │ ├── README.md │ ├── class │ │ └── singleton.st │ ├── instance │ │ ├── ^and.st │ │ ├── ^pipe.st │ │ ├── and.absento..st │ │ ├── andKey.isAbsento..st │ │ ├── andUnify.with..st │ │ ├── asConstraint.st │ │ ├── asDisequality.st │ │ ├── conjoin..st │ │ ├── constraint.st │ │ ├── disjoin..st │ │ ├── ifFail..st │ │ ├── isFailure.st │ │ ├── printOn..st │ │ └── run..st │ └── properties.json ├── SKFailure.class │ ├── README.md │ ├── class │ │ └── singleton.st │ ├── instance │ │ ├── ^plus.st │ │ ├── addDisequalities..st │ │ ├── addPseudoCounts..st │ │ ├── addSchedule..st │ │ ├── answer.st │ │ ├── asDisequality.st │ │ ├── asDisequalityGoal.st │ │ ├── atEnd.st │ │ ├── averagePseudoCounts..st │ │ ├── bind.runtime..st │ │ ├── check.absento..st │ │ ├── check.against.runtime..st │ │ ├── checkConstraint.against..st │ │ ├── checkOccurrenceOf.in..st │ │ ├── closeTable.cache.runtime..st │ │ ├── complete..st │ │ ├── complete.table.inputs.outputs.pseudocounts.runtime..st │ │ ├── deltas.st │ │ ├── disunify..st │ │ ├── expandWhileQueryEquals.runner..st │ │ ├── extend.noOccursCheck..st │ │ ├── extend.with..st │ │ ├── extendState..st │ │ ├── formatQuery..st │ │ ├── gtInspectorQuery2.runner..st │ │ ├── ifFailure..st │ │ ├── isFailure.st │ │ ├── isIncomplete.st │ │ ├── marginalize.pseudocounts..st │ │ ├── maximize..st │ │ ├── mplus..st │ │ ├── plus..st │ │ ├── printOn..st │ │ ├── prioritize.schedule..st │ │ ├── prioritizeVar.schedule..st │ │ ├── removeConstraint..st │ │ ├── step..st │ │ ├── table.inputs.outputs.pseudocounts.runtime..st │ │ ├── unify.with.runtime..st │ │ └── unifyAllBut.in.runtime..st │ └── properties.json ├── SKFiniteDomain.class │ ├── README.md │ ├── class │ │ └── domain..st │ ├── instance │ │ ├── ^equals.st │ │ ├── compress..st │ │ ├── domain..st │ │ ├── domain.st │ │ ├── fire.in..st │ │ ├── includes..st │ │ ├── isFiniteDomain.st │ │ ├── printOn..st │ │ ├── remove..st │ │ ├── simplifiedByDisequality..st │ │ ├── simplifiedByFiniteDomain..st │ │ └── simplify..st │ └── properties.json ├── SKFresh.class │ ├── README.md │ ├── instance │ │ ├── block..st │ │ ├── block.st │ │ ├── debugger.st │ │ ├── expandFresh.st │ │ ├── expandFreshWithModel..st │ │ ├── gtInspectDebugger..st │ │ ├── isFresh.st │ │ ├── printOn..st │ │ ├── query.st │ │ ├── run..st │ │ ├── run.model..st │ │ ├── runtime.st │ │ ├── train..st │ │ ├── train.iterations..st │ │ ├── train.threshold..st │ │ ├── trainingEpochs..st │ │ └── trainingEpochs.iterations.threshold..st │ └── properties.json ├── SKGoal.class │ ├── README.md │ ├── class │ │ ├── fail.st │ │ ├── project.o..st │ │ ├── projecto..st │ │ └── succeed.st │ ├── instance │ │ ├── ^and.st │ │ ├── ^pipe.st │ │ ├── and..st │ │ ├── and.absento..st │ │ ├── andInspectorChildren.st │ │ ├── andUnify.with..st │ │ ├── answer.st │ │ ├── asAnswer.st │ │ ├── asGoal.st │ │ ├── asStream.st │ │ ├── conjoin..st │ │ ├── conjuncts.st │ │ ├── debugger.st │ │ ├── disjoin..st │ │ ├── disjuncts.st │ │ ├── fails.st │ │ ├── gtInspectBranches..st │ │ ├── ifFail..st │ │ ├── ifSucceed..st │ │ ├── inspectGoal..st │ │ ├── inspectorChildren.st │ │ ├── inspectorFormat.st │ │ ├── isConjunction.st │ │ ├── isGoal.st │ │ ├── isSucceed.st │ │ ├── merge..st │ │ ├── orInspectorChildren.st │ │ ├── printOn..st │ │ ├── reify..st │ │ ├── run..st │ │ ├── run.runtime..st │ │ ├── run.st │ │ ├── runLikelihoods.st │ │ ├── runList.st │ │ ├── runRuntimes.st │ │ ├── runStates.st │ │ ├── runtime.st │ │ ├── sourceChildren.st │ │ ├── step.st │ │ ├── subgoals.st │ │ ├── succeeds.st │ │ └── tag..st │ └── properties.json ├── SKGoalDebugger.class │ ├── README.md │ ├── class │ │ ├── goal..st │ │ └── goal.state.runtime..st │ ├── instance │ │ ├── asStreamDebugger.st │ │ ├── goal..st │ │ ├── goal.st │ │ ├── gtInspectBlock..st │ │ ├── gtInspectGoal..st │ │ ├── gtInspectStream..st │ │ ├── printOn..st │ │ ├── runList.st │ │ ├── runtime..st │ │ ├── runtime.st │ │ ├── state..st │ │ ├── state.st │ │ ├── step.st │ │ └── subgoal..st │ └── properties.json ├── SKGuardedMultiMatch.class │ ├── README.md │ ├── class │ │ ├── expandBlock.withVars..st │ │ ├── externals.pattern.block..st │ │ ├── fromPattern.block..st │ │ ├── fromPattern.vars..st │ │ ├── fromPatternElement.vars..st │ │ └── var.pattern.vars.block..st │ ├── instance │ │ ├── asGoal..st │ │ ├── block..st │ │ ├── block.st │ │ ├── expandBlockWithVars..st │ │ ├── externals..st │ │ ├── fire.in.runtime..st │ │ ├── getGoal.st │ │ ├── includesVar..st │ │ ├── includesVar2..st │ │ ├── internals..st │ │ ├── internals.st │ │ ├── isFullyGround.st │ │ ├── pattern..st │ │ ├── pattern.st │ │ ├── printOn..st │ │ ├── reassign.var..st │ │ ├── reassignVar..st │ │ ├── removeVar..st │ │ ├── run.runtime..st │ │ ├── scheduledRun.runtime..st │ │ ├── scheduledStep.runtime..st │ │ ├── vals..st │ │ ├── vals.st │ │ ├── values..st │ │ ├── var..st │ │ └── vars..st │ └── properties.json ├── SKIncomplete.class │ ├── README.md │ ├── instance │ │ ├── goal..st │ │ ├── gtInspectConstraints..st │ │ ├── gtInspectSubstitution..st │ │ ├── hasSubstitution.st │ │ ├── isIncomplete.st │ │ ├── packages..st │ │ ├── printOn..st │ │ ├── reificationsOf.in..st │ │ ├── state..st │ │ ├── step..st │ │ └── streamFormat..st │ └── properties.json ├── SKLazyFreshGoal.class │ ├── README.md │ ├── instance │ │ ├── goal..st │ │ ├── goal.st │ │ ├── runtime..st │ │ ├── state..st │ │ └── state.st │ └── properties.json ├── SKLogSpace.class │ ├── README.md │ ├── instance │ │ ├── exp..st │ │ ├── log.difference..st │ │ ├── log.division..st │ │ ├── log.product..st │ │ ├── log.sum..st │ │ ├── logSqrt..st │ │ └── sample..st │ └── properties.json ├── SKMPlus.class │ ├── README.md │ ├── class │ │ └── left.right..st │ ├── instance │ │ ├── advanceSchedule..st │ │ ├── asSourceBranch.st │ │ ├── formatQuery..st │ │ ├── gtInspectorQuery2.runner..st │ │ ├── isDelayedPlus.st │ │ ├── isIncomplete.st │ │ ├── leaves.st │ │ ├── packageC.st │ │ ├── schedule.st │ │ ├── step..st │ │ └── stepMplusBranch..st │ └── properties.json ├── SKMapStream.class │ ├── README.md │ ├── instance │ │ ├── cacheKey.st │ │ ├── isWaitingStream.st │ │ ├── map.runtime..st │ │ ├── packages..st │ │ ├── reificationsOf.in..st │ │ ├── size.st │ │ ├── step..st │ │ ├── stream..st │ │ ├── stream.st │ │ └── substreams.st │ └── properties.json ├── SKMarginalizeGoal.class │ ├── README.md │ ├── instance │ │ └── delayedRun.runtime..st │ └── properties.json ├── SKMarginalizeStream.class │ ├── README.md │ ├── instance │ │ ├── map.runtime..st │ │ ├── pseudocounts..st │ │ └── pseudocounts.st │ └── properties.json ├── SKMaximizeGoal.class │ ├── README.md │ ├── instance │ │ └── run.runtime..st │ └── properties.json ├── SKMaximizeStream.class │ ├── README.md │ ├── instance │ │ └── map.runtime..st │ └── properties.json ├── SKMultiConstraint.class │ ├── README.md │ ├── class │ │ └── first.rest..st │ ├── instance │ │ ├── ^comma.st │ │ ├── ^equals.st │ │ ├── check.against.in..st │ │ ├── check.in..st │ │ ├── consolidatedBy..st │ │ ├── eager.in.runtime..st │ │ ├── eager.val.in.runtime..st │ │ ├── fire.in..st │ │ ├── first..st │ │ ├── first.st │ │ ├── hash.st │ │ ├── isLazy.st │ │ ├── isMultiConstraint.st │ │ ├── lazyConstraint.st │ │ ├── merge..st │ │ ├── mergeMulti..st │ │ ├── mergeSimple..st │ │ ├── printOn..st │ │ ├── rest..st │ │ ├── rest.st │ │ ├── simplify..st │ │ └── unificationTerm.st │ └── properties.json ├── SKNonBindingVar.class │ ├── README.md │ └── properties.json ├── SKNormal.class │ ├── README.md │ ├── instance │ │ ├── logLikelihood..st │ │ ├── maximize..st │ │ ├── mean..st │ │ ├── mean.st │ │ ├── printOn..st │ │ ├── std..st │ │ ├── std.st │ │ ├── sufficientStatistics..st │ │ └── sufficientStatistics.st │ └── properties.json ├── SKNumbero.class │ ├── README.md │ ├── class │ │ └── singleton.st │ ├── instance │ │ ├── isOfType..st │ │ └── printOn..st │ └── properties.json ├── SKObservationConstraint.class │ ├── README.md │ ├── instance │ │ ├── distribution..st │ │ ├── distribution.st │ │ └── fire.in..st │ └── properties.json ├── SKObservationGoal.class │ ├── README.md │ ├── instance │ │ ├── distribution..st │ │ ├── distribution.st │ │ ├── run..st │ │ ├── sample..st │ │ └── sample.st │ └── properties.json ├── SKOr.class │ ├── README.md │ ├── instance │ │ ├── ^equals.st │ │ ├── disjuncts.st │ │ ├── inspectorFormat.st │ │ ├── isDisjunction.st │ │ ├── left..st │ │ ├── left.st │ │ ├── printOn..st │ │ ├── right..st │ │ ├── right.st │ │ ├── run.runtime..st │ │ └── subgoals.st │ └── properties.json ├── SKPackage.class │ ├── README.md │ ├── class │ │ ├── substitution.constraints..st │ │ ├── substitution.constraints.pseudocounts..st │ │ ├── substitution.constraints.schedule.jointDistribution..st │ │ └── substitution.constraints.schedule.jointDistribution.goal..st │ ├── instance │ │ ├── ^equals.more.st │ │ ├── add.constraint..st │ │ ├── add.schedule..st │ │ ├── addSchedule..st │ │ ├── answer.st │ │ ├── answers.st │ │ ├── bind.runtime..st │ │ ├── check.absento..st │ │ ├── check.against..st │ │ ├── check.extend.runtime..st │ │ ├── checkVar.extend.runtime..st │ │ ├── constrain..st │ │ ├── constraints..st │ │ ├── constraints.st │ │ ├── copyTerm..st │ │ ├── eager..st │ │ ├── expandWhileQueryEquals.runner..st │ │ ├── extend.constraint..st │ │ ├── extend.noOccursCheck..st │ │ ├── extend.with..st │ │ ├── formatQuery..st │ │ ├── goal.st │ │ ├── gtInspectConstraints..st │ │ ├── gtInspectReification..st │ │ ├── gtInspectSubstitution..st │ │ ├── gtInspectorQuery2.runner..st │ │ ├── hasAnswer.st │ │ ├── hasSubstitution.st │ │ ├── includes..st │ │ ├── initialize.st │ │ ├── inspect.query..st │ │ ├── inspectReification..st │ │ ├── inspectSubstitution..st │ │ ├── integrityCheck.st │ │ ├── isEmpty.st │ │ ├── isIncomplete.st │ │ ├── isNotEmpty.st │ │ ├── isPackage.st │ │ ├── isState.st │ │ ├── likelihood.st │ │ ├── observe.from..st │ │ ├── packageC.st │ │ ├── packages..st │ │ ├── printOn..st │ │ ├── pseudoCounts..st │ │ ├── pseudoCounts.st │ │ ├── reificationsOf.in..st │ │ ├── reify..st │ │ ├── removeConstraint..st │ │ ├── select..st │ │ ├── setSchedule..st │ │ ├── size.st │ │ ├── sourceName.st │ │ ├── sourceWithRunner..st │ │ ├── streamFormat..st │ │ ├── substitution..st │ │ ├── substitution.st │ │ ├── unify.noWalk.runtime..st │ │ ├── unify.with..st │ │ ├── unify.with.runtime..st │ │ ├── walk..st │ │ └── walkVar..st │ └── properties.json ├── SKPairo.class │ ├── README.md │ ├── class │ │ └── singleton.st │ ├── instance │ │ ├── isOfType..st │ │ ├── printOn..st │ │ └── simplifiesAbsento..st │ └── properties.json ├── SKPlusConstraint.class │ ├── README.md │ ├── class │ │ ├── summand.sum..st │ │ └── summand.summand.sum..st │ ├── instance │ │ ├── checkVar.in..st │ │ ├── fire.in..st │ │ ├── printOn..st │ │ ├── sum..st │ │ ├── sum.st │ │ ├── summand..st │ │ └── summand.st │ └── properties.json ├── SKProject.class │ ├── README.md │ ├── class │ │ ├── block..st │ │ └── var.block..st │ ├── instance │ │ ├── block..st │ │ ├── block.st │ │ ├── run.runtime..st │ │ ├── var..st │ │ └── var.st │ └── properties.json ├── SKPseudoCounts.class │ ├── README.md │ ├── instance │ │ ├── ^equals.st │ │ ├── ^plus.st │ │ ├── ^star.st │ │ ├── at..st │ │ ├── at.add..st │ │ ├── average..st │ │ ├── hash.st │ │ ├── ifEmpty..st │ │ ├── initialize.st │ │ ├── likelihood..st │ │ ├── likelihood.st │ │ ├── likelihoodDelta..st │ │ ├── maximize..st │ │ ├── maximizeAll..st │ │ ├── observe.from..st │ │ ├── pseudocounts..st │ │ ├── pseudocounts.st │ │ ├── scale..st │ │ ├── sum..st │ │ └── sum.counts..st │ └── properties.json ├── SKReifiedConstraint.class │ ├── README.md │ ├── instance │ │ ├── constraint..st │ │ ├── constraint.st │ │ ├── printOn..st │ │ ├── var..st │ │ └── var.st │ └── properties.json ├── SKReusedMPlus.class │ ├── README.md │ ├── instance │ │ ├── cacheKey.st │ │ ├── isWaitingStream.st │ │ ├── left..st │ │ ├── left.st │ │ ├── right..st │ │ ├── right.st │ │ ├── step..st │ │ └── substreams.st │ └── properties.json ├── SKReusedStream.class │ ├── README.md │ ├── class │ │ └── table.inputs.outputs.state.cache..st │ ├── instance │ │ ├── cache..st │ │ ├── cache.st │ │ ├── cacheKey..st │ │ ├── consumed..st │ │ ├── consumed.st │ │ ├── initialize.st │ │ ├── isWaitingStream.st │ │ ├── outputs..st │ │ ├── outputs.st │ │ ├── printOn..st │ │ ├── state..st │ │ ├── state.st │ │ ├── step..st │ │ ├── table..st │ │ └── table.st │ └── properties.json ├── SKRuntime.class │ ├── README.md │ ├── class │ │ ├── expectations.given..st │ │ ├── fromBlock.query..st │ │ ├── fromPpl.model..st │ │ ├── newTable.st │ │ └── train.on..st │ ├── instance │ │ ├── ^equals.more.st │ │ ├── ^plus.st │ │ ├── advanceSchedule..st │ │ ├── asAnswer.st │ │ ├── asStream.st │ │ ├── at..st │ │ ├── atEnd.st │ │ ├── bind.runtime..st │ │ ├── branchesAliveAfterSteps..st │ │ ├── branchesNotFailedAfterSteps..st │ │ ├── closeTable.cache.runtime..st │ │ ├── complete..st │ │ ├── complete.table.inputs.outputs.pseudocounts.runtime..st │ │ ├── conde.state.runtime..st │ │ ├── do..st │ │ ├── gtInspectReification..st │ │ ├── gtInspectorAnswers..st │ │ ├── gtInspectorDelays..st │ │ ├── gtInspectorQuery..st │ │ ├── gtInspectorSchedule..st │ │ ├── gtInspectorStreams..st │ │ ├── gtInspectorSuspendedVars..st │ │ ├── gtInspectorTables..st │ │ ├── ifFailure..st │ │ ├── initialize.st │ │ ├── inject.into..st │ │ ├── inspectQuery..st │ │ ├── inspectReification..st │ │ ├── inspectStreams..st │ │ ├── inspectTables..st │ │ ├── isFailure.st │ │ ├── isIncomplete.st │ │ ├── isState.st │ │ ├── marginalize.pseudocounts..st │ │ ├── masterInputs.outputs.goal.state.tablename..st │ │ ├── maximize..st │ │ ├── maximize.st │ │ ├── next.st │ │ ├── nextWithSteps.st │ │ ├── peek.st │ │ ├── plus..st │ │ ├── plus.bind.runtime..st │ │ ├── printOn..st │ │ ├── prune..st │ │ ├── queriesInProgress.st │ │ ├── query..st │ │ ├── query.st │ │ ├── reify..st │ │ ├── reifyNoConstraints..st │ │ ├── reuseInputs.outputs.table.cache.state..st │ │ ├── run.st │ │ ├── runGoal..st │ │ ├── runLikelihoods.st │ │ ├── runList.st │ │ ├── runRuntimes.st │ │ ├── runStates.st │ │ ├── runTablesOnly.st │ │ ├── runtime..st │ │ ├── select..st │ │ ├── size.st │ │ ├── step..st │ │ ├── step.st │ │ ├── steps..st │ │ ├── stepsUntilFailure.st │ │ ├── stream..st │ │ ├── stream.st │ │ ├── table.cache..st │ │ ├── table.cache.put..st │ │ ├── table.inputs.outputs.pseudocounts.runtime..st │ │ ├── table.inputs.outputs.run.in..st │ │ ├── tabledPlus..st │ │ ├── tables..st │ │ └── tables.st │ └── properties.json ├── SKSatisfiedConstraint.class │ ├── README.md │ ├── class │ │ └── singleton.st │ ├── instance │ │ ├── absento..st │ │ ├── add..st │ │ ├── add.constraint.in..st │ │ ├── addTo..st │ │ ├── and.disequals..st │ │ ├── andDisequals..st │ │ ├── asGoal.st │ │ ├── check.extend.in..st │ │ ├── check.remove.in..st │ │ ├── checkAgainst.in..st │ │ ├── checkIn..st │ │ ├── checkVar.extend.in..st │ │ ├── consolidate..st │ │ ├── disequality..st │ │ ├── disjoinDisequality..st │ │ ├── disunify.in..st │ │ ├── exclusion..st │ │ ├── ifSatisfied..st │ │ ├── isSatisfied.st │ │ ├── orDisequality..st │ │ ├── printOn..st │ │ ├── simplifiedByMulti..st │ │ └── type..st │ └── properties.json ├── SKScheduleDebugger.class │ ├── README.md │ ├── class │ │ └── schedule.state.runtime..st │ ├── instance │ │ ├── gtInspectBlock..st │ │ ├── gtInspectClosure..st │ │ ├── gtInspectStep..st │ │ ├── printOn..st │ │ ├── runtime..st │ │ ├── runtime.st │ │ ├── schedule..st │ │ ├── schedule.st │ │ ├── state..st │ │ ├── state.st │ │ └── step.st │ └── properties.json ├── SKScheduledFresh.class │ ├── README.md │ ├── instance │ │ ├── block..st │ │ ├── block.st │ │ ├── includesVar..st │ │ ├── includesVar2..st │ │ ├── isFullyGround.st │ │ ├── isSingle.st │ │ ├── printOn..st │ │ ├── reassign.var..st │ │ ├── removeVar..st │ │ ├── scheduledRun.runtime..st │ │ └── scheduledStep.runtime..st │ └── properties.json ├── SKScheduledFreshGoal.class │ ├── README.md │ ├── instance │ │ ├── block..st │ │ ├── block.st │ │ ├── expandFresh.st │ │ ├── isFresh.st │ │ ├── printOn..st │ │ └── run..st │ └── properties.json ├── SKScheduler.class │ ├── README.md │ ├── class │ │ └── fullClass.st │ └── properties.json ├── SKSchedulerNonEmpty.class │ ├── README.md │ ├── class │ │ └── emptyClass.st │ └── properties.json ├── SKSparseSufficientStatistics.class │ ├── README.md │ ├── instance │ │ ├── ^plus.st │ │ └── initialize.st │ └── properties.json ├── SKState.class │ ├── README.md │ ├── instance │ │ ├── ^plus.st │ │ ├── asAnswer.st │ │ ├── atEnd.st │ │ ├── averagePseudoCounts..st │ │ ├── countAnswers.st │ │ ├── delayedBind.runtime..st │ │ ├── extendTable.inputs.outputs.pseudocounts.runtime..st │ │ ├── goal.st │ │ ├── hasSchedule.st │ │ ├── isLazy.st │ │ ├── isSuccess.st │ │ ├── marginalize.pseudocounts..st │ │ ├── maximize..st │ │ ├── mplus..st │ │ ├── plus..st │ │ ├── prioritize.schedule..st │ │ ├── schedule.st │ │ ├── step..st │ │ ├── stripPseudocounts.st │ │ └── table.inputs.outputs.pseudocounts.runtime..st │ └── properties.json ├── SKStateScheduled.class │ ├── README.md │ ├── instance │ │ ├── advanceSchedule..st │ │ ├── check.extend.runtime..st │ │ ├── checkVar.extend.runtime..st │ │ ├── countAnswers.st │ │ ├── delayedBind.runtime..st │ │ ├── goal..st │ │ ├── goal.st │ │ ├── gtInspectSchedule..st │ │ ├── hasGoal.st │ │ ├── hasSchedule.st │ │ ├── initialize.st │ │ ├── isLazy.st │ │ ├── prioritize.schedule..st │ │ ├── prioritizeVar.schedule..st │ │ ├── removeGoal.st │ │ ├── removeSchedule..st │ │ ├── runGoal..st │ │ ├── schedule..st │ │ ├── schedule.st │ │ ├── step..st │ │ └── unify.with.runtime..st │ └── properties.json ├── SKStream.class │ ├── README.md │ ├── class │ │ ├── empty.st │ │ └── failure.st │ ├── instance │ │ ├── ^plus.st │ │ ├── answer.st │ │ ├── asAnswer.st │ │ ├── asSourceBranch.st │ │ ├── asSourceChildren.st │ │ ├── asSourceRoot.st │ │ ├── asStream.st │ │ ├── atEnd.st │ │ ├── bind.runtime..st │ │ ├── cacheKey.st │ │ ├── children.st │ │ ├── complete..st │ │ ├── conde.state.runtime..st │ │ ├── countAnswers.st │ │ ├── debugger.st │ │ ├── delayedStreams.st │ │ ├── gtInspectConstraints..st │ │ ├── gtInspectReification..st │ │ ├── gtInspectSchedule..st │ │ ├── gtInspectSubstitution..st │ │ ├── gtInspectorConstraints.names..st │ │ ├── gtInspectorQuery2.runner..st │ │ ├── hasAnswer.st │ │ ├── hasGoal.st │ │ ├── hasSchedule.st │ │ ├── hasSubstitution.st │ │ ├── ifFailure..st │ │ ├── inspect.query..st │ │ ├── inspectReification..st │ │ ├── inspectSuspendedVarsIn.runner..st │ │ ├── inspectorFormat.st │ │ ├── isBind.st │ │ ├── isBranchingStream.st │ │ ├── isComplete.st │ │ ├── isDelayed.st │ │ ├── isDelayedPlus.st │ │ ├── isFailure.st │ │ ├── isGoal.st │ │ ├── isIncomplete.st │ │ ├── isMPlus.st │ │ ├── isPackage.st │ │ ├── isState.st │ │ ├── isSuccess.st │ │ ├── isTabledProducer.st │ │ ├── isWaitingStream.st │ │ ├── jumpTo.withRunner..st │ │ ├── leaves.st │ │ ├── marginalize.pseudocounts..st │ │ ├── maximize..st │ │ ├── mplus..st │ │ ├── packages..st │ │ ├── packages.st │ │ ├── plus..st │ │ ├── plus.bind.runtime..st │ │ ├── reificationsOf.in..st │ │ ├── runGoal..st │ │ ├── runtime..st │ │ ├── size.st │ │ ├── sourceChildren.st │ │ ├── step..st │ │ ├── step.st │ │ ├── stepMplusBranch..st │ │ ├── stepToAnswer.runner..st │ │ ├── steps.runner..st │ │ ├── streamFormat..st │ │ ├── streamsByQuery..st │ │ ├── substreams.st │ │ ├── table.inputs.outputs.pseudocounts.runtime..st │ │ └── tabledPlus..st │ └── properties.json ├── SKStreamDebugger.class │ ├── README.md │ ├── class │ │ ├── stream..st │ │ └── stream.runtime..st │ ├── instance │ │ ├── failsWithinSteps..st │ │ ├── gtInspectAnswers..st │ │ ├── gtInspectConstraints..st │ │ ├── gtInspectGoal..st │ │ ├── gtInspectLeaves..st │ │ ├── gtInspectLookahead..st │ │ ├── gtInspectReification..st │ │ ├── gtInspectSchedule..st │ │ ├── gtInspectStep..st │ │ ├── gtInspectStream..st │ │ ├── gtInspectSubstitution..st │ │ ├── initialize.st │ │ ├── lookahead..st │ │ ├── printOn..st │ │ ├── runList.st │ │ ├── runtime..st │ │ ├── runtime.st │ │ ├── size.st │ │ ├── step.st │ │ ├── stepToAnswer..st │ │ ├── stepToAnswer.st │ │ ├── stream..st │ │ ├── stream.st │ │ ├── subStream..st │ │ ├── succeedsOrFails.withinSteps..st │ │ ├── succeedsOrFailsWithinSteps..st │ │ └── succeedsWithinSteps..st │ └── properties.json ├── SKSubstitution.class │ ├── README.md │ ├── class │ │ └── empty.st │ ├── instance │ │ ├── addDisequalities..st │ │ ├── asDisequality.st │ │ ├── asDisequalityGoal.st │ │ ├── at..st │ │ ├── atKey.put..st │ │ ├── check.against..st │ │ ├── check.extend.runtime..st │ │ ├── checkOccurrenceOf.in..st │ │ ├── checkVar.extend.runtime..st │ │ ├── copyTerm..st │ │ ├── disunify..st │ │ ├── extend.noOccursCheck..st │ │ ├── extend.occursCheck..st │ │ ├── extend.with..st │ │ ├── extendState..st │ │ ├── gtInspectReification..st │ │ ├── gtInspectSubstitution..st │ │ ├── hashmap..st │ │ ├── hashmap.st │ │ ├── ifFailure..st │ │ ├── includesKey..st │ │ ├── initialize.st │ │ ├── inspectSubstitution..st │ │ ├── isEmpty.st │ │ ├── isFailure.st │ │ ├── reify..st │ │ ├── size.st │ │ ├── substitution.st │ │ ├── unify.noWalk..st │ │ ├── unify.with..st │ │ ├── unify.with.runtime..st │ │ ├── unifyAllBut.in.runtime..st │ │ ├── walk..st │ │ ├── walkBinding..st │ │ └── walkVar..st │ └── properties.json ├── SKSucceed.class │ ├── README.md │ ├── class │ │ └── singleton.st │ ├── instance │ │ ├── ^and.st │ │ ├── and.absento..st │ │ ├── andKey.isAbsento..st │ │ ├── asConstraint.st │ │ ├── conjoin..st │ │ ├── constraint.st │ │ ├── ifSucceed..st │ │ ├── isSucceed.st │ │ ├── isSuccess.st │ │ ├── printOn..st │ │ └── run..st │ └── properties.json ├── SKSufficientStatistics.class │ ├── README.md │ ├── class │ │ ├── from..st │ │ └── new..st │ ├── instance │ │ ├── ^plus.st │ │ ├── ^star.st │ │ ├── first.st │ │ ├── second.st │ │ ├── statistics..st │ │ ├── statistics.st │ │ └── third.st │ └── properties.json ├── SKSymbolo.class │ ├── README.md │ ├── class │ │ └── singleton.st │ ├── instance │ │ ├── isOfType..st │ │ └── printOn..st │ └── properties.json ├── SKTableCache.class │ ├── README.md │ ├── instance │ │ ├── add..st │ │ ├── close.st │ │ ├── closed..st │ │ ├── collect..st │ │ ├── entries..st │ │ ├── entries.st │ │ ├── first.st │ │ ├── initialize.st │ │ ├── isAtFixedPoint..st │ │ ├── isClosed.st │ │ ├── isEmpty.st │ │ └── isFailure.st │ └── properties.json ├── SKTableCacheEntry.class │ ├── README.md │ ├── instance │ │ ├── argv..st │ │ ├── argv.st │ │ ├── printOn..st │ │ ├── pseudoCounts..st │ │ └── pseudoCounts.st │ └── properties.json ├── SKTabledGoal.class │ ├── README.md │ ├── instance │ │ ├── block..st │ │ ├── block.st │ │ ├── delayedRun.runtime..st │ │ ├── inputs..st │ │ ├── inputs.st │ │ ├── outputs..st │ │ ├── outputs.st │ │ ├── printOn..st │ │ ├── run.runtime..st │ │ ├── tableName..st │ │ └── tableName.st │ └── properties.json ├── SKTabledProducerStream.class │ ├── README.md │ ├── class │ │ └── table.inputs.outputs.stream.pseudocounts..st │ ├── instance │ │ ├── answer.st │ │ ├── cacheKey..st │ │ ├── cacheKey.st │ │ ├── formatQuery..st │ │ ├── gtInspectorQuery2.runner..st │ │ ├── inspectorFormat.st │ │ ├── isTabledProducer.st │ │ ├── map.runtime..st │ │ ├── outputVars..st │ │ ├── outputVars.st │ │ ├── packages..st │ │ ├── printOn..st │ │ ├── pseudocounts..st │ │ ├── pseudocounts.st │ │ ├── tableName..st │ │ └── tableName.st │ └── properties.json ├── SKTaggedVar.class │ ├── README.md │ ├── instance │ │ ├── tag..st │ │ ├── tag.st │ │ └── tagString.st │ └── properties.json ├── SKTermCopier.class │ ├── README.md │ ├── instance │ │ ├── initialize.st │ │ └── reify..st │ └── properties.json ├── SKTrainingEpoch.class │ ├── README.md │ ├── instance │ │ ├── likelihood..st │ │ ├── likelihood.st │ │ ├── likelihoodDelta..st │ │ ├── likelihoodDelta.st │ │ ├── model..st │ │ └── model.st │ └── properties.json ├── SKTypeo.class │ ├── README.md │ ├── instance │ │ ├── fire.in..st │ │ ├── isOfType..st │ │ ├── simplifiedByType..st │ │ ├── simplifiesAbsento..st │ │ └── simplify..st │ └── properties.json ├── SKUnification.class │ ├── README.md │ ├── instance │ │ ├── ^equals.st │ │ ├── isUnification.st │ │ ├── left..st │ │ ├── left.st │ │ ├── printOn..st │ │ ├── right..st │ │ ├── right.st │ │ └── run.runtime..st │ └── properties.json ├── SKUnificationConstraint.class │ ├── README.md │ ├── class │ │ └── unification..st │ ├── instance │ │ ├── ^equals.st │ │ ├── consolidate..st │ │ ├── extend.previousConstraint.in..st │ │ ├── isUnification.st │ │ ├── printOn..st │ │ ├── simplifiedByAbsento..st │ │ ├── simplifiedByDisequality..st │ │ ├── simplify..st │ │ ├── term..st │ │ └── term.st │ └── properties.json ├── SKUnificationNoWalk.class │ ├── README.md │ ├── class │ │ └── left.right..st │ ├── instance │ │ └── run.runtime..st │ └── properties.json ├── SKUnsatisfiableConstraint.class │ ├── README.md │ ├── class │ │ └── singleton.st │ ├── instance │ │ ├── add..st │ │ ├── addTo..st │ │ ├── asGoal.st │ │ ├── checkIn..st │ │ ├── consolidate..st │ │ ├── disjoinDisequality..st │ │ ├── disunify.in..st │ │ ├── extend.previousConstraint.in..st │ │ ├── ifNotFailed..st │ │ ├── isUnsatisfiable.st │ │ ├── orDisequality..st │ │ ├── printOn..st │ │ └── simplifiedByMulti..st │ └── properties.json ├── SKVar.class │ ├── README.md │ ├── class │ │ ├── read.o..st │ │ └── tag..st │ ├── instance │ │ ├── ^equals.equals.equals.st │ │ ├── ^equals.slash.equals.st │ │ ├── absento..st │ │ ├── car.cdro..st │ │ ├── car.list.o..st │ │ ├── carCdrResto..st │ │ ├── carCdro..st │ │ ├── caro..st │ │ ├── caro.cdro..st │ │ ├── cdro..st │ │ ├── copyTermo.st │ │ ├── finiteDomain..st │ │ ├── formatConstraint..st │ │ ├── isBooleano.st │ │ ├── isConstraint.st │ │ ├── isEmptyo.st │ │ ├── isNotEmptyo.st │ │ ├── isNumbero.st │ │ ├── isPairo.st │ │ ├── isSKVar.st │ │ ├── isSymbolo.st │ │ ├── isTaggedVar.st │ │ ├── keyIsAbsento..st │ │ ├── label.st │ │ ├── match.o..st │ │ ├── plus.o..st │ │ ├── printConstraint.on..st │ │ ├── printOn..st │ │ ├── projecto..st │ │ ├── skAbsento.in..st │ │ ├── skAlphaEquals..st │ │ ├── skAlphaHash.st │ │ ├── skOccurs.in..st │ │ ├── skReify..st │ │ ├── skUnify.in.runtime..st │ │ ├── skUnifyCons.in.runtime..st │ │ ├── skUnifyEmptyConsIn.runtime..st │ │ ├── skUnifyGround..st │ │ ├── skUnifyGround.in.runtime..st │ │ ├── skUnifyVar.in.runtime..st │ │ └── tag..st │ └── properties.json ├── True.extension │ ├── instance │ │ └── asGoal.st │ └── properties.json ├── monticello.meta │ ├── categories.st │ ├── initializers.st │ └── package └── properties.json └── SmallKanren-Tests.package ├── .filetree ├── SBRALTest.class ├── README.md ├── class │ └── lastStoredRun.st ├── instance │ ├── testAdd.st │ ├── testAddOutOfOrder.st │ └── testAtPut.st └── properties.json ├── SKAbsentoConstraintTest.class ├── README.md ├── class │ └── lastStoredRun.st ├── instance │ ├── setUp.st │ ├── tearDown.st │ ├── testApply.st │ ├── testApplyTwo.st │ ├── testApplyTwoAndMerge.st │ ├── testApplyTwoFailOnFirst.st │ ├── testApplyTwoFailOnSecond.st │ ├── testApplyTwoMergeWithTwo.st │ ├── testComma.st │ ├── testDisjoinedComma.st │ ├── testFailOnApplyToAtom.st │ ├── testFailOnApplyToList.st │ ├── testFailOnApplyToListFreeCar.st │ ├── testFailOnApplyToListFreeCdr.st │ ├── testFailOnApplyToListTwo.st │ ├── testFailOnUnifyAtom.st │ ├── testFailOnUnifyListFreeCdr.st │ ├── testPassOnApplyToAtom.st │ ├── testPassOnApplyToEmptyList.st │ ├── testPassOnApplyToList.st │ ├── testPassOnApplyToListFreeCar.st │ ├── testPassOnApplyToListFreeCdr.st │ ├── testPassOnApplyToListTwo.st │ ├── testPassOnUnifyListFreeCdr.st │ └── testPrintOn.st └── properties.json ├── SKBinderTest.class ├── README.md ├── instance │ ├── setUp.st │ ├── testDisequality.st │ ├── testHash.st │ ├── testSkSwapNoms.st │ ├── testUnifyNoSwap.st │ └── testUnifySwap.st └── properties.json ├── SKConsTest.class ├── README.md ├── class │ └── lastStoredRun.st ├── instance │ ├── setUp.st │ ├── tearDown.st │ ├── testAbsento.st │ ├── testAppendoAllGround.st │ ├── testAppendoPrefixFree.st │ ├── testAppendoSymbol.st │ ├── testCarCdrIn.st │ ├── testCaro.st │ ├── testCaroCdro.st │ ├── testDisunification.st │ ├── testExcludedBy.st │ ├── testIsEmptyo.st │ ├── testIsNotEmptyo.st │ ├── testKeyIsAbsento.st │ ├── testLastoGround.st │ ├── testMatchGround.st │ ├── testMemberoGround.st │ ├── testMemberoList.st │ ├── testMemberoPrimitive.st │ ├── testMemberoVar.st │ ├── testNemberoGround.st │ ├── testNsubsetoGround.st │ ├── testOccurs.st │ ├── testReification.st │ ├── testRemberAlloAllGround.st │ ├── testRemberoAllGround.st │ ├── testRemberoListFree.st │ ├── testRemberoListSymbol.st │ ├── testRemberoOutFree.st │ ├── testRemberoXFree.st │ ├── testSubsetoGround.st │ ├── testUnification.st │ └── testUnify.st └── properties.json ├── SKCustomConstraintTest.class ├── README.md ├── instance │ ├── setUp.st │ ├── testGround.st │ ├── testMultiVar.st │ └── testSingleVar.st └── properties.json ├── SKDelayedConstraintTest.class ├── README.md ├── instance │ ├── setUp.st │ ├── tearDown.st │ ├── testBindDPlus.st │ ├── testCdrInConjoin.st │ ├── testCdrInConjoinBothFail.st │ ├── testCdrInConjoinFail.st │ ├── testCdrInConjoinSucceed.st │ ├── testCdrInConstraint.st │ ├── testCdrInGroundSucceed.st │ ├── testCdrInListFail.st │ ├── testCdrInListSucceed.st │ ├── testCdrInUndelay.st │ ├── testCdrInVarTransfer.st │ ├── testConjoin.st │ ├── testConjoinAndUnify.st │ ├── testConjoinAndUnifyEmptyFail.st │ ├── testConjoinAndUnifyFail.st │ ├── testConjoinFail.st │ ├── testConjoinFailEarly.st │ ├── testConjoinStep.st │ ├── testDPlusOrComplete.st │ ├── testDPlusOrCompletePlus.st │ ├── testDPlusOrDPlus.st │ ├── testDelay.st │ ├── testDelayAndUnify.st │ ├── testDelayAndUnifyFail.st │ ├── testDelayAndUnifyFailure.st │ ├── testDelayAndUnifyFree.st │ ├── testDelayOrComplete.st │ ├── testDelayOrCompletePlus.st │ ├── testDelayOrDPlus.st │ ├── testDelayOrDelay.st │ ├── testDelayStep.st │ ├── testDelayUnifyEmptyFail.st │ ├── testDelayUnifyFree.st │ ├── testDelayUnifyOtherFree.st │ ├── testMPlus.st │ ├── testPlusDelay.st │ ├── testPlusState.st │ ├── testPrintGoal.st │ ├── testRunnerNext.st │ ├── testStateOrDPlus.st │ ├── testStateOrDelay.st │ ├── testUndelayComplete.st │ ├── testUndelayDelay.st │ ├── testUndelayState.st │ ├── testUnifyAndConjoin.st │ ├── testUnifyAndConjoinFail.st │ ├── testUnifyAndDelay.st │ └── testUnifyEmptyConjoinAndFail.st └── properties.json ├── SKDisequalityConstraintTest.class ├── README.md ├── class │ └── lastStoredRun.st ├── instance │ ├── ando.ando.ando..st │ ├── genConj.conj.depth..st │ ├── genDisj.disj.depth..st │ ├── genSingle.const..st │ ├── oro.oro.oro..st │ ├── setUp.st │ ├── tearDown.st │ ├── testAddThreePassFree.st │ ├── testAddTwoPassFree.st │ ├── testApplyFree.st │ ├── testApplyImpossiblePair.st │ ├── testApplyList.st │ ├── testApplyPair.st │ ├── testApplyTwo.st │ ├── testApplyTwoFailFirst.st │ ├── testApplyTwoFailSecond.st │ ├── testApplyTwoFree.st │ ├── testApplyTwoMergeTwo.st │ ├── testApplyTwoPairs.st │ ├── testConstructConjoined.st │ ├── testConstructConjoinedFree.st │ ├── testConstructDisjoined.st │ ├── testConstructDisjoinedFree.st │ ├── testConstructSingle.st │ ├── testConstructSingleFree.st │ ├── testDisequalitiesEqual.st │ ├── testDisjoinedMerge.st │ ├── testDisjunctionSatisfied.st │ ├── testEmptyConstraint.st │ ├── testEmptyStore.st │ ├── testFailOnApply.st │ ├── testFailOnApplyFree.st │ ├── testFailOnApplyPair.st │ ├── testFailOnUnify.st │ ├── testFailOnUnifyFree.st │ ├── testFreeDisjunctionFails.st │ ├── testFreeDisjunctionReduces.st │ ├── testLongConjunction.st │ ├── testMergeOnUnifyFree.st │ ├── testPairReduces.st │ ├── testPassOnApply.st │ ├── testPassOnApplyFreePair.st │ ├── testPassOnApplyPair.st │ ├── testPassOnApplyPairReverse.st │ ├── testPassOnUnifyFree.st │ ├── testPassOnUnifyPair.st │ ├── testPassOnUnifyPairReverse.st │ ├── testPassOnUnifyTriple.st │ ├── testPrintOn.st │ ├── testRun.st │ ├── testSelfDisequalsWhenUnified.st │ ├── testSimplifyCons.st │ ├── testSimplifyEmptyCons.st │ └── testSimplifyPrimitive.st └── properties.json ├── SKFiniteDomainTest.class ├── README.md ├── instance │ ├── setUp.st │ ├── testGroundDomain.st │ ├── testMerge.st │ ├── testMergeAbsento.st │ ├── testMergeDisequality.st │ └── testUnify.st └── properties.json ├── SKFiniteInterpreter.class ├── README.md ├── instance │ ├── any.st │ ├── checkConstraints.o..st │ ├── checkConstraints.violation.in.o.depth..st │ ├── checkDiseq.in.o..st │ ├── checkTypeo.in.o..st │ ├── checkTypes.in.o.depth..st │ ├── constraints.st │ ├── env.st │ ├── eval..st │ ├── eval.env.o..st │ ├── eval.env.o.length..st │ ├── eval.o..st │ ├── evalLine.env.o..st │ ├── extend.with.constraint.store.o..st │ ├── extend.with.in.o..st │ ├── extendPackage.with.in.o..st │ ├── extendPackage.with.type.store.o..st │ ├── fresh..st │ ├── initialize.st │ ├── is.in..st │ ├── is.type..st │ ├── isList..st │ ├── isList.depth.length..st │ ├── isNotVar..st │ ├── listDepth..st │ ├── listDepth.st │ ├── listLength..st │ ├── listLength.st │ ├── nonLists.st │ ├── nonVars.st │ ├── not.equals.type..st │ ├── not.type..st │ ├── numbers.st │ ├── occurs.notIn.sub.depth..st │ ├── package.not..st │ ├── pair.st │ ├── programLength..st │ ├── programLength.st │ ├── substitution.not..st │ ├── symbols.st │ ├── unify.with.in.o..st │ ├── unify.with.in.o.depth.length..st │ ├── unifyList.list.in.o.depth.length..st │ ├── unifyVar.val.in.o..st │ ├── unifyVar.var.in.o..st │ ├── values.st │ ├── vars..st │ ├── vars.st │ ├── walk.env.o..st │ └── walk.in.o..st └── properties.json ├── SKFiniteInterpreterTest.class ├── README.md ├── instance │ ├── assert.evalsTo..st │ ├── eval..st │ ├── evalAtom..st │ ├── evalLine..st │ ├── read..st │ ├── read.env..st │ ├── reify..st │ ├── setUp.st │ ├── tearDown.st │ ├── testConstraintStore.st │ ├── testEmptyProgram.st │ ├── testExtend.st │ ├── testGenerative.st │ ├── testIsIn.st │ ├── testNotEquals.st │ ├── testSubstitutionNot.st │ ├── testUnifyLists.st │ ├── testUnifyPrograms.st │ ├── testUnifyVals.st │ ├── testUnifyVarVals.st │ ├── testUnifyVars.st │ ├── testWalk.st │ ├── x..st │ └── x.y..st └── properties.json ├── SKGoalTest.class ├── README.md ├── class │ └── lastStoredRun.st ├── instance │ ├── setUp.st │ ├── tearDown.st │ ├── testAndAnds.st │ ├── testAndFail.st │ ├── testAndOr.st │ ├── testAndReduces.st │ ├── testAndSuccess.st │ ├── testConj.st │ ├── testConsSimplifies.st │ ├── testEmptyConsSimplifies.st │ ├── testFail.st │ ├── testFresh.st │ ├── testFreshAndUnify.st │ ├── testFreshGoal.st │ ├── testFreshVars.st │ ├── testNestedFreshGoal.st │ ├── testOrFail.st │ ├── testOrReduces.st │ ├── testPrimitivesSimplify.st │ ├── testPrintOnAbsento.st │ ├── testPrintOnAnd.st │ ├── testPrintOnDisequality.st │ ├── testPrintOnFailSucceed.st │ ├── testPrintOnOr.st │ ├── testPrintOnType.st │ ├── testPrintOnUnification.st │ ├── testProjecto.st │ ├── testRecursiveFreshGoal.st │ ├── testRun.st │ ├── testSuccess.st │ ├── testSuccessAndFailure.st │ ├── testSuccessAndSuccess.st │ ├── testUnifyAndUnify.st │ ├── testUnifyAndUnifyAndUnify.st │ ├── testUnifyListWithList.st │ ├── testUnifyOccursCheck.st │ ├── testUnifyOrUnify.st │ ├── testUnifySelf.st │ ├── testUnifyValWithVar.st │ ├── testUnifyValsAndFail.st │ ├── testUnifyValsAndSucceed.st │ ├── testUnifyVarWithList.st │ └── testUnifyVarWithVal.st └── properties.json ├── SKGuardedFreshTest.class ├── README.md ├── instance │ ├── setUp.st │ ├── testAdvanceSchedule.st │ ├── testAlist.st │ ├── testBoundPair.st │ ├── testBoundPattern.st │ ├── testCar.st │ ├── testCarList.st │ ├── testConstantPattern.st │ ├── testFiresOnUnify.st │ ├── testFreeArray.st │ ├── testFreePair.st │ ├── testFreshGlobals.st │ ├── testGround.st │ ├── testGroundArray.st │ ├── testGroundEagerness.st │ ├── testGroundPair.st │ ├── testMatcho.st │ ├── testMultiFresh.st │ ├── testMultiPair.st │ ├── testMultiUnify.st │ ├── testPattern.st │ ├── testPreemptiveFail.st │ ├── testPrioritizeArray.st │ ├── testRunEager.st │ ├── testSynchronizeOnVar.st │ ├── testUnify.st │ ├── testVarReassignment.st │ └── testWalked.st └── properties.json ├── SKHashTest.class ├── README.md ├── instance │ ├── setUp.st │ ├── testCollection.st │ ├── testList.st │ ├── testNom.st │ ├── testObject.st │ ├── testSuspension.st │ ├── testTie.st │ ├── testUnification.st │ ├── testVar.st │ └── testVariables.st └── properties.json ├── SKInspectorTest.class ├── README.md ├── class │ ├── testDelay.st │ ├── testQuery.st │ └── testReification.st └── properties.json ├── SKMultiConstraintTest.class ├── README.md ├── instance │ ├── setUp.st │ ├── testCheckAgainstIn.st │ ├── testMergeAbsento.st │ ├── testMergeAbsentoDisequality.st │ ├── testMergeAbsentoMulti.st │ ├── testMergeBooleanAbsento.st │ ├── testMergeBooleanDisequality.st │ ├── testMergeDisequalities.st │ ├── testMergeDisequalitiesMulti.st │ ├── testMergeFreshDisequality.st │ ├── testMergeTypeAbsento.st │ ├── testMergeTypeDisequality.st │ ├── testMergeTypes.st │ ├── testMergeTypesMulti.st │ └── testUnifyVar.st └── properties.json ├── SKNomTest.class ├── README.md ├── instance │ ├── setUp.st │ └── testUnify.st └── properties.json ├── SKPassedConstraintTest.class ├── README.md ├── class │ └── lastStoredRun.st ├── instance │ ├── setUp.st │ ├── tearDown.st │ ├── testConstraintsEmptyOnUnify.st │ └── testNoExtraPassedConstraintsOnUnify.st └── properties.json ├── SKPlusConstraintTest.class ├── README.md ├── instance │ ├── setUp.st │ ├── testGround.st │ └── testUnification.st └── properties.json ├── SKProbabilityTest.class ├── README.md ├── class │ ├── testPerfViterbi.st │ ├── testPerformanceGMM.st │ ├── testPerformanceGMMManual.st │ ├── testPerformanceHMM1D.st │ └── testPerformanceHMMMulti.st ├── instance │ ├── setUp.st │ ├── testBernoulli.st │ ├── testCategorical.st │ ├── testCoin.st │ ├── testConditionPassThroughState.st │ ├── testConditionSum.st │ ├── testConditionalFail.st │ ├── testFlip1Bound.st │ ├── testFlip1Conditional.st │ ├── testFlip1Free.st │ ├── testFlip1Ground.st │ ├── testFlip1LateBound.st │ ├── testFlip1Marginal.st │ ├── testFlip2Conj.st │ ├── testFlip2Marginal.st │ ├── testFlip2MarginalConj.st │ ├── testFlip3Conj.st │ ├── testGMMConditionalIndependence.st │ ├── testGMMKMeans.st │ ├── testGMMMarginalize.st │ ├── testGMMTrain.st │ ├── testHMM.st │ ├── testHMMArgmax.st │ ├── testHMMArgmaxGenerative.st │ ├── testHMMBackwards.st │ ├── testHMMForwardBackwardExample.st │ ├── testHMMMarginalize.st │ ├── testHMMMarginalizeGenerative.st │ ├── testHMMViterbiDecoding.st │ ├── testHMMViterbiDecodingExamples.st │ ├── testHMMViterbiTraining.st │ ├── testHiddenCoin.st │ ├── testLogDifference.st │ ├── testLogSqrt.st │ ├── testLogSumExp.st │ ├── testMaximize.st │ ├── testMaximizeBestFails.st │ ├── testMaximizeFail.st │ ├── testMaximizeNuisance.st │ ├── testNormalLikelihood.st │ ├── testNormalMaximization.st │ ├── testPCFG.st │ ├── testPseudoCountSum.st │ ├── testPseudoCountWeight.st │ ├── testStateLikelihood.st │ ├── testStateMaximize.st │ ├── testTabledFlip1.st │ └── testWaitingMaximize.st └── properties.json ├── SKRelationalInterpreterTest.class ├── README.md ├── instance │ ├── assert.unifies..st │ ├── setUp.st │ ├── testEmptyList.st │ ├── testListOne.st │ ├── testListTwo.st │ ├── testLookupFirst.st │ ├── testLookupSecond.st │ ├── testLookupX.st │ ├── testLookupY.st │ ├── testQuote.st │ ├── testTrace.st │ ├── testTraceListLookup.st │ ├── testTraceListOne.st │ ├── testTraceLookupX.st │ ├── testTraceLookupY.st │ ├── testTraceQuote.st │ └── testTracesUnique.st └── properties.json ├── SKScheduleTest.class ├── README.md ├── instance │ ├── setUp.st │ └── testSchedule.st └── properties.json ├── SKStateTest.class ├── README.md ├── class │ └── lastStoredRun.st ├── instance │ ├── setUp.st │ ├── tearDown.st │ ├── testDoubleUnify.st │ ├── testPrintOn.st │ ├── testRemoveConstraint.st │ ├── testSingleUnify.st │ ├── testUnifyFree.st │ ├── testUnifyList.st │ ├── testUnifyOccursCheck.st │ ├── testUnifyVal.st │ └── testUnifyWalked.st └── properties.json ├── SKStreamTest.class ├── README.md ├── class │ └── lastStoredRun.st ├── instance │ ├── setUp.st │ ├── tearDown.st │ ├── testDelayedVarsAliveAfterSteps.st │ ├── testMPlus.st │ ├── testMPlusBranchesAliveAfterSteps.st │ ├── testMPlusBranchesNotFailedAfterSteps.st │ ├── testReificationsOf.st │ └── testSelect.st └── properties.json ├── SKSubstitutionDeltaTest.class ├── README.md ├── class │ └── lastStoredRun.st ├── instance │ ├── setUp.st │ ├── tearDown.st │ ├── testUnify.st │ ├── testUnifyList.st │ └── testUnifyTwo.st └── properties.json ├── SKSubstitutionTest.class ├── README.md ├── class │ ├── lastStoredRun.st │ └── testInspector.st ├── instance │ ├── setUp.st │ ├── tearDown.st │ ├── testExtendNoOccursCheck.st │ ├── testExtendOccursCheck.st │ ├── testOccursCheckList.st │ ├── testOccursCheckObject.st │ ├── testOccursCheckVar.st │ ├── testWalkBinding.st │ └── testWalkVar.st └── properties.json ├── SKSuspensionTest.class ├── README.md ├── instance │ ├── setUp.st │ └── testDisagreementSet.st └── properties.json ├── SKTablingTest.class ├── README.md ├── class │ └── lastStoredRun.st ├── instance │ ├── arc.to..st │ ├── path.to..st │ ├── path.to.plan..st │ ├── testAlphaEquals.st │ ├── testCloseCache.st │ ├── testConsumer.st │ ├── testCopyTerm.st │ ├── testDelayedReusedStream.st │ ├── testDelayedTabledBind.st │ ├── testFailOnClosedCache.st │ ├── testIsWaitingStream.st │ ├── testNestedTableBinds.st │ ├── testPath.st │ ├── testPathPlan.st │ ├── testPathTour.st │ ├── testProducer.st │ ├── testReusedChangesDetected.st │ ├── testTableComplete.st │ ├── testTableCompleteUnique.st │ ├── testTableConjoined.st │ ├── testTableConjoinedThenBind.st │ ├── testTableDisjoined.st │ ├── testTableFree.st │ ├── testTableGround.st │ ├── testTablePassesThroughDelays.st │ ├── testTabledGuardedConsumer.st │ ├── testTabledGuardedProducer.st │ └── testTabledMPlus.st └── properties.json ├── SKTestCase.class ├── README.md ├── instance │ ├── setUp.st │ ├── tearDown.st │ └── testNoop.st └── properties.json ├── SKTypeConstraintTest.class ├── README.md ├── class │ ├── constraint..st │ ├── constraint.constraint..st │ ├── constraint.constraint.value.passes..st │ ├── constraint.value.passes..st │ └── lastStoredRun.st ├── instance │ ├── setUp.st │ ├── tearDown.st │ ├── testBooleano.st │ ├── testConstraintConflictOnUnification.st │ ├── testConstraintShiftsVarsWhenApplied.st │ ├── testConstraintShiftsVarsWhenUnified.st │ ├── testConstraintsMergeWhenUnified.st │ ├── testDoubleConstraint.st │ ├── testEmptyConstraint.st │ ├── testEmptyStore.st │ ├── testIdempotence.st │ ├── testMutualExclusivity.st │ ├── testPairo.st │ ├── testPrintOn.st │ ├── testSingleConstraint.st │ ├── testTypeSimplifyType.st │ ├── testVariableAlreadySatisfies.st │ └── testVariableAlreadyViolates.st └── properties.json ├── SKVariableTest.class ├── README.md ├── class │ └── lastStoredRun.st ├── instance │ ├── setUp.st │ ├── tearDown.st │ ├── testReado.st │ └── testSKAlphaHash.st └── properties.json ├── monticello.meta ├── categories.st ├── initializers.st └── package └── properties.json /.project: -------------------------------------------------------------------------------- 1 | { 2 | 'srcDirectory' : '' 3 | } -------------------------------------------------------------------------------- /.properties: -------------------------------------------------------------------------------- 1 | { 2 | #format : #filetree 3 | } -------------------------------------------------------------------------------- /BaselineOfSmallKanren.package/.filetree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/BaselineOfSmallKanren.package/.filetree -------------------------------------------------------------------------------- /BaselineOfSmallKanren.package/BaselineOfSmallKanren.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /BaselineOfSmallKanren.package/monticello.meta/categories.st: -------------------------------------------------------------------------------- 1 | SystemOrganization addCategory: #BaselineOfSmallKanren! 2 | -------------------------------------------------------------------------------- /BaselineOfSmallKanren.package/monticello.meta/initializers.st: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /BaselineOfSmallKanren.package/monticello.meta/package: -------------------------------------------------------------------------------- 1 | (name 'BaselineOfSmallKanren') -------------------------------------------------------------------------------- /BaselineOfSmallKanren.package/properties.json: -------------------------------------------------------------------------------- 1 | { } -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/.filetree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/.filetree -------------------------------------------------------------------------------- /SmallKanren-Core.package/Array.extension/instance/asGoal.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Array.extension/instance/asGoal.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Array.extension/instance/conde.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Array.extension/instance/conde.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Array.extension/instance/match.o..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Array.extension/instance/match.o..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Array.extension/instance/skReify..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Array.extension/instance/skReify..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Array.extension/properties.json: -------------------------------------------------------------------------------- 1 | { 2 | "name" : "Array" 3 | } -------------------------------------------------------------------------------- /SmallKanren-Core.package/BlockClosure.extension/instance/asGoal.st: -------------------------------------------------------------------------------- 1 | *SmallKanren-Core 2 | asGoal 3 | ^ SKFresh new block: self -------------------------------------------------------------------------------- /SmallKanren-Core.package/BlockClosure.extension/instance/fresh.st: -------------------------------------------------------------------------------- 1 | *SmallKanren-Core 2 | fresh 3 | ^ SKScheduledFreshGoal new block: self. -------------------------------------------------------------------------------- /SmallKanren-Core.package/BlockClosure.extension/properties.json: -------------------------------------------------------------------------------- 1 | { 2 | "name" : "BlockClosure" 3 | } -------------------------------------------------------------------------------- /SmallKanren-Core.package/Cons.extension/instance/absento..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Cons.extension/instance/absento..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Cons.extension/instance/asArray.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Cons.extension/instance/asArray.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Cons.extension/instance/car.cdro..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Cons.extension/instance/car.cdro..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Cons.extension/instance/car.list.o..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Cons.extension/instance/car.list.o..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Cons.extension/instance/carCdro..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Cons.extension/instance/carCdro..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Cons.extension/instance/caro..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Cons.extension/instance/caro..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Cons.extension/instance/caro.cdro..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Cons.extension/instance/caro.cdro..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Cons.extension/instance/cdro..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Cons.extension/instance/cdro..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Cons.extension/instance/isEmptyo.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Cons.extension/instance/isEmptyo.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Cons.extension/instance/isNotEmptyo.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Cons.extension/instance/isNotEmptyo.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Cons.extension/instance/isPairo.st: -------------------------------------------------------------------------------- 1 | *SmallKanren-Core 2 | isPairo 3 | ^ self isNotEmpty asGoal -------------------------------------------------------------------------------- /SmallKanren-Core.package/Cons.extension/instance/match.o..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Cons.extension/instance/match.o..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Cons.extension/instance/skAlphaHash.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Cons.extension/instance/skAlphaHash.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Cons.extension/instance/skReify..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Cons.extension/instance/skReify..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Cons.extension/properties.json: -------------------------------------------------------------------------------- 1 | { 2 | "name" : "Cons" 3 | } -------------------------------------------------------------------------------- /SmallKanren-Core.package/False.extension/instance/asGoal.st: -------------------------------------------------------------------------------- 1 | *SmallKanren-Core 2 | asGoal 3 | ^ SKFail singleton -------------------------------------------------------------------------------- /SmallKanren-Core.package/False.extension/properties.json: -------------------------------------------------------------------------------- 1 | { 2 | "name" : "False" 3 | } -------------------------------------------------------------------------------- /SmallKanren-Core.package/Number.extension/instance/plus.o..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Number.extension/instance/plus.o..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Number.extension/properties.json: -------------------------------------------------------------------------------- 1 | { 2 | "name" : "Number" 3 | } -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/absento..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Object.extension/instance/absento..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/append.o..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Object.extension/instance/append.o..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/car.cdro..st: -------------------------------------------------------------------------------- 1 | *SmallKanren-Core 2 | car: aCar cdro: aBlock 3 | ^ SKGoal fail. -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/carCdrResto..st: -------------------------------------------------------------------------------- 1 | *SmallKanren-Core 2 | carCdrResto: aBlock 3 | ^ SKGoal fail. -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/carCdro..st: -------------------------------------------------------------------------------- 1 | *SmallKanren-Core 2 | carCdro: aBlock 3 | ^ SKGoal fail. -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/caro..st: -------------------------------------------------------------------------------- 1 | *SmallKanren-Core 2 | caro: carVar 3 | ^ SKFail singleton -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/copyTermo.st: -------------------------------------------------------------------------------- 1 | *SmallKanren-Core 2 | copyTermo 3 | ^ self skReify: SKTermCopier new. -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/isEmptyo.st: -------------------------------------------------------------------------------- 1 | *SmallKanren-Core 2 | isEmptyo 3 | ^ SKFail singleton -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/isNumbero.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Object.extension/instance/isNumbero.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/isPairo.st: -------------------------------------------------------------------------------- 1 | *SmallKanren-Core 2 | isPairo 3 | ^ SKGoal fail. -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/isSKVar.st: -------------------------------------------------------------------------------- 1 | *SmallKanren-Core 2 | isSKVar 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/isSymbolo.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Object.extension/instance/isSymbolo.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/lasto..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Object.extension/instance/lasto..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/match.o..st: -------------------------------------------------------------------------------- 1 | *SmallKanren-Core 2 | match: aPattern o: aBlock 3 | ^ SKGoal fail -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/matcho..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Object.extension/instance/matcho..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/membero..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Object.extension/instance/membero..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/nembero..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Object.extension/instance/nembero..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/nsubseto..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Object.extension/instance/nsubseto..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/rember.o..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Object.extension/instance/rember.o..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/skAlphaHash.st: -------------------------------------------------------------------------------- 1 | *SmallKanren-Core 2 | skAlphaHash 3 | ^ self hash -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/skDisunifyEmptyCons.st: -------------------------------------------------------------------------------- 1 | *SmallKanren-Core 2 | skDisunifyEmptyCons 3 | ^ SKSucceed singleton -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/skReify..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Object.extension/instance/skReify..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/instance/subseto..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/Object.extension/instance/subseto..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/Object.extension/properties.json: -------------------------------------------------------------------------------- 1 | { 2 | "name" : "Object" 3 | } -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRAL.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRAL.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRAL.class/class/empty.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRAL.class/class/empty.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRAL.class/instance/add.at..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRAL.class/instance/add.at..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRAL.class/instance/addAll..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRAL.class/instance/addAll..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRAL.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRAL.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALEmpty.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALEmpty.class/instance/add..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALEmpty.class/instance/add..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALEmpty.class/instance/at.put..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALEmpty.class/instance/at.put..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALEmpty.class/instance/isEmpty.st: -------------------------------------------------------------------------------- 1 | testing 2 | isEmpty 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALEmpty.class/instance/isValid.st: -------------------------------------------------------------------------------- 1 | contracts 2 | isValid 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALEmpty.class/instance/size.st: -------------------------------------------------------------------------------- 1 | accessing 2 | size 3 | ^ 0 -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALEmpty.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALEmpty.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALLeaf.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALLeaf.class/instance/add.to..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALLeaf.class/instance/add.to..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALLeaf.class/instance/at..st: -------------------------------------------------------------------------------- 1 | accessing 2 | at: nTh 3 | ^ element -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALLeaf.class/instance/at.put..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALLeaf.class/instance/at.put..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALLeaf.class/instance/element..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALLeaf.class/instance/element..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALLeaf.class/instance/element.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALLeaf.class/instance/element.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALLeaf.class/instance/isValid.st: -------------------------------------------------------------------------------- 1 | contracts 2 | isValid 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALLeaf.class/instance/size.st: -------------------------------------------------------------------------------- 1 | accessing 2 | size 3 | ^ 1 -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALLeaf.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALLeaf.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALNode.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALNode.class/instance/add.to..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALNode.class/instance/add.to..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALNode.class/instance/at..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALNode.class/instance/at..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALNode.class/instance/at.put..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALNode.class/instance/at.put..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALNode.class/instance/isValid.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALNode.class/instance/isValid.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALNode.class/instance/left..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALNode.class/instance/left..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALNode.class/instance/left.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALNode.class/instance/left.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALNode.class/instance/right..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALNode.class/instance/right..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALNode.class/instance/right.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALNode.class/instance/right.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALNode.class/instance/root..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALNode.class/instance/root..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALNode.class/instance/root.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALNode.class/instance/root.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALNode.class/instance/size..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALNode.class/instance/size..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALNode.class/instance/size.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALNode.class/instance/size.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALNode.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALNode.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALPlaceholder.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALPlaceholder.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALPlaceholder.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALSpine.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALSpine.class/class/tree.rest..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALSpine.class/class/tree.rest..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALSpine.class/instance/add..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALSpine.class/instance/add..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALSpine.class/instance/addLeaf..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALSpine.class/instance/addLeaf..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALSpine.class/instance/addNode..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALSpine.class/instance/addNode..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALSpine.class/instance/at..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALSpine.class/instance/at..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALSpine.class/instance/at.put..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALSpine.class/instance/at.put..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALSpine.class/instance/isEmpty.st: -------------------------------------------------------------------------------- 1 | testing 2 | isEmpty 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALSpine.class/instance/isValid.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALSpine.class/instance/isValid.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALSpine.class/instance/rest..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALSpine.class/instance/rest..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALSpine.class/instance/rest.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALSpine.class/instance/rest.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALSpine.class/instance/size..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALSpine.class/instance/size..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALSpine.class/instance/size.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALSpine.class/instance/size.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALSpine.class/instance/tree..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALSpine.class/instance/tree..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALSpine.class/instance/tree.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALSpine.class/instance/tree.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SBRALSpine.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SBRALSpine.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAbsento.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAbsento.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAbsento.class/class/absent..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAbsento.class/class/absent..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAbsento.class/instance/^comma.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAbsento.class/instance/^comma.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAbsento.class/instance/^equals.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAbsento.class/instance/^equals.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAbsento.class/instance/absent..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAbsento.class/instance/absent..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAbsento.class/instance/absent.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAbsento.class/instance/absent.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAbsento.class/instance/absento..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAbsento.class/instance/absento..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAbsento.class/instance/compress..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAbsento.class/instance/compress..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAbsento.class/instance/fire.in..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAbsento.class/instance/fire.in..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAbsento.class/instance/isAbsent..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAbsento.class/instance/isAbsent..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAbsento.class/instance/isAbsento.st: -------------------------------------------------------------------------------- 1 | testing 2 | isAbsento 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAbsento.class/instance/printOn..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAbsento.class/instance/printOn..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAbsento.class/instance/simplify..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAbsento.class/instance/simplify..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAbsento.class/instance/skReify..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAbsento.class/instance/skReify..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAbsento.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAbsento.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAggregateGoal.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAggregateGoal.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAggregateGoal.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAggregateStream.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAnd.class/README.md: -------------------------------------------------------------------------------- 1 | I represent a binary conjunction of two other goals. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAnd.class/instance/^comma.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAnd.class/instance/^comma.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAnd.class/instance/asConstraint.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAnd.class/instance/asConstraint.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAnd.class/instance/conjuncts.st: -------------------------------------------------------------------------------- 1 | accessing 2 | conjuncts 3 | ^ self subgoals. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAnd.class/instance/isConjunction.st: -------------------------------------------------------------------------------- 1 | testing 2 | isConjunction 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAnd.class/instance/left..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAnd.class/instance/left..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAnd.class/instance/left.st: -------------------------------------------------------------------------------- 1 | accessing 2 | left 3 | 4 | ^ left -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAnd.class/instance/printOn..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAnd.class/instance/printOn..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAnd.class/instance/right..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAnd.class/instance/right..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAnd.class/instance/right.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAnd.class/instance/right.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAnd.class/instance/run.runtime..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAnd.class/instance/run.runtime..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAnd.class/instance/subgoals.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAnd.class/instance/subgoals.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAnd.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAnd.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAppendStream.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAppendStream.class/instance/children.st: -------------------------------------------------------------------------------- 1 | accessing 2 | children 3 | ^ {left. right}. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAppendStream.class/instance/isBranchingStream.st: -------------------------------------------------------------------------------- 1 | testing 2 | isBranchingStream 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAppendStream.class/instance/left..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAppendStream.class/instance/left..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAppendStream.class/instance/left.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAppendStream.class/instance/left.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAppendStream.class/instance/right.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAppendStream.class/instance/right.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAppendStream.class/instance/size.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAppendStream.class/instance/size.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAppendStream.class/instance/substreams.st: -------------------------------------------------------------------------------- 1 | debugging 2 | substreams 3 | ^ {left . right}. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKAppendStream.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKAppendStream.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBernoulli.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBernoulli.class/instance/logP..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKBernoulli.class/instance/logP..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBernoulli.class/instance/logP.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKBernoulli.class/instance/logP.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBernoulli.class/instance/p..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKBernoulli.class/instance/p..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBernoulli.class/instance/p.st: -------------------------------------------------------------------------------- 1 | accessing 2 | p 3 | 4 | ^ logP exp. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBernoulli.class/instance/printOn..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKBernoulli.class/instance/printOn..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBernoulli.class/instance/support.st: -------------------------------------------------------------------------------- 1 | as yet unclassified 2 | support 3 | ^ #(0 1) -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBernoulli.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKBernoulli.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBind.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBind.class/instance/bind.runtime..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKBind.class/instance/bind.runtime..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBind.class/instance/goal..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKBind.class/instance/goal..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBind.class/instance/goal.st: -------------------------------------------------------------------------------- 1 | accessing 2 | goal 3 | 4 | ^ goal -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBind.class/instance/inspectGoal..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKBind.class/instance/inspectGoal..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBind.class/instance/map.runtime..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKBind.class/instance/map.runtime..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBind.class/instance/printOn..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKBind.class/instance/printOn..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBind.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKBind.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBooleano.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBooleano.class/class/singleton.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKBooleano.class/class/singleton.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBooleano.class/instance/isOfType..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKBooleano.class/instance/isOfType..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBooleano.class/instance/printOn..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKBooleano.class/instance/printOn..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBooleano.class/instance/simplify..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKBooleano.class/instance/simplify..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKBooleano.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKBooleano.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKCategorical.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKCategorical.class/instance/support.st: -------------------------------------------------------------------------------- 1 | as yet unclassified 2 | support 3 | ^ probabilities keys. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKCategorical.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKCategorical.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKComplete.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/class/first.rest..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKComplete.class/class/first.rest..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/instance/answer.st: -------------------------------------------------------------------------------- 1 | accessing 2 | answer 3 | ^ left -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/instance/answers.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKComplete.class/instance/answers.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/instance/first..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKComplete.class/instance/first..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/instance/first.st: -------------------------------------------------------------------------------- 1 | accessing 2 | first 3 | 4 | ^ left -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/instance/formatQuery..st: -------------------------------------------------------------------------------- 1 | inspecting 2 | formatQuery: aRunner 3 | ^ 'Step All (Complete)' -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/instance/hasAnswer.st: -------------------------------------------------------------------------------- 1 | testing 2 | hasAnswer 3 | ^ true. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/instance/isComplete.st: -------------------------------------------------------------------------------- 1 | testing 2 | isComplete 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/instance/isIncomplete.st: -------------------------------------------------------------------------------- 1 | testing 2 | isIncomplete 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/instance/isSuccess.st: -------------------------------------------------------------------------------- 1 | testing 2 | isSuccess 3 | ^ true. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/instance/leaves.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKComplete.class/instance/leaves.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/instance/maximize..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKComplete.class/instance/maximize..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/instance/mplus..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKComplete.class/instance/mplus..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/instance/packageC.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKComplete.class/instance/packageC.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/instance/plus..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKComplete.class/instance/plus..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/instance/printOn..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKComplete.class/instance/printOn..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/instance/rest..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKComplete.class/instance/rest..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/instance/rest.st: -------------------------------------------------------------------------------- 1 | accessing 2 | rest 3 | ^ right -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/instance/schedule.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKComplete.class/instance/schedule.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/instance/step..st: -------------------------------------------------------------------------------- 1 | streaming 2 | step: aRunner 3 | ^ right. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKComplete.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKComplete.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKConstraint.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/class/absento..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKConstraint.class/class/absento..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/class/booleano.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKConstraint.class/class/booleano.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/class/disequals..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKConstraint.class/class/disequals..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/class/numbero.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKConstraint.class/class/numbero.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/class/pairo.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKConstraint.class/class/pairo.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/class/satisfied.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKConstraint.class/class/satisfied.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/class/symbolo.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKConstraint.class/class/symbolo.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/^comma.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKConstraint.class/instance/^comma.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/add..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKConstraint.class/instance/add..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/asConstraint.st: -------------------------------------------------------------------------------- 1 | converting 2 | asConstraint -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/asGoal..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKConstraint.class/instance/asGoal..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/isAbsento.st: -------------------------------------------------------------------------------- 1 | testing 2 | isAbsento 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/isConjoinedDelay.st: -------------------------------------------------------------------------------- 1 | testing 2 | isConjoinedDelay 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/isConstraint.st: -------------------------------------------------------------------------------- 1 | testing 2 | isConstraint 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/isDelayed.st: -------------------------------------------------------------------------------- 1 | testing 2 | isDelayed 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/isDelayedGoalConstraint.st: -------------------------------------------------------------------------------- 1 | testing 2 | isDelayedGoalConstraint 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/isDisequality.st: -------------------------------------------------------------------------------- 1 | testing 2 | isDisequality 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/isFiniteDomain.st: -------------------------------------------------------------------------------- 1 | testing 2 | isFiniteDomain 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/isGuardedFresh.st: -------------------------------------------------------------------------------- 1 | testing 2 | isGuardedFresh 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/isLazy.st: -------------------------------------------------------------------------------- 1 | testing 2 | isLazy 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/isMultiConstraint.st: -------------------------------------------------------------------------------- 1 | testing 2 | isMultiConstraint 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/isSatisfied.st: -------------------------------------------------------------------------------- 1 | testing 2 | isSatisfied 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/isSingleDisequality.st: -------------------------------------------------------------------------------- 1 | testing 2 | isSingleDisequality 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/isUnification.st: -------------------------------------------------------------------------------- 1 | testing 2 | isUnification 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/isUnsatisfiable.st: -------------------------------------------------------------------------------- 1 | testing 2 | isUnsatisfiable 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/lazyConstraint.st: -------------------------------------------------------------------------------- 1 | laziness 2 | lazyConstraint 3 | ^ self class satisfied. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/merge..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKConstraint.class/instance/merge..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/instance/merge3..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKConstraint.class/instance/merge3..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraint.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKConstraint.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraintGoal.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraintGoal.class/instance/var.st: -------------------------------------------------------------------------------- 1 | accessing 2 | var 3 | ^ var -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraintGoal.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKConstraintGoal.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraintStore.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKConstraintStore.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraintStore.class/class/empty.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKConstraintStore.class/class/empty.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKConstraintStore.class/instance/isEmpty.st: -------------------------------------------------------------------------------- 1 | testing 2 | isEmpty 3 | ^ hashmap size = 0 -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKCustomConstraint.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKDiscreteDistribution.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKDisequality.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKDisequality.class/instance/^and.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKDisequality.class/instance/^and.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKDisequality.class/instance/isDisequality.st: -------------------------------------------------------------------------------- 1 | testing 2 | isDisequality 3 | ^ true. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKDisequality.class/instance/rest.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKDisequality.class/instance/rest.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKDisequality.class/instance/val.st: -------------------------------------------------------------------------------- 1 | accessing 2 | val 3 | self subclassResponsibility. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKDisequality.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKDisequality.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKDisequalityConjoined.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKDisequalityConjoined.class/instance/val.st: -------------------------------------------------------------------------------- 1 | accessing 2 | val 3 | ^ self first val. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKDisequalityPair.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKDisequalityPair.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKDisequalityPair.class/instance/val.st: -------------------------------------------------------------------------------- 1 | accessing 2 | val 3 | ^ right. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKDisequalitySingle.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKDisequalitySingle.class/instance/isSingleDisequality.st: -------------------------------------------------------------------------------- 1 | testing 2 | isSingleDisequality 3 | ^ true. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKDisequalitySingle.class/instance/val.st: -------------------------------------------------------------------------------- 1 | accessing 2 | val 3 | ^ val -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKDisequalitySubstitution.class/instance/isFailure.st: -------------------------------------------------------------------------------- 1 | testing 2 | isFailure 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKDisequalitySubstitution.class/instance/val.st: -------------------------------------------------------------------------------- 1 | accessing 2 | val 3 | ^ val -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKDisequalitySubstitution.class/instance/var.st: -------------------------------------------------------------------------------- 1 | accessing 2 | var 3 | ^ var -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKDisjoinedAbsento.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKDisjoinedAbsento.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKEmptyConstraintStore.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKEmptyConstraintStore.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKEmptyConstraintStore.class/instance/asArray.st: -------------------------------------------------------------------------------- 1 | converting 2 | asArray 3 | ^ #() -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKEmptyConstraintStore.class/instance/ifNotEmpty..st: -------------------------------------------------------------------------------- 1 | testing 2 | ifNotEmpty: aBlock 3 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKEmptyConstraintStore.class/instance/includesKey..st: -------------------------------------------------------------------------------- 1 | testing 2 | includesKey: aKey 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKEmptyConstraintStore.class/instance/isEmpty.st: -------------------------------------------------------------------------------- 1 | testing 2 | isEmpty 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKEmptyConstraintStore.class/instance/isLazy.st: -------------------------------------------------------------------------------- 1 | testing 2 | isLazy 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKEmptyConstraintStore.class/instance/keysAndValuesDo..st: -------------------------------------------------------------------------------- 1 | enumerating 2 | keysAndValuesDo: aBlockClosure 3 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKEmptyConstraintStore.class/instance/size.st: -------------------------------------------------------------------------------- 1 | accessing 2 | size 3 | ^ 0 -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFail.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFail.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFail.class/class/singleton.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFail.class/class/singleton.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFail.class/instance/^and.st: -------------------------------------------------------------------------------- 1 | composing 2 | & aGoal 3 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFail.class/instance/^pipe.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFail.class/instance/^pipe.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFail.class/instance/and.absento..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFail.class/instance/and.absento..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFail.class/instance/asConstraint.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFail.class/instance/asConstraint.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFail.class/instance/asDisequality.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFail.class/instance/asDisequality.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFail.class/instance/conjoin..st: -------------------------------------------------------------------------------- 1 | composing 2 | conjoin: aGoal -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFail.class/instance/constraint.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFail.class/instance/constraint.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFail.class/instance/disjoin..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFail.class/instance/disjoin..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFail.class/instance/ifFail..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFail.class/instance/ifFail..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFail.class/instance/isFailure.st: -------------------------------------------------------------------------------- 1 | testing 2 | isFailure 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFail.class/instance/printOn..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFail.class/instance/printOn..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFail.class/instance/run..st: -------------------------------------------------------------------------------- 1 | running 2 | run: aState 3 | ^ SKStream failure -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFail.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFail.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFailure.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFailure.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFailure.class/class/singleton.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFailure.class/class/singleton.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFailure.class/instance/^plus.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFailure.class/instance/^plus.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFailure.class/instance/answer.st: -------------------------------------------------------------------------------- 1 | subclassresponsibility 2 | answer -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFailure.class/instance/atEnd.st: -------------------------------------------------------------------------------- 1 | testing 2 | atEnd 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFailure.class/instance/bind.runtime..st: -------------------------------------------------------------------------------- 1 | streaming 2 | bind: aGoal runtime: aRunner -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFailure.class/instance/check.absento..st: -------------------------------------------------------------------------------- 1 | exclusion 2 | check: aValue absento: aConstraint 3 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFailure.class/instance/complete..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFailure.class/instance/complete..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFailure.class/instance/deltas.st: -------------------------------------------------------------------------------- 1 | disequality 2 | deltas 3 | ^ SKConstraint satisfied. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFailure.class/instance/disunify..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFailure.class/instance/disunify..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFailure.class/instance/formatQuery..st: -------------------------------------------------------------------------------- 1 | inspecting 2 | formatQuery: aSKRunner 3 | ^ 'Fail' -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFailure.class/instance/ifFailure..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFailure.class/instance/ifFailure..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFailure.class/instance/isFailure.st: -------------------------------------------------------------------------------- 1 | testing 2 | isFailure 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFailure.class/instance/isIncomplete.st: -------------------------------------------------------------------------------- 1 | testing 2 | isIncomplete 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFailure.class/instance/maximize..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFailure.class/instance/maximize..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFailure.class/instance/mplus..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFailure.class/instance/mplus..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFailure.class/instance/plus..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFailure.class/instance/plus..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFailure.class/instance/printOn..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFailure.class/instance/printOn..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFailure.class/instance/step..st: -------------------------------------------------------------------------------- 1 | streaming 2 | step: aRunner -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFailure.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFailure.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFiniteDomain.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFiniteDomain.class/class/domain..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFiniteDomain.class/class/domain..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFiniteDomain.class/instance/isFiniteDomain.st: -------------------------------------------------------------------------------- 1 | testing 2 | isFiniteDomain 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFiniteDomain.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFiniteDomain.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFresh.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFresh.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFresh.class/instance/block..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFresh.class/instance/block..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFresh.class/instance/block.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFresh.class/instance/block.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFresh.class/instance/debugger.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFresh.class/instance/debugger.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFresh.class/instance/expandFresh.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFresh.class/instance/expandFresh.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFresh.class/instance/isFresh.st: -------------------------------------------------------------------------------- 1 | testing 2 | isFresh 3 | 4 | ^ true. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFresh.class/instance/printOn..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFresh.class/instance/printOn..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFresh.class/instance/query.st: -------------------------------------------------------------------------------- 1 | accessing 2 | query 3 | ^ block argumentNames collect: [ :n | SKVar tag: n ]. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFresh.class/instance/run..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFresh.class/instance/run..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFresh.class/instance/run.model..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFresh.class/instance/run.model..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFresh.class/instance/runtime.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFresh.class/instance/runtime.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFresh.class/instance/train..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFresh.class/instance/train..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKFresh.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKFresh.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/README.md: -------------------------------------------------------------------------------- 1 | A Goal represents a SmallKanren program waiting to be #run. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/class/fail.st: -------------------------------------------------------------------------------- 1 | instance creation 2 | fail 3 | ^ SKFail singleton -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/class/project.o..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/class/project.o..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/class/projecto..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/class/projecto..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/class/succeed.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/class/succeed.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/^and.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/^and.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/^pipe.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/^pipe.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/and..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/and..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/and.absento..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/and.absento..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/andInspectorChildren.st: -------------------------------------------------------------------------------- 1 | as yet unclassified 2 | andInspectorChildren 3 | 4 | ^ { self } -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/answer.st: -------------------------------------------------------------------------------- 1 | debugging 2 | answer 3 | ^ self runtime next peek. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/asAnswer.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/asAnswer.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/asGoal.st: -------------------------------------------------------------------------------- 1 | converting 2 | asGoal -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/asStream.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/asStream.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/conjoin..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/conjoin..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/conjuncts.st: -------------------------------------------------------------------------------- 1 | accessing 2 | conjuncts 3 | 4 | ^ { self }. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/debugger.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/debugger.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/disjoin..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/disjoin..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/disjuncts.st: -------------------------------------------------------------------------------- 1 | accessing 2 | disjuncts 3 | 4 | ^ { self }. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/fails.st: -------------------------------------------------------------------------------- 1 | running 2 | fails 3 | ^ self succeeds not -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/ifFail..st: -------------------------------------------------------------------------------- 1 | testing 2 | ifFail: aBlock -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/ifSucceed..st: -------------------------------------------------------------------------------- 1 | testing 2 | ifSucceed: aBlock -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/inspectGoal..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/inspectGoal..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/isConjunction.st: -------------------------------------------------------------------------------- 1 | testing 2 | isConjunction 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/isGoal.st: -------------------------------------------------------------------------------- 1 | testing 2 | isGoal 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/isSucceed.st: -------------------------------------------------------------------------------- 1 | testing 2 | isSucceed 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/merge..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/merge..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/printOn..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/printOn..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/reify..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/reify..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/run..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/run..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/run.runtime..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/run.runtime..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/run.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/run.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/runList.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/runList.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/runRuntimes.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/runRuntimes.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/runStates.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/runStates.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/runtime.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/runtime.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/sourceChildren.st: -------------------------------------------------------------------------------- 1 | inspecting 2 | sourceChildren 3 | ^ #() -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/step.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/step.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/subgoals.st: -------------------------------------------------------------------------------- 1 | accessing 2 | subgoals 3 | 4 | ^ #(). -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/succeeds.st: -------------------------------------------------------------------------------- 1 | running 2 | succeeds 3 | ^ self runList isNotEmpty -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/instance/tag..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/instance/tag..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoal.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoal.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoalDebugger.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoalDebugger.class/class/goal..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoalDebugger.class/class/goal..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoalDebugger.class/instance/goal..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoalDebugger.class/instance/goal..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoalDebugger.class/instance/goal.st: -------------------------------------------------------------------------------- 1 | accessing 2 | goal 3 | 4 | ^ goal -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoalDebugger.class/instance/state.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoalDebugger.class/instance/state.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoalDebugger.class/instance/step.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoalDebugger.class/instance/step.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGoalDebugger.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKGoalDebugger.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKGuardedMultiMatch.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKIncomplete.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKIncomplete.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKIncomplete.class/instance/goal..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKIncomplete.class/instance/goal..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKIncomplete.class/instance/isIncomplete.st: -------------------------------------------------------------------------------- 1 | streaming 2 | isIncomplete 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKIncomplete.class/instance/state..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKIncomplete.class/instance/state..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKIncomplete.class/instance/step..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKIncomplete.class/instance/step..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKIncomplete.class/instance/streamFormat..st: -------------------------------------------------------------------------------- 1 | as yet unclassified 2 | streamFormat: query 3 | ^ goal block asString. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKIncomplete.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKIncomplete.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKLazyFreshGoal.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKLazyFreshGoal.class/instance/goal.st: -------------------------------------------------------------------------------- 1 | accessing 2 | goal 3 | 4 | ^ goal -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKLazyFreshGoal.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKLazyFreshGoal.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKLogSpace.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKLogSpace.class/instance/exp..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKLogSpace.class/instance/exp..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKLogSpace.class/instance/log.division..st: -------------------------------------------------------------------------------- 1 | as yet unclassified 2 | log: a division: b 3 | ^ a - b. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKLogSpace.class/instance/log.product..st: -------------------------------------------------------------------------------- 1 | as yet unclassified 2 | log: a product: b 3 | ^ a + b. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKLogSpace.class/instance/log.sum..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKLogSpace.class/instance/log.sum..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKLogSpace.class/instance/logSqrt..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKLogSpace.class/instance/logSqrt..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKLogSpace.class/instance/sample..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKLogSpace.class/instance/sample..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKLogSpace.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKLogSpace.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMPlus.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMPlus.class/class/left.right..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKMPlus.class/class/left.right..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMPlus.class/instance/formatQuery..st: -------------------------------------------------------------------------------- 1 | inspecting 2 | formatQuery: aRunner 3 | ^ 'Step All' -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMPlus.class/instance/isDelayedPlus.st: -------------------------------------------------------------------------------- 1 | testing 2 | isDelayedPlus 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMPlus.class/instance/isIncomplete.st: -------------------------------------------------------------------------------- 1 | testing 2 | isIncomplete 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMPlus.class/instance/leaves.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKMPlus.class/instance/leaves.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMPlus.class/instance/packageC.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKMPlus.class/instance/packageC.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMPlus.class/instance/schedule.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKMPlus.class/instance/schedule.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMPlus.class/instance/step..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKMPlus.class/instance/step..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMPlus.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKMPlus.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMapStream.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKMapStream.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMapStream.class/instance/cacheKey.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKMapStream.class/instance/cacheKey.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMapStream.class/instance/size.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKMapStream.class/instance/size.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMapStream.class/instance/step..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKMapStream.class/instance/step..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMapStream.class/instance/stream..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKMapStream.class/instance/stream..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMapStream.class/instance/stream.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKMapStream.class/instance/stream.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMapStream.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKMapStream.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMarginalizeGoal.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMarginalizeStream.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMaximizeGoal.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMaximizeGoal.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKMaximizeGoal.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMaximizeStream.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMaximizeStream.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKMaximizeStream.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMultiConstraint.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMultiConstraint.class/instance/isMultiConstraint.st: -------------------------------------------------------------------------------- 1 | testing 2 | isMultiConstraint 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKMultiConstraint.class/instance/unificationTerm.st: -------------------------------------------------------------------------------- 1 | laziness 2 | unificationTerm 3 | ^ self lazyConstraint pattern. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKNonBindingVar.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKNonBindingVar.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKNonBindingVar.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKNonBindingVar.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKNormal.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKNormal.class/instance/maximize..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKNormal.class/instance/maximize..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKNormal.class/instance/mean..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKNormal.class/instance/mean..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKNormal.class/instance/mean.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKNormal.class/instance/mean.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKNormal.class/instance/printOn..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKNormal.class/instance/printOn..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKNormal.class/instance/std..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKNormal.class/instance/std..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKNormal.class/instance/std.st: -------------------------------------------------------------------------------- 1 | accessing 2 | std 3 | 4 | ^ std -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKNormal.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKNormal.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKNumbero.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKNumbero.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKNumbero.class/class/singleton.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKNumbero.class/class/singleton.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKNumbero.class/instance/isOfType..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKNumbero.class/instance/isOfType..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKNumbero.class/instance/printOn..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKNumbero.class/instance/printOn..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKNumbero.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKNumbero.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKObservationConstraint.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKObservationGoal.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKOr.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKOr.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKOr.class/instance/^equals.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKOr.class/instance/^equals.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKOr.class/instance/disjuncts.st: -------------------------------------------------------------------------------- 1 | accessing 2 | disjuncts 3 | 4 | ^ self subgoals. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKOr.class/instance/inspectorFormat.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKOr.class/instance/inspectorFormat.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKOr.class/instance/isDisjunction.st: -------------------------------------------------------------------------------- 1 | testing 2 | isDisjunction 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKOr.class/instance/left..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKOr.class/instance/left..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKOr.class/instance/left.st: -------------------------------------------------------------------------------- 1 | accessing 2 | left 3 | 4 | ^ left -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKOr.class/instance/printOn..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKOr.class/instance/printOn..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKOr.class/instance/right..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKOr.class/instance/right..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKOr.class/instance/right.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKOr.class/instance/right.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKOr.class/instance/run.runtime..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKOr.class/instance/run.runtime..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKOr.class/instance/subgoals.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKOr.class/instance/subgoals.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKOr.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKOr.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/answer.st: -------------------------------------------------------------------------------- 1 | accessing 2 | answer -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/answers.st: -------------------------------------------------------------------------------- 1 | accessing 2 | answers 3 | ^ OrderedCollection with: self -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/constrain..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPackage.class/instance/constrain..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/copyTerm..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPackage.class/instance/copyTerm..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/eager..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPackage.class/instance/eager..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/goal.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPackage.class/instance/goal.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/hasAnswer.st: -------------------------------------------------------------------------------- 1 | testing 2 | hasAnswer 3 | ^ true. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/includes..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPackage.class/instance/includes..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/initialize.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPackage.class/instance/initialize.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/isEmpty.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPackage.class/instance/isEmpty.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/isIncomplete.st: -------------------------------------------------------------------------------- 1 | testing 2 | isIncomplete 3 | "^ false" 4 | ^ self isLazy. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/isNotEmpty.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPackage.class/instance/isNotEmpty.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/isPackage.st: -------------------------------------------------------------------------------- 1 | testing 2 | isPackage 3 | ^ true. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/isState.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPackage.class/instance/isState.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/likelihood.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPackage.class/instance/likelihood.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/packageC.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPackage.class/instance/packageC.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/packages..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPackage.class/instance/packages..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/printOn..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPackage.class/instance/printOn..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/reify..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPackage.class/instance/reify..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/select..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPackage.class/instance/select..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/size.st: -------------------------------------------------------------------------------- 1 | debugging 2 | size 3 | ^ 1 -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/sourceName.st: -------------------------------------------------------------------------------- 1 | inspecting 2 | sourceName 3 | ^ self asString -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/walk..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPackage.class/instance/walk..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/instance/walkVar..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPackage.class/instance/walkVar..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPackage.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPackage.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPairo.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPairo.class/class/singleton.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPairo.class/class/singleton.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPairo.class/instance/isOfType..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPairo.class/instance/isOfType..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPairo.class/instance/printOn..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPairo.class/instance/printOn..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPairo.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPairo.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPlusConstraint.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPlusConstraint.class/instance/sum.st: -------------------------------------------------------------------------------- 1 | accessing 2 | sum 3 | ^ sum -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPlusConstraint.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPlusConstraint.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKProject.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKProject.class/class/block..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKProject.class/class/block..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKProject.class/class/var.block..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKProject.class/class/var.block..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKProject.class/instance/block..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKProject.class/instance/block..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKProject.class/instance/block.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKProject.class/instance/block.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKProject.class/instance/var..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKProject.class/instance/var..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKProject.class/instance/var.st: -------------------------------------------------------------------------------- 1 | accessing 2 | var 3 | 4 | ^ var -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKProject.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKProject.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPseudoCounts.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPseudoCounts.class/instance/^plus.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPseudoCounts.class/instance/^plus.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPseudoCounts.class/instance/^star.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPseudoCounts.class/instance/^star.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPseudoCounts.class/instance/at..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPseudoCounts.class/instance/at..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPseudoCounts.class/instance/hash.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPseudoCounts.class/instance/hash.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPseudoCounts.class/instance/sum..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPseudoCounts.class/instance/sum..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKPseudoCounts.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKPseudoCounts.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKReifiedConstraint.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKReifiedConstraint.class/instance/var.st: -------------------------------------------------------------------------------- 1 | accessing 2 | var 3 | 4 | ^ var -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKReusedMPlus.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKReusedMPlus.class/instance/left..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKReusedMPlus.class/instance/left..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKReusedMPlus.class/instance/left.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKReusedMPlus.class/instance/left.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKReusedMPlus.class/instance/right..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKReusedMPlus.class/instance/right..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKReusedMPlus.class/instance/right.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKReusedMPlus.class/instance/right.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKReusedMPlus.class/instance/step..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKReusedMPlus.class/instance/step..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKReusedMPlus.class/instance/substreams.st: -------------------------------------------------------------------------------- 1 | inspecting 2 | substreams 3 | 4 | ^ {left . right}. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKReusedMPlus.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKReusedMPlus.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKReusedStream.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKReusedStream.class/instance/cache.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKReusedStream.class/instance/cache.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKReusedStream.class/instance/state.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKReusedStream.class/instance/state.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKReusedStream.class/instance/step..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKReusedStream.class/instance/step..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKReusedStream.class/instance/table.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKReusedStream.class/instance/table.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKReusedStream.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKReusedStream.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/class/newTable.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/class/newTable.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/class/train.on..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/class/train.on..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/^plus.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/^plus.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/asAnswer.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/asAnswer.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/asStream.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/asStream.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/at..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/at..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/atEnd.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/atEnd.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/complete..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/complete..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/do..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/do..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/ifFailure..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/ifFailure..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/initialize.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/initialize.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/isFailure.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/isFailure.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/isState.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/isState.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/maximize..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/maximize..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/maximize.st: -------------------------------------------------------------------------------- 1 | probability 2 | maximize 3 | ^ (self runStates collect: [ :s | s pseudoCounts ]) sum. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/next.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/next.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/peek.st: -------------------------------------------------------------------------------- 1 | running 2 | peek 3 | ^ self stream answer -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/plus..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/plus..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/printOn..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/printOn..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/prune..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/prune..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/query..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/query..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/query.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/query.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/reify..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/reify..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/run.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/run.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/runGoal..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/runGoal..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/runList.st: -------------------------------------------------------------------------------- 1 | running 2 | runList 3 | ^ self runStates collect: [ :s | s reify: queryVars ]. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/runStates.st: -------------------------------------------------------------------------------- 1 | running 2 | runStates 3 | ^ self runRuntimes collect: #peek. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/runtime..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/runtime..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/select..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/select..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/size.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/size.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/step..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/step..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/step.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/step.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/steps..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/steps..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/stream..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/stream..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/stream.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/stream.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/tables..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/tables..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/instance/tables.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/instance/tables.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKRuntime.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKRuntime.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSatisfiedConstraint.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKSatisfiedConstraint.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSatisfiedConstraint.class/instance/isSatisfied.st: -------------------------------------------------------------------------------- 1 | testing 2 | isSatisfied 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKScheduleDebugger.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKScheduledFresh.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKScheduledFresh.class/instance/includesVar..st: -------------------------------------------------------------------------------- 1 | scheduling 2 | includesVar: aVar 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKScheduledFresh.class/instance/includesVar2..st: -------------------------------------------------------------------------------- 1 | scheduling 2 | includesVar2: aConsPair 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKScheduledFresh.class/instance/isFullyGround.st: -------------------------------------------------------------------------------- 1 | scheduling 2 | isFullyGround 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKScheduledFresh.class/instance/isSingle.st: -------------------------------------------------------------------------------- 1 | testing 2 | isSingle 3 | ^ true. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKScheduledFresh.class/instance/reassign.var..st: -------------------------------------------------------------------------------- 1 | scheduling 2 | reassign: oldVar var: newVar -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKScheduledFresh.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKScheduledFresh.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKScheduledFreshGoal.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKScheduledFreshGoal.class/instance/isFresh.st: -------------------------------------------------------------------------------- 1 | testing 2 | isFresh 3 | 4 | ^ true. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKScheduler.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKScheduler.class/class/fullClass.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKScheduler.class/class/fullClass.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKScheduler.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKScheduler.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSchedulerNonEmpty.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSparseSufficientStatistics.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKState.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKState.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKState.class/instance/^plus.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKState.class/instance/^plus.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKState.class/instance/asAnswer.st: -------------------------------------------------------------------------------- 1 | debugging 2 | asAnswer -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKState.class/instance/atEnd.st: -------------------------------------------------------------------------------- 1 | testing 2 | atEnd 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKState.class/instance/countAnswers.st: -------------------------------------------------------------------------------- 1 | accessing 2 | countAnswers 3 | ^ 1. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKState.class/instance/goal.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKState.class/instance/goal.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKState.class/instance/hasSchedule.st: -------------------------------------------------------------------------------- 1 | testing 2 | hasSchedule 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKState.class/instance/isLazy.st: -------------------------------------------------------------------------------- 1 | testing 2 | isLazy 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKState.class/instance/isSuccess.st: -------------------------------------------------------------------------------- 1 | testing 2 | isSuccess 3 | ^ true. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKState.class/instance/maximize..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKState.class/instance/maximize..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKState.class/instance/mplus..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKState.class/instance/mplus..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKState.class/instance/plus..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKState.class/instance/plus..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKState.class/instance/schedule.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKState.class/instance/schedule.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKState.class/instance/step..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKState.class/instance/step..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKState.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKState.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStateScheduled.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStateScheduled.class/instance/countAnswers.st: -------------------------------------------------------------------------------- 1 | accessing 2 | countAnswers 3 | ^ 0. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStateScheduled.class/instance/hasGoal.st: -------------------------------------------------------------------------------- 1 | testing 2 | hasGoal 3 | ^ goal isSucceed not. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStateScheduled.class/instance/isLazy.st: -------------------------------------------------------------------------------- 1 | testing 2 | isLazy 3 | ^ true. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStateScheduled.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKStateScheduled.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKStream.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/class/empty.st: -------------------------------------------------------------------------------- 1 | instance creation 2 | empty 3 | ^ SKFailure singleton -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/class/failure.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKStream.class/class/failure.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/^plus.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKStream.class/instance/^plus.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/answer.st: -------------------------------------------------------------------------------- 1 | streaming 2 | answer 3 | self subclassResponsibility -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/asAnswer.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKStream.class/instance/asAnswer.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/asSourceBranch.st: -------------------------------------------------------------------------------- 1 | inspecting 2 | asSourceBranch 3 | ^ {self} -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/asSourceChildren.st: -------------------------------------------------------------------------------- 1 | inspecting 2 | asSourceChildren 3 | ^ { self } -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/asStream.st: -------------------------------------------------------------------------------- 1 | converting 2 | asStream -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/atEnd.st: -------------------------------------------------------------------------------- 1 | testing 2 | atEnd 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/cacheKey.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKStream.class/instance/cacheKey.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/children.st: -------------------------------------------------------------------------------- 1 | debugging 2 | children 3 | ^ #(). -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/complete..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKStream.class/instance/complete..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/countAnswers.st: -------------------------------------------------------------------------------- 1 | debugging 2 | countAnswers 3 | ^ 0. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/debugger.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKStream.class/instance/debugger.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/delayedStreams.st: -------------------------------------------------------------------------------- 1 | debugging 2 | delayedStreams 3 | ^ self packages reject: [ :p | p isState ]. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/hasAnswer.st: -------------------------------------------------------------------------------- 1 | testing 2 | hasAnswer 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/hasGoal.st: -------------------------------------------------------------------------------- 1 | testing 2 | hasGoal 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/hasSchedule.st: -------------------------------------------------------------------------------- 1 | testing 2 | hasSchedule 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/hasSubstitution.st: -------------------------------------------------------------------------------- 1 | testing 2 | hasSubstitution 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/ifFailure..st: -------------------------------------------------------------------------------- 1 | testing 2 | ifFailure: aBlock -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/isBind.st: -------------------------------------------------------------------------------- 1 | testing 2 | isBind 3 | 4 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/isBranchingStream.st: -------------------------------------------------------------------------------- 1 | testing 2 | isBranchingStream 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/isComplete.st: -------------------------------------------------------------------------------- 1 | testing 2 | isComplete 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/isDelayed.st: -------------------------------------------------------------------------------- 1 | testing 2 | isDelayed 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/isDelayedPlus.st: -------------------------------------------------------------------------------- 1 | testing 2 | isDelayedPlus 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/isFailure.st: -------------------------------------------------------------------------------- 1 | testing 2 | isFailure 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/isGoal.st: -------------------------------------------------------------------------------- 1 | testing 2 | isGoal 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/isIncomplete.st: -------------------------------------------------------------------------------- 1 | testing 2 | isIncomplete 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/isMPlus.st: -------------------------------------------------------------------------------- 1 | testing 2 | isMPlus 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/isPackage.st: -------------------------------------------------------------------------------- 1 | testing 2 | isPackage 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/isState.st: -------------------------------------------------------------------------------- 1 | testing 2 | isState 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/isSuccess.st: -------------------------------------------------------------------------------- 1 | testing 2 | isSuccess 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/isTabledProducer.st: -------------------------------------------------------------------------------- 1 | testing 2 | isTabledProducer 3 | ^ false -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/isWaitingStream.st: -------------------------------------------------------------------------------- 1 | tabling 2 | isWaitingStream 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/leaves.st: -------------------------------------------------------------------------------- 1 | inspecting 2 | leaves 3 | ^ {self}. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/maximize..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKStream.class/instance/maximize..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/mplus..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKStream.class/instance/mplus..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/packages..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKStream.class/instance/packages..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/packages.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKStream.class/instance/packages.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/plus..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKStream.class/instance/plus..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/reificationsOf.in..st: -------------------------------------------------------------------------------- 1 | debugging 2 | reificationsOf: queryVars in: aBag 3 | self subclassResponsibility. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/runGoal..st: -------------------------------------------------------------------------------- 1 | scheduling 2 | runGoal: aRuntime -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/runtime..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKStream.class/instance/runtime..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/size.st: -------------------------------------------------------------------------------- 1 | debugging 2 | size 3 | self subclassResponsibility -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/sourceChildren.st: -------------------------------------------------------------------------------- 1 | inspecting 2 | sourceChildren 3 | ^ #() -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/step..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKStream.class/instance/step..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/step.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKStream.class/instance/step.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/streamFormat..st: -------------------------------------------------------------------------------- 1 | debugging 2 | streamFormat: query 3 | ^ self asString. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/substreams.st: -------------------------------------------------------------------------------- 1 | inspecting 2 | substreams 3 | ^ #(). -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/instance/tabledPlus..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKStream.class/instance/tabledPlus..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStream.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKStream.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStreamDebugger.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKStreamDebugger.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKStreamDebugger.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSubstitution.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKSubstitution.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSubstitution.class/class/empty.st: -------------------------------------------------------------------------------- 1 | requirements 2 | empty 3 | ^ self new. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSubstitution.class/instance/at..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKSubstitution.class/instance/at..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSubstitution.class/instance/ifFailure..st: -------------------------------------------------------------------------------- 1 | testing 2 | ifFailure: aBlock -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSubstitution.class/instance/isFailure.st: -------------------------------------------------------------------------------- 1 | testing 2 | isFailure 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSubstitution.class/instance/size.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKSubstitution.class/instance/size.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSubstitution.class/instance/substitution.st: -------------------------------------------------------------------------------- 1 | accessing 2 | substitution -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSubstitution.class/instance/walk..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKSubstitution.class/instance/walk..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSubstitution.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKSubstitution.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSucceed.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKSucceed.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSucceed.class/class/singleton.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKSucceed.class/class/singleton.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSucceed.class/instance/^and.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKSucceed.class/instance/^and.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSucceed.class/instance/conjoin..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKSucceed.class/instance/conjoin..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSucceed.class/instance/constraint.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKSucceed.class/instance/constraint.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSucceed.class/instance/ifSucceed..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKSucceed.class/instance/ifSucceed..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSucceed.class/instance/isSucceed.st: -------------------------------------------------------------------------------- 1 | testing 2 | isSucceed 3 | ^ true. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSucceed.class/instance/isSuccess.st: -------------------------------------------------------------------------------- 1 | testing 2 | isSuccess 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSucceed.class/instance/printOn..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKSucceed.class/instance/printOn..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSucceed.class/instance/run..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKSucceed.class/instance/run..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSucceed.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKSucceed.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSufficientStatistics.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSymbolo.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKSymbolo.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSymbolo.class/class/singleton.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKSymbolo.class/class/singleton.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSymbolo.class/instance/isOfType..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKSymbolo.class/instance/isOfType..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSymbolo.class/instance/printOn..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKSymbolo.class/instance/printOn..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKSymbolo.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKSymbolo.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTableCache.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTableCache.class/instance/add..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKTableCache.class/instance/add..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTableCache.class/instance/close.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKTableCache.class/instance/close.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTableCache.class/instance/closed..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKTableCache.class/instance/closed..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTableCache.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKTableCache.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTableCacheEntry.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTabledGoal.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKTabledGoal.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTabledGoal.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKTabledGoal.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTabledProducerStream.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTabledProducerStream.class/instance/cacheKey.st: -------------------------------------------------------------------------------- 1 | accessing 2 | cacheKey 3 | ^ inputs -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTabledProducerStream.class/instance/isTabledProducer.st: -------------------------------------------------------------------------------- 1 | testing 2 | isTabledProducer 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTaggedVar.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTaggedVar.class/instance/tag..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKTaggedVar.class/instance/tag..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTaggedVar.class/instance/tag.st: -------------------------------------------------------------------------------- 1 | accessing 2 | tag 3 | 4 | ^ tag -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTaggedVar.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKTaggedVar.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTermCopier.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKTermCopier.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTermCopier.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKTermCopier.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTrainingEpoch.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTypeo.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKTypeo.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTypeo.class/instance/fire.in..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKTypeo.class/instance/fire.in..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTypeo.class/instance/isOfType..st: -------------------------------------------------------------------------------- 1 | running 2 | isOfType: aValue 3 | self subclassResponsibility -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTypeo.class/instance/simplify..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKTypeo.class/instance/simplify..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKTypeo.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKTypeo.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKUnification.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKUnification.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKUnification.class/instance/isUnification.st: -------------------------------------------------------------------------------- 1 | testing 2 | isUnification 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKUnification.class/instance/left.st: -------------------------------------------------------------------------------- 1 | accessing 2 | left 3 | 4 | ^ left -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKUnification.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKUnification.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKUnificationConstraint.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKUnificationConstraint.class/instance/isUnification.st: -------------------------------------------------------------------------------- 1 | testing 2 | isUnification 3 | ^ true. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKUnificationNoWalk.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKUnsatisfiableConstraint.class/instance/add..st: -------------------------------------------------------------------------------- 1 | adding 2 | add: aConstraint -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKUnsatisfiableConstraint.class/instance/addTo..st: -------------------------------------------------------------------------------- 1 | merging 2 | addTo: aSKState 3 | ^ SKFailure singleton -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKUnsatisfiableConstraint.class/instance/ifNotFailed..st: -------------------------------------------------------------------------------- 1 | testing 2 | ifNotFailed: aBlock -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKUnsatisfiableConstraint.class/instance/isUnsatisfiable.st: -------------------------------------------------------------------------------- 1 | testing 2 | isUnsatisfiable 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/README.md -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/class/read.o..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/class/read.o..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/class/tag..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/class/tag..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/absento..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/instance/absento..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/car.cdro..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/instance/car.cdro..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/car.list.o..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/instance/car.list.o..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/carCdro..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/instance/carCdro..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/caro..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/instance/caro..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/caro.cdro..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/instance/caro.cdro..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/cdro..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/instance/cdro..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/copyTermo.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/instance/copyTermo.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/isBooleano.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/instance/isBooleano.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/isConstraint.st: -------------------------------------------------------------------------------- 1 | testing 2 | isConstraint 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/isEmptyo.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/instance/isEmptyo.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/isNotEmptyo.st: -------------------------------------------------------------------------------- 1 | list 2 | isNotEmptyo 3 | ^ self =/= Cons empty. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/isNumbero.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/instance/isNumbero.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/isPairo.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/instance/isPairo.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/isSKVar.st: -------------------------------------------------------------------------------- 1 | testing 2 | isSKVar 3 | ^ true -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/isSymbolo.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/instance/isSymbolo.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/isTaggedVar.st: -------------------------------------------------------------------------------- 1 | testing 2 | isTaggedVar 3 | ^ false. -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/label.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/instance/label.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/match.o..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/instance/match.o..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/plus.o..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/instance/plus.o..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/printOn..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/instance/printOn..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/projecto..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/instance/projecto..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/skAlphaHash.st: -------------------------------------------------------------------------------- 1 | deprecated 2 | skAlphaHash 3 | ^ self class hash -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/skReify..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/instance/skReify..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/instance/tag..st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/instance/tag..st -------------------------------------------------------------------------------- /SmallKanren-Core.package/SKVar.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/SKVar.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Core.package/True.extension/instance/asGoal.st: -------------------------------------------------------------------------------- 1 | *SmallKanren-Core 2 | asGoal 3 | ^ SKSucceed singleton -------------------------------------------------------------------------------- /SmallKanren-Core.package/True.extension/properties.json: -------------------------------------------------------------------------------- 1 | { 2 | "name" : "True" 3 | } -------------------------------------------------------------------------------- /SmallKanren-Core.package/monticello.meta/categories.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Core.package/monticello.meta/categories.st -------------------------------------------------------------------------------- /SmallKanren-Core.package/monticello.meta/initializers.st: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Core.package/monticello.meta/package: -------------------------------------------------------------------------------- 1 | (name 'SmallKanren-Core') -------------------------------------------------------------------------------- /SmallKanren-Core.package/properties.json: -------------------------------------------------------------------------------- 1 | { } -------------------------------------------------------------------------------- /SmallKanren-Tests.package/.filetree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Tests.package/.filetree -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SBRALTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SBRALTest.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Tests.package/SBRALTest.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKAbsentoConstraintTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKAbsentoConstraintTest.class/instance/tearDown.st: -------------------------------------------------------------------------------- 1 | running 2 | tearDown 3 | 'SmallKanren-Core' asPackage voidContracts. -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKBinderTest.class/README.md: -------------------------------------------------------------------------------- 1 | Deprecated, as nominal logic is currently not supported. -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKBinderTest.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Tests.package/SKBinderTest.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKConsTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKConsTest.class/instance/setUp.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Tests.package/SKConsTest.class/instance/setUp.st -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKConsTest.class/instance/tearDown.st: -------------------------------------------------------------------------------- 1 | initialization 2 | tearDown 3 | 'SmallKanren-Core' asPackage voidContracts. -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKConsTest.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Tests.package/SKConsTest.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKCustomConstraintTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKDelayedConstraintTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKDelayedConstraintTest.class/instance/tearDown.st: -------------------------------------------------------------------------------- 1 | initialization 2 | tearDown 3 | 'SmallKanren-Core' asPackage voidContracts. -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKDisequalityConstraintTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKDisequalityConstraintTest.class/instance/tearDown.st: -------------------------------------------------------------------------------- 1 | running 2 | tearDown 3 | 'SmallKanren-Core' asPackage voidContracts. -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKFiniteDomainTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKFiniteInterpreter.class/instance/numbers.st: -------------------------------------------------------------------------------- 1 | accessing 2 | numbers 3 | ^ #(1 2) -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKFiniteInterpreter.class/instance/symbols.st: -------------------------------------------------------------------------------- 1 | accessing 2 | symbols 3 | ^ #(sym1) -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKFiniteInterpreterTest.class/instance/tearDown.st: -------------------------------------------------------------------------------- 1 | setup 2 | tearDown 3 | 'SmallKanren-Core' asPackage voidContracts. -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKGoalTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKGoalTest.class/instance/setUp.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Tests.package/SKGoalTest.class/instance/setUp.st -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKGoalTest.class/instance/tearDown.st: -------------------------------------------------------------------------------- 1 | initialization 2 | tearDown 3 | 'SmallKanren-Core' asPackage voidContracts. -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKGoalTest.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Tests.package/SKGoalTest.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKGuardedFreshTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKHashTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKHashTest.class/instance/setUp.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Tests.package/SKHashTest.class/instance/setUp.st -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKHashTest.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Tests.package/SKHashTest.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKInspectorTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKMultiConstraintTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKNomTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKNomTest.class/instance/setUp.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Tests.package/SKNomTest.class/instance/setUp.st -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKNomTest.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Tests.package/SKNomTest.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKPassedConstraintTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKPassedConstraintTest.class/instance/tearDown.st: -------------------------------------------------------------------------------- 1 | as yet unclassified 2 | tearDown 3 | 'SmallKanren-Core' asPackage voidContracts. -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKPlusConstraintTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKProbabilityTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKRelationalInterpreterTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKScheduleTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKStateTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKStateTest.class/instance/tearDown.st: -------------------------------------------------------------------------------- 1 | running 2 | tearDown 3 | 'SmallKanren-Core' asPackage voidContracts. -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKStateTest.class/instance/testPrintOn.st: -------------------------------------------------------------------------------- 1 | tests 2 | testPrintOn -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKStateTest.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Tests.package/SKStateTest.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKStreamTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKStreamTest.class/instance/tearDown.st: -------------------------------------------------------------------------------- 1 | initialization 2 | tearDown 3 | 'SmallKanren-Core' asPackage voidContracts. -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKStreamTest.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Tests.package/SKStreamTest.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKSubstitutionDeltaTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKSubstitutionDeltaTest.class/instance/tearDown.st: -------------------------------------------------------------------------------- 1 | running 2 | tearDown 3 | 'SmallKanren-Core' asPackage voidContracts. -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKSubstitutionTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKSubstitutionTest.class/instance/tearDown.st: -------------------------------------------------------------------------------- 1 | initialization 2 | tearDown 3 | 'SmallKanren-Core' asPackage voidContracts. -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKSuspensionTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKTablingTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKTestCase.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKTestCase.class/instance/setUp.st: -------------------------------------------------------------------------------- 1 | running 2 | setUp 3 | 'SmallKanren-Core' asPackage signContracts. -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKTestCase.class/instance/tearDown.st: -------------------------------------------------------------------------------- 1 | running 2 | tearDown 3 | 'SmallKanren-Core' asPackage voidContracts. -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKTestCase.class/properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Tests.package/SKTestCase.class/properties.json -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKTypeConstraintTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKTypeConstraintTest.class/instance/tearDown.st: -------------------------------------------------------------------------------- 1 | running 2 | tearDown 3 | 'SmallKanren-Core' asPackage voidContracts. -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKVariableTest.class/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKVariableTest.class/instance/setUp.st: -------------------------------------------------------------------------------- 1 | tests 2 | setUp 3 | 'SmallKanren-Core' asPackage signContracts. -------------------------------------------------------------------------------- /SmallKanren-Tests.package/SKVariableTest.class/instance/tearDown.st: -------------------------------------------------------------------------------- 1 | tests 2 | tearDown 3 | 'SmallKanren-Core' asPackage voidContracts. -------------------------------------------------------------------------------- /SmallKanren-Tests.package/monticello.meta/categories.st: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emdonahue/SmallKanren/HEAD/SmallKanren-Tests.package/monticello.meta/categories.st -------------------------------------------------------------------------------- /SmallKanren-Tests.package/monticello.meta/initializers.st: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /SmallKanren-Tests.package/monticello.meta/package: -------------------------------------------------------------------------------- 1 | (name 'SmallKanren-Tests') -------------------------------------------------------------------------------- /SmallKanren-Tests.package/properties.json: -------------------------------------------------------------------------------- 1 | { } --------------------------------------------------------------------------------