chickadee » mini-kanren » listo

Predicate goal that succeeds if-and-only-if l unifies with any list. When l is fresh, it guarantees that l can only unify with a proper list.