Prolog

Programming in Logic; deklarative Programmiersprache.

Zweck: Mit Prolog sollte nichtalgorithmische (Algorithmus), logische Programmentwicklung ermöglicht werden.

Sprachkonzept: „Theorembeweiser”, der auf einer Datenbasis arbeitet; diese besteht aus einer Menge im Programm festgelegter Fakten und aus Regeln, wie aus gegebenen Fakten Schlüsse gezogen werden können. Der Lösungsweg, den der Regelinterpreter bei der Programmausführung einschlägt, muss vom Programmierer nicht explizit angegeben werden; er wird automatisch (durch Backtracking) ermittelt.

Einsatz in der Künstlichen Intelligenz.