Zu viel Zeit haben wir in der KI-Veranstaltung ja nicht mit Prolog verbracht. Bzgl. Praxis gab es die Aufgabe, ein minimales Expertensystem zur Klassifikation von Reptilien zu entwickeln, das Dialoge folgender Art erlaubt:

?- bestimme.
Hat das Tier einen Ruecken- und Brustschildpanzer? (ja/nein) ja.
War das Tier im Wasser? (ja/nein) nein.
Hat das Tier flossenaehnliche Glieder? (ja/nein) nein.

Gattungsname des Tieres: riesenschildkroete

yes
?-

Falls jemand Lust hat, damit herumzuspielen: Hier gibt es den Sourcode, die Lösung ist aber sicherlich nicht perfekt… Entwickelt und getestet wurde mit SWI-Prolog, wie es mit der Funktionstüchtigkeit unter einer anderen Prolog-Implementierung aussieht, weiss ich nicht.

Das Fazit zu Prolog: Gewöhnungsbedürftig. Aber es macht Spass damit zu spielen und es wäre sicherlich spannend, etwas grösseres in Prolog zu entwickeln. Jedenfalls freut es mich, dass Prolog von Bruce Tate als eine der im geplanten Buch Seven Languages behandelte Sprache ausgewählt wurde.