Aufgaben
| Übungsblatt | Ausgeteilt | Abgabe |
|---|---|---|
| Übungsblatt 1 | Freitag, 26. Oktober | Dienstag, 30. Oktober |
| Übungsblatt 2 | Dienstag, 30. Oktober | Dienstag, 6. November |
| Übungsblatt 3 | Dienstag, 6. November | Dienstag, 13. November |
| Übungsblatt 4 | Dienstag, 13. November | Dienstag, 20. November |
| Übungsblatt 5 | Dienstag, 20. November | Dienstag, 27. November |
| Übungsblatt 6 | Dienstag, 27. November | Dienstag, 4. Dezember |
| Übungsblatt 7 | Dienstag, 4. Dezember | Dienstag, 11. Dezember |
| Übungsblatt 8 | Dienstag, 11. Dezember | Dienstag, 18. Dezember |
| Übungsblatt 9 | Dienstag, 18. Dezember | Dienstag, 8. Januar |
| Übungsblatt 10 | Dienstag, 8. Januar | Dienstag, 15. Januar |
| Übungsblatt 11 | Dienstag, 15. Januar | Dienstag, 22. Januar |
| Übungsblatt 12 | Dienstag, 22. Januar | Dienstag, 29. Januar |
| Übungsblatt 13 | Dienstag, 29. Januar | Dienstag, 5. Februar |
| Übungsblatt 14 | Dienstag, 5. Februar | Dienstag, 12. Februar |
Zusätzliche Dateien
Übungsblatt 9
Für Übungsaufgabe 9.4 benötigen Sie den automatischen Theorembeweiser Prover9 (Download von Sourcen, Windows-Binary und Linux-Binary, Anleitung und Beispiele).
Die Eingabedateien an Prover9 haben (grob) die folgende Form:
formulas(assumptions). <Annahme 1>. ... <Annahme n>. end_of_list. formulas(goals). <Behauptung 1>. ... <Behauptung k>. end_of_list.Näheres finden Sie in der mitgelieferten Anleitung.
Der Aufruf von Prover9 erfolgt, sofern die ausführbare Datei im Dateipfad liegt, mit diesem Kommando:
prover9 -f <infile>
Übungsblatt 10
Für Übungsaufgabe 10.4 benötigen Sie die Prolog-Kodierung des London-Underground-Beispiels.
Einige Prolog-Interpreter:
- SICStus-Prolog (kommerziell, sollte aber im Pool auf den Sun-Rechnern nach Aufruf von "setup lang/sicstus" verfügbar sein und mit "sicstus" gestartet werden können)
- SWI-Prolog (frei)
- GNU-Prolog (frei)
- YAP-Prolog
Wenn Sie Fragen zu den Prolog-Interpretern haben, einfach nachfragen.
Übungsblatt 11
Für Übungsblatt 11 benötigen Sie die alternative Prolog-Kodierung des London-Underground-Beispiels.
Ein Lösungsvorschlag.
Übungsblatt 12
Für Übungsblatt 12 benötigen Sie die Definitionen aus blatt12.pl.
Ein Lösungsvorschlag.
Übungsblatt 14
Für Übungsblatt 14 benötigen Sie die Definitionen aus blatt14.tar.gz.
Prolog-Präsenzaufgaben aus den Übungsstunden
| Präsenzübungsblatt | Datum |
|---|---|
| Präsenzübungsblatt 1 | Donnerstag, 17. Januar |
| Präsenzübungsblatt 2 | Donnerstag, 24. Januar |
| Präsenzübungsblatt 3 | Donnerstag, 31. Januar |
| Präsenzübungsblatt 4 | Donnerstag, 7. Februar |
| Präsenzübungsblatt 5 | Donnerstag, 14. Februar |
