Logik und Logische Programmierung Einführung
Logik und Logische Programmierung Einführung
Logik und Logische Programmierung Einführung
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Kurze Geschichte der logischen<strong>Programmierung</strong>! Erf<strong>und</strong>en in 1972! Colmerauer (Implementierung,! !Prolog = PROgrammation en LOGique)! Kowalski (Theorie)! Erkenntnis: Untermenge der Prädikatenlogik! Effiziente prozedurale Interpretation basierend aufResolution (Robinson 1965 + Herbrand 1931)! Programm = Theorie! Berechnung = logisches Schließen (Inferenz)!