Was ist Logikprogrammierung?

Logikprogrammierung ist ein Computerprogrammierungsparadigma, in dem Programmaussagen Fakten und Regeln über Probleme innerhalb eines Systems formaler Logik ausdrücken. Regeln werden als logische Klauseln mit Kopf und Körper geschrieben. "H ist wahr, wenn B1, B2 und B3 wahr sind." Fakten werden ähnlich wie Regeln ausgedrückt, aber ohne Körper; Zum Beispiel "H ist wahr".

Einige logische Programmiersprachen wie Datalog und ASP (Answer Set Programming) sind rein deklarativ - sie erlauben Aussagen darüber, was das Programm ausführen soll, ohne explizite Schritt-für-Schritt-Anweisungen. Andere, wie zum Beispiel Prolog, sind eine Kombination aus Deklarativem und Imperativem - sie können auch Verfahrensaussagen enthalten, wie beispielsweise "Um H zu lösen, lösen Sie B1, B2 und B3."

Für die Logikprogrammierung verwendete Sprachen

  • Absys
  • ALF (Funktionale Programmiersprache für Algebraische Logik).
  • Algorithmisches Programm-Debugging
  • Alice
  • Alma-0
  • ASP (Antwortsatzprogrammierung)
  • CHIP
  • Ciao
  • CLACL
  • CycL
  • Datenprotokoll
  • Datomic
  • DLV
  • Finsternis
  • F-Logik
  • Flora-2
  • Fril
  • FuzzyCLIPS
  • Gödel
  • HiLog
  • Janus
  • ΛProlog
  • Logtalk
  • Maude-System
  • Quecksilber
  • Metall
  • Mozart-Programmiersystem
  • Oz
  • Parlog
  • Planer
  • PROGOL
  • Prolog
  • Prolog ++
  • Prova
  • .QL
  • Rebeca-Modellierungssprache
  • ROOP
  • SICStus Prolog
  • SWI-Prolog
  • ToonTalk
  • Transaktionslogik
  • Twelf
  • Visual Prolog
  • XSB

Sprache, Logik, Paradigma, Programmierbegriffe