Prolog, kurz für Programmierung in Logik oder programation et logique (Französisch), ist eine Programmiersprache, die 1972 von Alain Colmeraur und seinen Kollegen an der Universität Marseille entwickelt wurde. Prolog wird häufig für KI verwendet und basiert im Gegensatz zu anderen Programmiersprachen auf Prolog ein Regelwerk statt Anweisungen.
KI, Begriffe der künstlichen Intelligenz, Computerabkürzungen, Programmlogik, Programmierbegriffe