Vorlesungen: Raum INFE006 11.10 -
12.40 h (3. DS), 14-täglich
12.10.11 1.
Vorlesung: Einleitung,
Logikprogrammierung mit einfachen Daten,
Abarbeitung
von Prolog-Programmen
26.10.11 2. Vorlesung: Listen
Disjunktion in Prolog (Traceprotokolle)
09.11.11 3. Vorlesung: Boxmodell,
Debugger, Negation als Fehlschlag
Trace-Protokolle: Negation als Fehlschlag.htm
30.11.11 4. Vorlesung: Syntax von
Prolog , Rekursion, Beispiele zur Arbeit mit Listen,
Akkumulatoren
Hausaufgabe:
Erstellen Sie ein Prolog-Programm für
den Durchschnitt zweier Mengen, die als
Listen L1 und L2
gegeben sind.
14.12.11 5. Vorlesung: Backtracking,
Cut
04.01.12 6. Vorlesung: Unifikation
von Termen, Suchstrategien, Finden aller Lösungen
18.01.11
7. Vorlesung: Systemprädikate (Input/Output)
Praktische Übungen: Raum INFE040, 11.10 - 12.40 h (3. DS), 14-täglich
19.10.11 Praktikum 1- Einführung: Fakten, Datenbank,
Anfragen,
Regeln, Trace-Kommando
Datenbank für
Praktikum 1: familien.pl
Lösungen für
Praktikum 1: pp11loesung1.pl
02.11.11 Praktikum 2 -
Listen, rekursiv definierte Regeln
Datenbank für
Praktikum 2: lfamilien.pl
Lösungen für
Praktikum 2: pp11loesung2.pl
zusätzliche Lösungshinweise
zum 2. Praktikum: HinweisePrakt2.pdf
(Christopher
Schildt)
23.11.11 Praktikum 3 - Listen und Rekursion II
07.12.11: Praktikum 4 –
Akkumulator, Backtracking
Zusatzaufgabe 4.4
21.12.11: Praktikum 5 – Cut, Tiefe-zuerst-Suche
11.01.12: Praktikum 6 –
Breitensuche
Finden aller
Lösungen: bagof_setof_findall.pl
25.01.12: Praktikum 7 –
Systemprädikate (Input/Output)
01.02.12: Praktikum 8 –
Systemprädikate – Teil 2
Prolog-Kurs: Göhner,
H. / Hafenbrak, B.: Arbeitsbuch Prolog
Ulle Endriss:
An Introduction
to Prolog Programming
Hinweis: Wie startet man
SWI-Prolog unter Windows im FRZ?
SWI-Prolog: Homepage
von SWI-Prolog
(Download von aktuellen Versionen von SWI-Prolog)
Download der Version 5.10.5 (Windows)
Download
der Version 5.10.3 (586-Linux, TAR.GZ package)
Hilfe:
SWI-Prolog-Handbuch
5.10.5 (PDF)
XPCE-Graphic-Handbuch
6.6.37 für SWI-Prolog (PDF)
SWI-Prolog-Editor: Homepage
des SWI-Prolog-Editors (Download der
Version 4.10)
Last modified: 01.02.12, wn1@inf.tu-dresden.de