chickadee » mini-kanren » var?

var? vprocedure

Predicate procedure (not a goal) that returns true if-and-only-if v is a logic variable.