Elegantes Lösen eines Layton-Rätsels mit Prolog
Der Autor hat das Kapitel über logische Programmiersprachen in seinem Buch "Logik für Programmierer" überarbeitet und die Leistungsfähigkeit von Prolog anhand eines Rätsels im Stil von 'Layton' demonstriert. Das Rätsel besteht darin, die Punktzahl des vierten Schülers anhand der Punktzahlen der ersten drei Schüler zu bestimmen. Mit prägnantem Prolog-Code (nur 15 Zeilen!) löst der Autor das Problem elegant, indem er die Mustererkennung und die Bidirektionalität von Prolog nutzt, um alle möglichen Antwortmöglichkeiten zu finden und schließlich die Punktzahl des vierten Schülers mit 6 zu bestimmen. Ein Vergleich mit einer längeren und weniger effizienten Lösung wird gezogen. Obwohl der Autor gegen die Verwendung von Rätseln im Unterricht argumentiert, zeigt dieses Beispiel das praktische Anwendungspotenzial von Prolog.