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- mentierung auf einer DEC-IO einen grundlegenden Standard setzte. Diese Edinburgh-Version findet sich insbesondere in dem Standardwerk von ClocksinjMellish (1981) 4]. Durch einen Gastaufenthalt von Koichi Furukawa 1978 in Stanford ge- langte Prolog nach Japan. In einer breitangelegten japanischen Studie wurde Prolog als Programmiersprache der f nften Computergeneration ausgew hlt. Damit gelang Prolog der weltweite Durchbruch zu einer Sprache der k nstlichen Intelligenz. Es tritt damit in Konkurrenz zu Lisp (LISt Processing language), das bereits Anfang der sechziger Jahre von John McCarty am Massachusetts Institute of Technology in Boston ent- wickelt wurde und damit neben Fortran eine der ltesten Programmier- sprachen ist. W hrend Lisp eine abstrakte, streng formal aufgebaute Spra- che ist, kommt Prolog dem Programmierer durch eine leichte Lesbarkeit und einfachere Syntax entgegen.