Lecture | Information Systems

Information Systems Development: Logic Specification and Programming


This course introduces into the concepts of Logic Programming (Prolog, Constrained Solving, Busines Rules Management Systems, Temporal Logics and Model Checking, Datalog and Deductive Databases)

Learning outcomes

Academic: The students learn to specify complex real-world relationships using logic and to transform such a specification into an executable logic program possibly including constraints or to handle it using model checking. Soft skills: The exercises are solved in teams of 3-5 students. Hence, the students get some experience with teamwork.