Prolog: 10 líneas de código que te harán odiar la lógica

Diez líneas de Prolog bastan para crear un programa que funciona, pero cuyo comportamiento nadie entiende. El autor de "Prolog Coding Horror" muestra cómo un predicado aparentemente inocente puede producir resultados inesperados, revelando la fragilidad de la lógica declarativa.

Por qué importa

Prolog promete programar describiendo qué es verdad, no cómo computarlo. Pero esa promesa se rompe cuando un pequeño cambio en el orden de las cláusulas o la falta de un corte genera respuestas erróneas o bucles infinitos. Para el programador que busca claridad mental y control, este es un recordatorio brutal: la complejidad no desaparece, solo se desplaza.

En un mundo donde la productividad se mide por líneas de código escritas, Prolog demuestra que menos líneas no significan menos problemas. A veces, la simplicidad aparente es una trampa.

Qué dice el contexto

• El autor muestra un predicado de 10 líneas que, al consultarlo, produce soluciones duplicadas o incorrectas según el orden de las cláusulas.
• La falta de un corte ("!") provoca que el backtracking explore caminos no deseados, generando resultados que violan la especificación.
• El código original parece "lógico", pero su comportamiento real depende del motor de inferencia de Prolog, no de la lógica pura.
• Un programador sin experiencia en Prolog puede pasar horas depurando algo que, en papel, debería funcionar.
• El artículo concluye que la programación declarativa no elimina la necesidad de entender la implementación subyacente.

Lo que puedes hacer

1. Prueba con casos límite: Antes de asumir que tu código funciona, ejecuta consultas con valores extremos. En Prolog, un predicado que falla para un caso puede tener soluciones ocultas para otro.
2. Usa cortes con cuidado: El corte es la herramienta para controlar el backtracking. Sin él, cualquier programa declarativo puede volverse impredecible. Aprende a colocarlo donde sea necesario.