chickadee » mini-kanren » nullo

Predicate goal that succeeds if-and-only-if p is the null list. When p is fresh, it guarantees that p can only unify with the null list '().