Prolog und Meta-Interpreter

Seit seiner Entwicklung Anfang der siebziger Jahre hat sich Prolog zu einem der wichtigsten Vertreter einer neuen Generation von Programmiersprachen entwickelt, die auf mathematischer Logik basieren. Prolog wurde erstmals 1973 zur Unterstützung von natürlichsprachigem Verstehen in Marseille durch Alain Colmerauer implementiert. Vor allem ab 1978, als japanische Forschungsinstitute ankündigten, eine Weiterentwicklung von Prolog als die Programmiersprache für ihr großangelegtes „Fifth Generation Computing“ Projekt zu verwenden, wurden Wissenschafter aus aller Welt hellhörig.