Art der Programmierung, die v. a. in der künstlichen Intelligenz, speziell im Bereich der Wissensrepräsentation, große Bedeutung besitzt. L.P. basiert auf der Prädikatenlogik. - Aufbau: Programme werden als Mengen von Zusicherungen dargestellt, die einerseits Objektive und die Beziehungen zwischen ihnen deklarativ beschreiben, andererseits durch einen Interpreter "ausgewertet" werden können. - Bedeutendste Programmiersprache: Prolog.
