This page in English  Lehr- und Forschungsgebiet Informatik II  Fachgruppe Informatik RWTH

Logikprogrammierung

(V4 + Ü2, SS 2006)

LuFG Informatik II
Art Termine/Ort Beginn
Veranstalter
V4 Di 10:00 - 11:30 AH III 4.4.06
Prof. Dr. Jürgen Giesl
  Fr 10:00 - 11:30 AH II 7.4.06
 
Ü2 Mi 11:45 - 13:15 AH II 5.4.06
Prof. Dr. Jürgen Giesl, Peter Schneider-Kamp, René Thiemann



Aktuelles


Inhalt

Neben einer kurzen Einführung in die Sprache Prolog behandelt diese Vorlesung die Grundlagen der logischen Programmierung, logische Programmiertechniken, die Implementierung von Logiksprachen sowie den Einsatz logischer Programmiersprachen in verschiedenen Anwendungsbereichen. Im Einzelnen werden folgende Themen besprochen:

Sprache

deutsch

Literatur


Zuordnung

Theoretische Informatik, Informatik Vertiefung


Software

Um Prolog-Programme zu erstellen, kann das SWI Prolog System verwendet werden:

Eine Alternative zu SWI-Prolog ist GNU Prolog:

Übungen

Für den Übungsschein müssen 50% der Punkte in den Übungen erreicht werden und die Scheinklausur muss bestanden werden. Den Erwerb eines Übungsscheines empfehlen wir sehr, da dies eine gute Vorbereitung für die Diplomprüfung darstellt. Die Übungsblätter sollen in Zweiergruppen bearbeitet werden und werden jeweils am Mittwoch vor Beginn der Übung eingesammelt.

Um am Übungsbetrieb teilnehmen zu können, melden Sie sich bitte hier elektronisch an.


Folien

Hier sind die in der Vorlesung verwendeten Folien erhältlich.
Last modified: Fri Jul 2 18:49:18 CEST 2004 / Lehr- und Forschungsgebiet Informatik II
RWTH Aachen