Documentation

Disjunction of many clauses. This can be thought as a logical switch.

Conjuction of many clauses. Think of this as a sort of logical semicolon.

Only grab n solutions. Useful for when the full logic program might not terminate. Or takes its sweet time to do so.

We often want to introduce many fresh variables at once. We've encoded this in DSKanren with the usual type class hackery for variadic functions.

Build a lispish list out of terms. The atom "nil" will serve as the empty list and Pair will be :.