logic-programming

23El calor

1Respuesta

¿Qué tipo de sistemas pueden evitar la suspensión de objetivos en los lenguajes lógicos?

Desde la sección 3.13.3 de la curry tutorial: operaciones que residuate se llaman rígida, mientras que las operaciones que estrechan se llaman flexible. Todas las operaciones definidas son flexibles,

type-systems logic-programming curry 2011-01-12

---

14El calor

5Respuesta

Lenguaje de programación más nuevo que Prolog para programación lógica

¿Hay algún lenguaje más nuevo que Prolog especializado en programación lógica?

programming-languages paradigms logic-programming 2011-01-16

---

14El calor

3Respuesta

¿Cuál es el uso de operadores booleanos sin cortocircuito en Erlang?

Estoy aprendiendo Erlang del libro web LearnYouSomeErlang. Una cosa que me sorprendió al aprender fue la conjunción booleana sin cortocircuito y los operadores de disyunción; and y or. ¿Cuáles son los

programming-languages functional-programming erlang logic-programming 2011-11-11

---

15El calor

4Respuesta

Ejecutando el código de prólogo en un iPhone

Actualmente tengo la necesidad de ejecutar el código de prólogo en una aplicación que estoy haciendo. Soy consciente de que Apple probablemente nunca permitiría algo como esto en la App Store, pero es

iphone prolog logic-programming 2010-10-11

---

17El calor

2Respuesta

Datalog vs CLIPS vs Prolog

Como muchos programadores estudié Prolog en la universidad, pero muy poco. Entiendo que Prolog y Datalog están estrechamente relacionados, ¿pero Datalog es más simple? Además, creo que leí que Datalog

prolog logic-programming clips datalog 2010-10-13

---

11El calor

1Respuesta

¿Cómo encontrar la orden de procesamiento óptima?

Tengo una pregunta interesante, pero no estoy seguro exactamente cómo expresarlo ... Considere el cálculo lambda. Para una expresión dada de lambda, hay varias órdenes de reducción posibles. Pero algu

haskell logic lambda-calculus logic-programming 2012-06-04

---

9El calor

1Respuesta

La función devuelve "Sin solución" en lugar de "Nada"

Tengo un tipo de datos estándar que representa fórmulas de lógica de predicados. Una función que representa una regla de eliminación de la deducción natural para la separación podría ser: d_el p q =

functional-programming logic-programming maybe curry 2011-09-30

---

17El calor

4Respuesta

¿Qué es más interesante o poderoso: Curry, Mercury o Lambda-Prolog?

Me gustaría preguntarle qué sistema formal podría ser más interesante de implementar desde cero/ingeniería inversa. He revisado algunos proyectos existentes y de código abierto de sistemas de programa

logic prolog logic-programming mercury curry 2010-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

---