ds-kanren-0.2.0.1: A subset of the miniKanren language

Index

=/=Language.DSKanren.Core, Language.DSKanren
===Language.DSKanren.Core, Language.DSKanren
AtomLanguage.DSKanren.Core, Language.DSKanren
condeLanguage.DSKanren.Sugar, Language.DSKanren
conjLanguage.DSKanren.Core, Language.DSKanren
currentGoalLanguage.DSKanren.Core, Language.DSKanren
disconjLanguage.DSKanren.Core, Language.DSKanren
failureLanguage.DSKanren.Core, Language.DSKanren
freshLanguage.DSKanren.Core, Language.DSKanren
listLanguage.DSKanren.Sugar, Language.DSKanren
manyFreshLanguage.DSKanren.Sugar, Language.DSKanren
MkFreshLanguage.DSKanren.Sugar, Language.DSKanren
NeqLanguage.DSKanren.Core, Language.DSKanren
PairLanguage.DSKanren.Core, Language.DSKanren
PredicateLanguage.DSKanren.Core, Language.DSKanren
programLanguage.DSKanren.Sugar, Language.DSKanren
runLanguage.DSKanren.Core, Language.DSKanren
runNLanguage.DSKanren.Sugar, Language.DSKanren
successLanguage.DSKanren.Core, Language.DSKanren
TermLanguage.DSKanren.Core, Language.DSKanren
Var 
1 (Data Constructor)Language.DSKanren.Core, Language.DSKanren
2 (Type/Class)Language.DSKanren.Core, Language.DSKanren