chickadee » mini-kanren » flatteno

flatteno s outprocedure

Goal that unifies a list s with out, where out represents a list with the same elements of s, except that out is flattened (i.e. only contains atoms, not pairs).