Logic Programming SS 2008

Logic Programming
(V3 resp. 4 + Ü2, SS 2008)
LuFG Informatik 2

Course Times/Room Begin
Instructor

V3 resp. 4 Mon 15:45 - 17:15 AH 3
Prof. Dr. Jürgen Giesl

Fri 10:00 - 11:30 AH 2

Ü2 Wed 11:45 - 13:15 AH 2
Prof. Dr. Jürgen Giesl, Stephan Swiderski

Course	Times/Room	Instructor
V3 resp. 4	Mon 15:45 - 17:15 AH 3	Prof. Dr. Jürgen Giesl
	Fri 10:00 - 11:30 AH 2
Ü2	Wed 11:45 - 13:15 AH 2	Prof. Dr. Jürgen Giesl, Stephan Swiderski

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

Language

The course is given in German.

References

K. R. Apt: From logic programming to Prolog, Prentice Hall, 1997.
I. Bratko: Prolog Programming for Artificial Intelligence, Addison-Wesley, 2001.
W. F. Clocksin, C. S. Mellish: Programming in Prolog, Springer, 2003.
M. Hanus: Problemlösen mit Prolog, Teubner, 1987.
J. W. Lloyd: Foundations of Logic Programming, Springer, 1987.
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.

Disclaimer

Research Group Computer Science 2

Dept. of Computer Science

Contents

Language

References