Die Vorbesprechung findet am Dienstag, den 14. Oktober, um 14-16 Uhr im Raum O27/121 statt.

Die logische Programmierung basiert auf der mathematischen Logik und zählt zum deklarativen Programmierparadigma. Programme werden nicht als Folge von Anweisungen, sondern als eine Menge von Fakten und Regeln angegeben. Durch ihre Nähe zur formalen Logik wird die logische Programmierung besonders für mathematische Probleme, sowie für Probleme aus der künstlichen Intelligenz, Datenbanken und Expertensysteme verwendet. Auch in der Computerlinguistik gibt es zahlreiche Anwendungen.

Das Projekt beschäftigt sich mit einer semesterspezifischen Problemstellung,
welche für eine logik-basierte Lösung
aufbereitet werden soll.

Die Themen sind an der aktuellen Forschung der CHR-Forschungsgruppe angelehnt.
Eigene Themenvorschläge können ebenfalls nach Absprache berücksichtigt werden.

Folien der Einführungsveranstaltung