Die Geburt von Prolog (1996)
The Birth of Prolog (1996)
Dieser Artikel aus dem Jahr 1996 erzählt die Entstehungsgeschichte von Prolog, einer der einflussreichsten Programmiersprachen der KI-Forschung. Alain Colmerauer und Philippe Roussel beschreiben, wie sie Ende der 1960er Jahre in Marseille die Idee entwickelten, Logik als Programmiersprache zu nutzen. Sie berichten von den Herausforderungen, die sie bei der Implementierung des ersten Interpreters überwanden, und von der entscheidenden Rolle, die Robert Kowalski mit seiner prädikatenlogischen Semantik spielte. Der Text bietet einen seltenen Einblick in die frühe KI-Geschichte und zeigt, wie aus einer theoretischen Idee eine praktische Sprache wurde.
Wir wollten eine Programmiersprache schaffen, die es dem Programmierer ermöglicht, seine Probleme direkt in logischen Formeln auszudrücken, ohne sich um die Details der Maschinenausführung kümmern zu müssen.