minikanren

7El calor

2Respuesta

¿Por qué los nombres miniKanren siempre terminan con `o`?

Todas las relaciones miniKanren terminan con la letra o. ¿Cuál es la motivación para esto? Veo que la biblioteca Clogure core.logic también hace esto.

clojure scheme logic minikanren 2012-02-06

---

16El calor

2Respuesta

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

Acabo de empezar a jugar con core.logic, y para trabajar en ello, intento implementar algo simple que sea similar a un problema en el que actualmente estoy trabajando profesionalmente. Sin embargo, un

clojure logic clojure-core.logic minikanren 2012-01-02

---

13El calor

2Respuesta

Comprensión del modelo de ejecución de Mini-Kanren

El Capítulo 5 del SICP explica el esquema del evaluador meta-circular interno de una máquina de registro. ¿Hay algo que proporcione un tipo similar de Mini-Kanren en términos de primitivas de esquema?

clojure scheme logic minikanren 2012-04-12

---

27El calor

3Respuesta

conda, condi, conde, conducto

Estoy leyendo the Reasoned Schemer. Tengo un poco de intuición sobre cómo funciona conde. Sin embargo, no puedo encontrar una definición formal de lo conde/conda/condu/condi lo hacen. Conozco https://

clojure scheme clojure-core.logic minikanren 2012-06-01

---

6El calor

1Respuesta

Listado de padres únicos de DAG con core.logic

Este es un (afortunadamente) programa lógico simple con el que me he quedado atrapado por un tiempo. Tengo un DAG representado por una relación de borde en core.logic, al generar la lista de nodos pri

clojure logic-programming clojure-core.logic minikanren 2012-09-24

---

21El calor

2Respuesta

explicación concisa de Core.logic

Quiero utilizar Core.logic de Clojure. Sin embargo, también quiero entender cómo funciona. ¿Hay alguna explicación concisa de eso en alguna parte? (Al igual que la implementación de un evaluador metac

clojure scheme logic-programming minikanren clojure-core.logic 2012-04-30

---