Diese Seite auf Deutsch  Research Group Computer Science 2  Dept. of Computer Science RWTH

Logic Programming

(V3 + Ü2, SS 2020)

LuFG Informatik 2
Course Times/Room Instructor
V3 Mon 16:30 - 18:00 AH 4 (Starting online on April 6) Prof. Dr. Jürgen Giesl
  Thu 16:30 - 18:00 AH 1  
Ü2 Mon 12:30 - 14:00 AH 4 Prof. Dr. Jürgen Giesl, Daniel Cloerkes, Marcel Hark, Dominik Meier


If you have any questions, please contact us via lp20@i2.informatik.rwth-aachen.de.

Registration and Moodle Learning Environment


Language

English


Course Notes etc.


Contents

In addition to a short introduction to the programming language Prolog, the lecture deals with the foundations of logic programming, with programming techniques in these languages, with the implementation of logic programming languages, and with their application in several areas. More precisely, these are the topics of the lecture:


References


Area

Theoretical Computer Science, Theoretical Foundations of SSE (Core Subjects)


Software

To write Prolog-programs, we recommend the SWI Prolog System.

An alternative to SWI-Prolog is GNU Prolog:
Disclaimer   Research Group Computer Science 2  Dept. of Computer Science RWTH