Logische Programmiersprache
(engl.: logic programming language)
Logische Programmiersprachen basieren, wie der Name bereits sagt,
auf der Logik, einem Teilgebiet der Mathematik, in dem Fragestellungen
wie zum Beispiel die Widerspruchsfreiheit mathematischer Theorien und
Begriffe (Beweis, Definition) behandelt werden. Insbesondere die
sogenannte Prädikatenlogik findet im Bereich der Künstlichen Intelligenz
Anwendung. Die bekannteste, auf diesem Teilgebiet der Logik aufbauende
Programmiersprache ist das in den frühen 70er Jahren in Frankreich
entstandene Prolog (Programming Logic).
Siehe auch Logikprogrammierung ;)