piwik-script

Deutsch Intern
    Chair of Computer Science I - Algorithms, Complexity, and Knowledge-Based Systems

    New Lecture "Logic Programming" in Winter Term 2018/19

    09/09/2018

    The working group of Prof. Seipel offers a new lecture called for Logic Programming in the upcoming winter term.

    Logo of "Playing with Prolog", www.youtube.com/channel/UCfWpIHmy5MEx2p9c_GJrE_g

    The lecture Logic Programming introduces the alternative, logic-relational programming paradigm. Here, applications are defined by its appropriate rules in form of Horn clauses. Its top-down execution and the SLD resolution are basis for the most popular logic programming language Prolog, which is presented as part of this lecture. It is a good complement for the lecture Deductive Databases, which instead covers the bottom-up execution of Datalog clauses in deductive database systems.

    The lecture covers both formal and practical aspects. It is to be addressed to Master students of Computer Science (5 ECTS). The topic was formerly part of the lecture Deductive Databases, which was just offered this summer term as a 5 ECTS lecture instead of the previous 8 ECTS. The lecture is given by Prof. Seipel on Tuesday 2pm in SE 10 (formerly library of Physics).

    The exercises help to gain practical experience with one of the most important declarative programming language. They consist of theoretical and programming tasks. The exercises are supervised by Falco Nogatz, every Thursday at 10am in SE 10. Besides Prolog, advanced concepts like Constraint Logic Programming (CLP) and Constraint Handling Rules (CHR) are introduced.

    Back

    Data privacy protection

    By clicking 'OK' you are leaving the web sites of the Julius-Maximilians-Universität Würzburg and will be redirected to Facebook. For information on the collection and processing of data by Facebook, refer to the social network's data privacy statement.

    Data privacy protection

    By clicking 'OK' you are leaving the web sites of the Julius-Maximilians-Universität Würzburg and will be redirected to Twitter. For information on the collection and processing of data by Facebook, refer to the social network's data privacy statement.

    Contact

    Lehrstuhl für Informatik I (Effiziente Algorithmen und wissensbasierte Systeme)
    Am Hubland
    97074 Würzburg

    Phone: +49 931 31-85054
    Email

    Find Contact

    Hubland Süd, Geb. Z8
    Hubland Süd, Geb. Z8
    Hubland Süd, Geb. M2
    Hubland Süd, Geb. M2