Bilder vom Neuenheimer Feld, Heidelberg und der Universität Heidelberg

Lehrveranstaltungen
HISPOS und LSF
Signup	FAQ
Fachschaft	Ressourcen

V/Ü Prolog

Tutoriumsseite

Leiter: Kurt Eberle
Tutor: Christian Simon
Zeit: Do, 11:15 - 12:45
Ort: INF 325, SR 24
Kontakt: eberle@cl.uni-heidelberg.de - bitte unbedingt an diese Adresse mailen, da andere emails evtl. nicht archiviert werden!
Hausaufgaben unbedingt und ausschließlich an:: prolog@cl.uni-heidelberg.de

Lernziel: Verständnis für das Design von Prolog als 'Programmieren in Logik', entwickeln, die Grundprinzipien und Grundelemente von Prolog kennen und einfache Programme vor allem für exemplarische linguistische Aufgabenstellungen schreiben können

Verlauf:

Zur Vertiefung und zum Einüben des Stoffes gibt es Hausaufgaben.

In der letzten Stunde gibt es eine Klausur.

Um einen Schein zu erhalten, muss die Klausur bestanden werden. Die Klausur kann mitschreiben wer 80 % der Hausaufgaben bearbeitet und 50 % der insgesamt möglichen Punkte erreicht hat.

Unterlagen: Literatur , Links

Klausurergebnis:

Die Damen und Herren, die sich hinter folgenden Matrikelnummern verbergen, haben die Klausur bestanden. Herzlichen Glückwunsch!

2302411,2274519,1866913,2424664

2481505,2322514,2481818,2424639

2440480,2350170,2373170,239773

2289465,2094782,2437672,2235739

2274901,2479301,2493960,2500590

2446472,2415606,2508483,2447561

Klausurzulassung:

Die Damen und Herren, die sich hinter folgenden Matrikelnummern verbergen, sind zur Klausur zugelassen:

1866913,2094782,2235739,2274519

2274901,2289465,2294254,2302411

2322514,2350170,2373170,2390885

2397733,2415606,2424639,2424664

2437672,2440480,2446472,2447561

2479301,2481505,2481818,2493960

2500590,2508483,2571318

Plan:

Material: (Datum anklicken)		Aufgaben	Lösungen
27.04	Prolog-Design: Fakten, Fragen, Regeln	Aufgabe1
04.05	Programming in Logic: Prädikatenlogik, Hornlogik	Aufgabe2
11.05	Beweisverfahren : Resolution, Unifikation, Rekursion	Aufgabe3
18.05	Prolog-Datentypen: Atomare Terme, Variablen, komplexe Terme	Aufgabe4
01.06	Listen	Aufgabe5
08.06	Beweisverfahren: Kontrolle, Regelanordnung, Backtracking, Cut	Aufgabe6
22.06.	Interpretation: negation by failure, prozedurale Built-in-Prädikate	Aufgabe7
29.06.	Meta-Programmierung	Aufgabe8
06.07	Anwendungen: Definite Clause Grammars	Aufgabe9
13.07.	Anwendungen: Satzrepräsentationen	Aufgabe 10
20.07.	Wiederholung
27.07.	Klausur