• Artikel
• Bearbeiten
• Historie
• Druckansicht

Logische Programmiersprachen

Prolog

Prolog ist eine Sprache zur deklarativen Programmierungung. Ursprüngliche Prologvarianten arbeiten vollständig auf Basis des Edinburgh Standards. Man kann die Sprache als "Maschinensprache eines Logik-Prozessors" bezeichnen, da sie auf den mathematischen Grundlagen der Präikatenlogik beruht.

• Prolog-n-Damenproblem