chickadee
»
mini-kanren
»
var?
Identifier search
var?
v
procedure
Predicate procedure (not a goal) that returns true if-and-only-if
v
is a logic variable.