Resolviendo un rompecabezas de Layton con elegancia usando Prolog

El autor reescribió el capítulo sobre lenguajes de programación lógica en su libro "Lógica para Programadores", mostrando el poder de Prolog con un rompecabezas al estilo 'Layton'. El rompecabezas implica deducir la puntuación del cuarto estudiante en base a las puntuaciones de los tres primeros. Usando un código Prolog conciso (¡solo 15 líneas!), el autor resuelve elegantemente el problema, aprovechando la coincidencia de patrones y la bidireccionalidad de Prolog para encontrar todas las posibles claves de respuesta, determinando finalmente la puntuación del cuarto estudiante como 6. Se hace una comparación con una solución más larga y menos eficiente. Aunque el autor argumenta en contra del uso de rompecabezas para la enseñanza, este ejemplo demuestra el potencial de aplicación práctica de Prolog.