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

semantica - ¿Cuáles son las principales diferencias técnicas entre Prolog y miniKanren, con respecto

clojure - ¿Cómo simular una ''unión externa'' en core.logic?

clojure - conda, condi, conde, condu