Grundlagen der Programmiersprachen SS 2016 - Folie 805
Ziele:
Prolog-Klauseln als prädikatenlogische Formeln verstehen
in der Vorlesung:
Erläuterung
- Regeln, Fakten, Anfragen in prädikatenlogische Formeln transformieren
- Hornklauseln: eingeschränkte PL-Formeln
nachlesen:
..., Abschnitt Modellierung Kap. 4.2
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 22.05.2016