Martin-Luther-Universität Halle-Wittenberg

Weiteres

Login für Redakteure





Logische Programierung

Gegenstände dieser Vorlesung sind die theoretischen Grundlagen der logischen Programmierung, praktische Programmierung in der Sprache Prolog sowie die Anfrageauswertung in deduktiven Datenbanken, die eine vereinfachte Variante von Prolog ("Datalog") zur Formulierung von Anfragen und Intergitätsbedingungen, sowie zur Anwendungsprogrammierung benutzen. Deduktive Datenbanken sind das Haupt-Forschungsthema von Prof. Dr. Stefan Brass. Die Vorlesung wird jedes Sommersemester angeboten. [Modulbeschreibung]

Nächstes Angebot im Sommersemester 2014.

Zum Seitenanfang