Prolog: El horror de no saber lo que tu código hace

Un error de un solo carácter en Prolog puede hacer que un programa responda "sí" a preguntas que deberían ser falsas, sin dar ninguna señal de alerta. El programador confía en la respuesta, pero el programa miente.

Por qué importa

Prolog no es un lenguaje cualquiera: se usa en sistemas expertos, procesamiento del lenguaje natural y aplicaciones donde una respuesta incorrecta puede tener consecuencias reales. El artículo "Prolog Coding Horror" muestra cómo un pequeño descuido lógico —una variable mal escrita, una cláusula mal ordenada— convierte un programa en una fábrica de falsedades.

Para el programador, el coste no es solo el error, sino el tiempo perdido depurando algo que aparentemente funciona. La lógica parece correcta, pero el programa responde mal. Es el peor escenario: un fallo silencioso que no da pistas.

Qué dice el contexto

• Un programa Prolog puede responder "sí" a una consulta falsa si una variable no está correctamente instanciada, debido a la unificación inadvertida.
• El error típico es escribir una variable en mayúscula donde debería ir en minúscula, o viceversa, cambiando el significado lógico.
• La falta de tipos y la naturaleza declarativa hacen que estos errores sean difíciles de detectar con pruebas tradicionales.
• El artículo original documenta casos reales donde programas aparentemente correctos daban respuestas erróneas durante meses.
• La solución no es solo corregir el error, sino adoptar prácticas como la escritura de tests de propiedad y la revisión sistemática de unificaciones.

Lo que puedes hacer

1. Escribe tests de propiedad: no te limites a casos concretos; verifica que el programa responda correctamente para rangos de entrada. Por ejemplo, si tu programa dice que algo es verdad, comprueba que también lo sea su negación lógica.