Logic Specification and Programming (WiSe 2021/22)

Course Number

Field(s) of Study

University Calendar

Learnweb Platform


Course Language

Course schedule

Day Time Frequency Date Room
Monday 10:00- 12:00 weekly 11.10.2021- 31.01.2022 Leonardo-Campus 18, LEO 18.3
Friday 08:00- 10:00 weekly 15.10.2021- 04.02.2022 Leonardo-Campus 18, LEO 18.3


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.


to be announced


  • Prof. Dr. Herbert Kuchen (responsible)
  • Jonathan Neugebauer (accompanying)