clojure - Explicación concisa de Core.logic - edu.lat

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