Prolog ist eine Programmiersprache, die von Alain Colmeraur und seinen Kollegen an der Universität Marseille im Jahr 1972 entwickelt wurde. Prolog wird üblicherweise für die KI verwendet. Anders als andere Programmiersprachen basiert Prolog auf ein Satz von Regeln statt Anweisungen.

KI, Begriffe der künstlichen Intelligenz, Abkürzungen für Computer, Programmlogik, Programmierbegriffe