Logic Specification and Programming (WS 2017/18)


Course Number
040046

Field(s) of Study
Master

University Calendar

Learnweb Platform

Type
Lecture/Exercise

Course Language
englisch


Course schedule

Day Time Frequency Date Room
Monday 10:00- 12:00 weekly 09.10.2017- 02.02.2018 Leonardo-Campus 18, LEO 18.3
Friday 08:00- 10:00 weekly 13.10.2017- 02.02.2018 Leonardo-Campus 18, LEO 18.3

Description

It will be shown, how to express real-world facts and their relationships in logic and how to transform a corresponding specification into an executable Prolog program. Moreover, the features of the logic programming language Prolog will be explained, including rules, unification, SLD-resolution, and backtracking. Moreover the use of a constraint solver from Prolog will be treated.

Business rules management systems such as Drools enable the expression of volatile business logic and their integration into an information system. Such systems and the way they evaluate rules will be presented.

Moreover, it will be taught, how to express temporal relationships by temporal logics such as CTL and LTL. Then, it will be shown, how to automatically check information systems for compliance with a temporal specification by using a model checker.

Finally, the logic query language Datalog will be discussed and it will be shown how to infer information from a deductive database.

Literature

to be announced

Lecturers

  • Prof. Dr. Herbert Kuchen (responsible)