Veranstaltungsmaterial

Software

• SWI-Prolog: www.swi-prolog.org (Open-Source)
• Referenzhandbuch für SWI-Prolog

Videomitschnitte der Vorlesung

Alle Videomitschnitte der Vorlesung aus dem Wintersemester 2016/2017 finden Sie hier.

Die relevanten Inhalte zur Vorbereitung auf die einzelnen Frage-und-Antwort-Runden entnehmen Sie bitte der folgenden Aufstellung.

Datum		Skript			Folien			Video
		von	bis		von	bis		Nr	Link	von	bis
13.11.2020		8	23		11	42		1	Einordnung der Logikprogrammierung	00:29:22	01:26:45
		24	40		43	89		2	Relationale Datenbanken 1	00:00:00	01:15:28
20.11.2020		40	45		90	101		3	Relationale Datenbanken 2	00:00:27	00:30:45
		46	58		102	130		3	Deduktive Datenbanken 1	00:30:35	01:28:54
27.11.2020		59	63		132	142		4	Deduktive Datenbanken 2	00:06:50	00:38:18
		64	71		143	160		4	Rekursive Datenstrukturen 1	00:38:18	01:20:08
4.12.2020		71	77		161	173		5	Rekursive Datenstrukturen 2	00:02:50	00:55:23
		78	82		174	189		5	Arithmetik, funktional	00:55:23	01:28:43
11.12.2020		82	93		190	216		6	Rekursive Arithmetik	00:04:52	01:00:05
		95	100		217	228		6	Verkettete Listen 1	01:00:05	01:29:45
18.12.2020		100	107		229	242		7	Verkettete Listen 2	00:05:27	00:44:27
		--	--		--	--		7	Exkurs: append in der funktionale Programmierung (nur für Interessenten)	00:44:27	00:50:17
		106	107		241	242		7	Verkettete Listen 2a	00:50:17	00:51:23
		107	111		243	252		7	Standardprädikate zur Listenverarbeitung 1	00:51:23	01:23:05
		112	112		253	254		8	Standardprädikate zur Listenverarbeitung 2	00:02:27	00:05:48
8.1.2021		113	123		255	290		8	Anwendungen der Listenverarbeitung 1	00:05:49	01:24:49
		123	124		291	292		9	Anwendungen der Listenverarbeitung 2	00:00:00	00:07:00
15.1.2021		125	133		293	314		13	Differenzlisten 1	00:35:10	01:27:35
		133	136		315	322		14	Differenzlisten 2	00:08:05	00:27:25
		136	145		323	346		14	Definite Clause Grammar	00:27:25	00:58:35
22.1.2021		146	151		351	365		9	Prolog-Datentypen	00:07:00	00:28:21
		151	154		366	375		9	Variableninstanziierung	00:28:21	00:41:20
		155	160		376	390		9	Suchraummanipulation	00:41:20	01:09:11
		161	161		391	392		9	Nebeneffekte	01:09:11	01:16:50
		161	164		393	396		9	Prädikate höherer Ordnung, Überblick, call	01:16:50	01:27:13
		164	165		397	401		10	Negation	00:04:53	00:11:35
29.1.2021		165	168		402	429		10	Steuerstrukturen, Resultatsaggregation	00:11:35	00:49:26
		169	176		430	436		10	Metaprogrammierung	00:49:26	01:07:55
		177	--		437	--		10	Ablaufprotokollierung 1	01:07:55	01:19:15
		--	179		--	444		11	Ablaufprotokollierung 2	00:07:00	00:16:25
		179	181		445	450		11	Zyklenüberwachung	00:16:25	00:27:49
5.2.2021		194	207		484	513		11	Interpreter für funktionale Programme 1	00:27:50	01:33:00
		208	213		514	525		12	Interpreter für funktionale Programme 2	00:20:35	00:48:40
		213	215		526	530		12	Rekursive Funktionen	00:48:40	01:12:55
12.2.2021		215	217		531	535		12	Funktionen höherer Ordnung 1	01:12:55	01:27:20
		213	218		536	539		13	Funktionen höherer Ordnung 2	00:02:35	00:21:00
		220	221		540	541		13	Funktionen höherer Ordnung 2	00:21:20	00:34:55

Übungsaufgaben

• Übungsblatt 0 (Jetzt mit korrektem Datum)
• Übungsblatt 1 (Jetzt mit korrektem Datum)
• Übungsblatt 2
• Übungsblatt 3
• Übungsblatt 4 (Datum und Aufgabennummerierung korrigiert)
• Übungsblatt 5
• Übungsblatt 6 (Informationen zur Einbindung von XPCE aktualisiert; 17.12.2020) Bitte beachten Sie hierzu auch die Beispiele in unserer Bildergalerie!
• Übungsblatt 7
• Übungsblatt 8
• Übungsblatt 9
• Übungsblatt 10
• Übungsblatt 11
• Übungsblatt 12

Gelungene Beispiellösungen

Programme und Daten

• familie.pl
• haeuser.pl
• medien.pl
• medien2.pl
• fluss.pl
• read_sent.pl
• grafik.pl (Einbindung von XPCE ergänzt; 17.12.2020)
• display.pl
• texte.pl (in UTF-8)

-- WolfgangMenzel - 17 Dec 2020