Prolog (eigentlich: PROgrammation LOGique, meist als PROgramming in LOGic gedeutet) wurde 1970 bis 1972 von der Forschungsgruppe GIA (Groupe d'Intelligence Artificielle) der Universität Aix-Marseille unter der Leitung von Alain Colmerauer entwickelt und 1973 erstmalig auch implementiert. Größere Bedeutung erhielt Prolog durch die Arbeiten von Robert Ko walski an der Universität Edinburgh ab 1974, der zusammen mit Harry Barrow vom Stanford Research Institute (Kalifornien) durch eine Imple mentier ...