Logische Programmierung

aus www.iwiki.de, der freien Wissensdatenbank

Allgemein

Ziel ist es, eine Aufgabe durch Einsatz der Prädikatenlogik zu lösen. Auch die logische Programmierung ist Beispiel für eine regelbasierte Sichtweise (siehe Funktionale Programmierung).

charakteristische Merkmale

• Literal (atomar)
• Fakt (wird durch ein Literal dargestellt)
• Regel (Literal als Kopf und Literalen als Körper)
• Anfrage (Liste von Literalen)

siehe auch

• Programmiertechnik
• Programmiersprache Prolog