Quellcode Porno

[1unitedpower]

Ja, nicht schlecht. Bezogen auf die anderen Antworten mag es zwar nicht die kürzeste Lösung sein, hat aber im Vergleich zu noch kürzeren Lösungen noch eine gewisse Lesbarkeit. Das zeigt eben auf, dass das Lösen eines Logikrätsels ein Heimspiel für Prolog ist - denn sowas ist einfach die Kernanwendung deklarativer Programmierung.

Schöner Beitrag, allerdings finde ich den Zusammenhang nicht ganz so offensichtlich. Die Bezeichnung stammt ja nicht von den Anwendungsgebieten, die die Entwickler von Prolog im Hinterkopf hatten, sondern von einem Implementierungs-Detail logischer Programmiersprachen, der SLD-Resolution für prädikatenlogische Hornformeln (die übrigens auch nicht rein deklarativ ist). Ebenso erhalten funktionale Programmiersprachen ja nicht ihre Existenzberechtigung, weil in der Welt so viele algebraische Probleme in Funktionsräumen existieren, die man lösen muss, sondern weil die für die Interpreter und Compiler zugrunde liegenden mathematischen Modelle auf dem Lambda-Kalkül aufbauen. Die Anwendungsdomänen erstrecken sich weit darüber hinaus. Aber das ist ideologisches Genörgel und im Grunde gebe ich dir recht, dass Sudoku ein Heimspiel für Prolog ist.

Die Fingerübung steht mir übrigens auch in Kürze bevor; im Sinne der Prüfungsvorbereitung bezüglich Haskell, Prolog und CHR ;)

Ich hatte die Klausur vor einem Monat und versuche jetzt mein Prolog-Wissen frisch zu haten, weil so viel Eleganz in dem Entwurf steckt. Wenn du noch gutes Lernmaterial gebrauchen kannst, kann ich das Skript meines Professors Jürgen Giesl empfehlen. Die ersten 4 Kapitel beschäftigen sich nur mit den mathematischen Grundlagen, Kapitel 5 von handelt von konzeptionellen Eigenschaften Prologs und Kapitel 6 behandelt Logikprogrammierung mit Constraints. http://verify.rwth-aachen.de/lp15/skript.pdf