Logic Programming SS 2020

Logic Programming

(V3 + Ü2, SS 2020)

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

Please register for the course via RWTHonline here.
The Moodle pages for the course contain all necessary information. They can be found here.
A short introductory video is here.

Language

English

Course Notes etc.

Printed course notes are available here (in German): Course Notes (Version of March 13, 2020).
Hand-written course notes will be made available after each lecture.
You can also find inofficial video recordings of the lecture in 2013 provided by Fachschaft I/1 MPI.

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:

Prerequisites from predicate logic
- Unification
- Resolution
- Horn clauses and SLD-resolution
Logic programs
- Operational and denotational semantics
- Evaluation strategies
The programming language Prolog
- Syntax and semantics
- Negation as failure
- Non-logical components of Prolog
- Programming techniques
- Applications and extensions of logic programming

References

K. R. Apt: From logic programming to Prolog, Prentice Hall, 1997.
I. Bratko: Prolog Programming for Artificial Intelligence, Addison-Wesley, 2011.
W. F. Clocksin, C. S. Mellish: Programming in Prolog, Springer, 2013.
T. Frühwirth, S. Abdennadher: Essentials of Constraint Programming, Springer, 2010.
M. Hanus: Problemlösen mit Prolog, Teubner, 1987.
J. W. Lloyd: Foundations of Logic Programming, Springer, 2013.
K. Marriott, P. J. Stuckey: Programming with Constraints, MIT Press, 1998.
P. H. Schmitt: Theorie der logischen Programmierung, Springer, 1992.
U. Schöning: Logik für Informatiker, Spektrum Akademischer Verlag, 2000.
L. Sterling, E. Shapiro: The art of Prolog, MIT Press, 2000.

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