Index
| =/= | Language.DSKanren.Core, Language.DSKanren |
| === | Language.DSKanren.Core, Language.DSKanren |
| Atom | Language.DSKanren.Core, Language.DSKanren |
| conde | Language.DSKanren.Sugar, Language.DSKanren |
| conj | Language.DSKanren.Core, Language.DSKanren |
| currentGoal | Language.DSKanren.Core, Language.DSKanren |
| disconj | Language.DSKanren.Core, Language.DSKanren |
| failure | Language.DSKanren.Core, Language.DSKanren |
| fresh | Language.DSKanren.Core, Language.DSKanren |
| list | Language.DSKanren.Sugar, Language.DSKanren |
| manyFresh | Language.DSKanren.Sugar, Language.DSKanren |
| MkFresh | Language.DSKanren.Sugar, Language.DSKanren |
| Neq | Language.DSKanren.Core, Language.DSKanren |
| Pair | Language.DSKanren.Core, Language.DSKanren |
| Predicate | Language.DSKanren.Core, Language.DSKanren |
| program | Language.DSKanren.Sugar, Language.DSKanren |
| run | Language.DSKanren.Core, Language.DSKanren |
| runN | Language.DSKanren.Sugar, Language.DSKanren |
| success | Language.DSKanren.Core, Language.DSKanren |
| Term | Language.DSKanren.Core, Language.DSKanren |
| Var | |
| 1 (Data Constructor) | Language.DSKanren.Core, Language.DSKanren |
| 2 (Type/Class) | Language.DSKanren.Core, Language.DSKanren |