clojure - ¿Cómo simular una ''unión externa'' en core.logic?
clojure - Predicado para declarar coordenadas descendentes/ascendentes utilizando dominios finitos -
clojure - conda, condi, conde, condu
clojure - Expresando que un subconjunto específico de X tiene la propiedad Y en core.logic - edu.lat