Prolog (Programmiersprache)

PROLOG - je nach Quelle abgeleitet von programmation en logique oder programming in logic - zählt zu den wichtigsten logischen Programmiersprachen. Entwickelt wurde sie 1972 von Alain Marie Albert Colmerauer.

Logische Programmiersprachen gehören zum Forschungsgebiet der Künstlichen Intelligenz.