clojure-core.logic

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

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://

29El calor

1Respuesta

Predicado para declarar coordenadas descendentes/ascendentes usando dominios finitos

Me gustaría escribir un predicado, descendo, que declara que la primera coordenada dada [y, x] desciende a la segunda coordenada dada (imagine la placa con [0 , 0] en la esquina superior izquierda). U

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

8El calor

3Respuesta

¿Cómo resolver ecuaciones matemáticas usando core.logic

He intentado escribir en una consulta en core.logic: (run* [q] (== 0 (+ (* q q) (* 4 q) 4))) Y el símbolo dice, error: lvar cannot be cast to a number En el caso de que no he ¿Cuál es la razón de

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

11El calor

2Respuesta

Eliminando resultados duplicados al consultar un árbol genealógico con core.logic

Estoy modelando un árbol genealógico con core.logic. Me gustaría run* las consultas y hacer que devuelvan todos los resultados sin duplicación. Reemplazar todos defn con def tabled me da los resultado

17El calor

2Respuesta

Expresando que un subconjunto específico de X tiene la propiedad de Y en core.logic

Quiero: describir un hecho acerca de un subconjunto de una clase de objetos. Declarar que un objeto tiene una propiedad que consiste en otras propiedades. tomar las siguientes como ejemplo: Red roboti

7El calor

3Respuesta

¿Cuáles son las similitudes y diferencias en términos de los conceptos fundamentales y la implementación entre un lenguaje de base de datos relacional sql y un lenguaje de programación lógica como pro