fit 2002 > Programmiersprachentypen > Bewertung > deklarative Sprachen

Überblick


Abschliessend noch ein paar persönliche Wort über Prolog. Meinen ersten Kontakt mit Prolog hatte ich während meiner Ausbildung in der HTL, damals wurden aber meiner Meinung nach die Konzepte die ein tieferes Verständis der Sprache ermöglichen zu wenig erleutert, sodaß sich wohl in den meisten Köpfen meiner damaligen Kollegen inklusive meinem ein gewisser Mythos um Prolog gebildet haben muß, indem Prolog als Sprache der künstlichen Intelligenz glorifiziert wird. Während meines Studiums der Informatik an der technischen Universität wurde mir eine umfangreiche Ausbildung in mathematischer Logik zu teil, in der auch eine Einführung in die Programmierung mit Prolog enthalten war. Zu diesem Zeitpunkt war mir das eher lästig, da es doch eine ziemlich formale und mathematische Angegenheit ist, und unter Studenten technischer Studienrichtungen von Zeit zu Zeit eine gewisse Abneignung gegenüber der Mathematik oft nicht vermeidbar ist. Durch die erneute Auseinandersetzung mit Prolog im Rahmen dieser LVA die eher ungezwungen war, wurde ein gewisses Interesse an Prolog in mir geweckt, auch wenn ich momentan keine praktische Relevanz Prologs für mich sehe.

Die Frage ob Prolog ein Hype oder eine echte Neuerung darstellt kann meiner Meinung nach nicht eindeutig beantworten. Das Prolog keine Hype darstellt, ist zwar klar, was aufgrund zahlreicher Anwendungen in verschiedensten Gebieten und aktiven Entwicklungen, besonders auf den Gebieten künstliche Intelligenz und Wissensrepräsentation, leicht zeigen lässt.

Die Beantwortung der Frage ob Prolog eine Neuerung darstellt überlasse ich den Vätern der Programmiersprache die dazu folgendes zu sagen haben:

"Prolog is so simple that one has the sense that sooner or later someone had to discover it."

und

"Prolog is so simple that one has the sense that sooner or later someone had to discover it."

(Colmerauer, Roussel)


Prolog mag für sich im Moment des Entdeckens eine Neuerung gewesen sein, die allerdings, wie auch von den Entwicklern (oder besser Entdeckern?) bemerkt, das Produkt einer natürlichen Entwicklung ist.

Weiterführende Informationen


>[prolog] Logic, Programming and Prolog, 2. Edition (downloadable)
>[applications] Applications of Logic Programming in Software Engineering (paper)

>Entstehungskontext | Konzepte und Techniken | Entwicklung und Auswirkungen | Praxis | Bewertung