functional-programming - significa - programacion logica y funcional pdf - edu.lat

type-systems - relacion - razonamiento en lenguaje formal - edu.lat

programming languages - languages - ¿Por qué la programación lógica no se ha puesto de manifiesto?

que - Multithreading en... idiomas funcionales?(Prólogo)

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

Uso del "Prólogo en Scala" para encontrar instancias de clase de tipo disponibles

recursividad - ¿Alguna implementación de Prolog que permita la recursión a la izquierda?

Intérprete/compilador de Prolog incorporado para Java - edu.lat

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

Datalog vs CLIPS vs Prolog - edu.lat

tutorial - ¿Programación relacional/lógica en Python?

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

El sistema de tipos y la programación lógica de Haskell: cómo portar programas de Prolog a nivel de

pseudocodigo - Enumerando árboles binarios en Prolog