Logische Programmierung

Inhalt

• Einleitung
  • Einordnung der logischen Programmierung in die Sprachgenerationen
  • Entwicklung der logischen Programmierung
     
• Logische Programmierung & Programme
  • Der Umsturz der klassischen Programmdefinition
  • Grundgedanke
  • Eine (schöne) Defintition
  • Grundlegende Elemente
  • Ein logisches Programm (also ein Beispiel)
     
• PROLOG
  • Geschichte der Programmiersprache PROLOG
  • Wichtigste Elemente
     
• Horn - Klauseln
  • Allgemeine Klauseldefinition
  • Definition Horn - Klausel
  • Von Prädikatenklauseln zu Horn - Klauseln
     
• Resolution
  • Was ist Resolution ?
  • Wie funktioniert Resolution ?
  • Ein Beispiel zur Vorgehensweise
     
• Unifikation
  • Was ist Unifikation ?
  • Wie funktioniert Unifikation ?
  • Ein Beispiel zur Vorgehensweise
     
• Probleme, Differenzen & Sonstiges
  • Der Cut !
  • Die "Verneinung"
  • Der Occur-Check
  • Resumée
     
• Literaturverzeichnis und Internetquellen