chickadee » mini-kanren » distincto

Goal that guarantees that no element of the list s will ever unify with another element of s.