SWI Prolog Manual (alle vordefinierten Prädikate)
Prolog-Tutorial (Norbert Fuchs) (PDF)
Learn Prolog Now!
Folien zu Algorithmik 2 von Peter Wilke
Prolog-Aufgaben [TeX] (Lösungen)
Die noch etwas unvollständigen Folien [TeX] (Vorsicht: Das evince im CIP hat Probleme mit dem PDF...)
20:30 Uhr, Pleitegeier!
Alte Klausuren
Hinweis: Tutorial zur Prüfungsvorbereitung am 06.02.2009
Hexe!!! (ein einfaches Beispiel zur quantorenlogischen Resolution in Prolog)
Sammlung aller Definitionen aus der Vorlesung
(von Andreas Wahl):
definitionen.pdf
Unifikation [TeX]
Kapitel Unifikation und Ableitungsbäume aus der Vorlesung
Prolog mit Anwendungen aus der linguistischen Informatik
von Prof. Dr. Schneider
(auch interessant: Unifikationsalgorithmen aus der Vorlesung Algorithmische Grundlagen regelbasierter Systeme, was aber deutlich über
GLoLoP hinaus geht)
ESK-Aufgaben und Resolutionskalkül (aktualisiert!) [TeX]
Lösung zu Aufgabe 2.2.3 [TeX]
Frege- und Effektiver Sequenzen-Kalkül [TeX]
Immer noch: Listen und Prolog (Übungsaufgaben)
Listen und Prolog II
nikolaus.pl
Ein paar Listen-Lösungen
Acht Damen
(alternative Lösung, die mir Oliver Fischer geschickt hat:
http://wwwcip.cs.fau.de/~snolfisc/prolog/EightQueens.pl)
Listen und Prolog (Übungsaufgaben)
Listen-Aufgaben aus der Übung [TeX] (Lösung [TeX])
Beispieldialoge zum Ex:
• ohne exklusives Oder
• mit exklusivem Oder
Das perfekte Mensa-Essen: mensa.pl
Prolog-Lösung zum Einstein-Rätsel: einstein.pl
(noch etwas vereinfacht gegenüber der Übung)
Tabellarische Lösung (Folien von Peter Wilke)
JavaProlog_1_Rueckgabe.txt
JavaProlog_2_Rekursion.txt
JavaProlog_3_Listen.txt
Prolog-Editoren (Kate, Eclipse-Plugin)
graph.pl (der Graph aus den Aufgaben)
dialoge.pdf (Neu! Jetzt mit weniger Fehlern!) [TeX]
dialogelsg.pdf (Lösungsvorschläge) [TeX]
aussagen.pdf (aktualisiert am 23.10.2008) [TeX]
Ein paar Anmerkungen und zusätzliche Erklärungen zum Inhetveen-Buch (1. Kapitel): inhetveen.pdf
Colosseum (meine experimentelle Version mit verbesserter Ausgabe - Fehlerberichte an mich!)
Colosseum (alt)
http://www8.informatik.uni-erlangen.de/IMMD8/Lectures/LOGIK/
http://www8.informatik.uni-erlangen.de/IMMD8/Lectures/LOGIK/index_ue.html
http://www8.informatik.uni-erlangen.de/IMMD8/staff/Goerz/dialogik_MU2005.pdf