software · 6 menciones
El artículo "Prolog Coding Horror" de Markus Trisha examina los principales errores que cometemos los programadores Prolog, identificando cuatro "horrores" fundamentales que debemos evitar. El primero es perder soluciones: usar constructos impuros como !/0, (->)/2 y var/1 puede hacer que nuestro pro
Este artículo narra cómo el autor finalmente comprendió la programación lógica utilizando Prolog, después de años de intentarlo, gracias a un proyecto aparentemente sencillo: modelar las mecánicas de combate de los videojuegos Pokémon. La razón por la que este enfoque funciona tan bien es porque las
Este artículo explora un concepto fundamental en el desarrollo de software: los "ur-lenguajes" (lenguajes ancestrales). La idea central es que, aunque existen miles de lenguajes de programación, muchos comparten patrones básicos de construcción y organización, agrupándose en familias o "ur-lenguajes
Este artículo explora el concepto de un "lenguaje de programación perfectible", ejemplificado por Lean. La idea central es que un lenguaje perfectible no solo permite escribir código, sino también expresar propiedades sobre ese código dentro del propio lenguaje. Esto abre la puerta a la verificación
Este artículo explora el concepto de "thinnings", una herramienta matemática que, aunque a menudo vista como compleja en contextos como la teoría de tipos dependientes, puede ser aplicada y comprendida en lenguajes de programación más comunes como Python. En esencia, un thinning es una forma de test
λProlog, un lenguaje de programación lógico desarrollado a finales de la década de 1980, está experimentando un inesperado resurgimiento en la comunidad tecnológica. Basado en la lógica intuicionista de orden superior, λProlog se destaca por su sólida base lógica, que permite características avanzad
