Logikprogrammierung,
eine Programmiertechnik, bei der der Programmierer sich nicht um die einzelnen Lösungsschritte kümmern, sondern nur das zu lösende Problem beschreiben muss. Lösungsfindung selbst ist Aufgabe der (logischen) Methoden der jeweiligen logischen Programmiersprache. Der besondere Vorzug der Logikprogrammierung besteht darin, dass man mit partiellen Informationen arbeiten kann, d. h., man kann einfach Bedingungen angeben, unter denen eine Lösung gefunden werden soll. Aus diesem Grund wird die Logikprogrammierung in vielen Anwendungsbereichen eingesetzt, wie z. B. (deduktive) Datenbanken, Expertensysteme, künstliche Intelligenz (KI), Planungs- und Optimierungsprobleme (Operations Research) u. a. Die Programmiersprache Prolog ist ein typischer und verbreiteter Vertreter der Logikprogrammierung.
Universal-Lexikon. 2012.