slides

Logic Programming Engineering
Tutorial (0/2/0)
Sascha Kl¨
uppelholz
Theoretical Computer Science
Chair for Algebraic and Logical Foundations of Computer Science
October 20th, 2014
1 / 10
About this tutorial
General information
Prolog programming tutorial using SWI Prolog
supplementing the course Foundations of Logic
Programming (Prof. Rudolph, Dr. Gaggl)
advanced programming techniques in Prolog
for building complex applications
2 / 10
About this tutorial
General information
Prolog programming tutorial using SWI Prolog
supplementing the course Foundations of Logic
Programming (Prof. Rudolph, Dr. Gaggl)
advanced programming techniques in Prolog
for building complex applications
Schedule
December 1st, 2014, 2nd DS: first regular
tutorial (revision course on foundations)
Mondays 2nd and 3rd DS?
3 / 10
Preliminaries for the first regular tutorial
4 / 10
Preliminaries for the first regular tutorial
foundations of logic programming, e.g.,
Lecture and tutorial Foundations of Logic Programming
Book of Krzysztof R. Apt. From Logic Programming to Prolog.
Prentice Hall 1997.
5 / 10
Preliminaries for the first regular tutorial
foundations of logic programming, e.g.,
Lecture and tutorial Foundations of Logic Programming
Book of Krzysztof R. Apt. From Logic Programming to Prolog.
Prentice Hall 1997.
foundations of SWI Prolog, e.g.,
SWI webpage http://www.swi-prolog.org/
6 / 10
Preliminaries for the first regular tutorial
foundations of logic programming, e.g.,
Lecture and tutorial Foundations of Logic Programming
Book of Krzysztof R. Apt. From Logic Programming to Prolog.
Prentice Hall 1997.
foundations of SWI Prolog, e.g.,
SWI webpage http://www.swi-prolog.org/
administrative issues:
1
register using the printed form.
7 / 10
Preliminaries for the first regular tutorial
foundations of logic programming, e.g.,
Lecture and tutorial Foundations of Logic Programming
Book of Krzysztof R. Apt. From Logic Programming to Prolog.
Prentice Hall 1997.
foundations of SWI Prolog, e.g.,
SWI webpage http://www.swi-prolog.org/
administrative issues:
1
register using the printed form.
2
visit the website
http://wwwtcs.inf.tu-dresden.de/ALGI/LPE1415/
and register for the mailing list.
8 / 10
Preliminaries for the first regular tutorial
foundations of logic programming, e.g.,
Lecture and tutorial Foundations of Logic Programming
Book of Krzysztof R. Apt. From Logic Programming to Prolog.
Prentice Hall 1997.
foundations of SWI Prolog, e.g.,
SWI webpage http://www.swi-prolog.org/
administrative issues:
1
register using the printed form.
2
visit the website
http://wwwtcs.inf.tu-dresden.de/ALGI/LPE1415/
and register for the mailing list.
3
essential for December 1st: working ZIH account
9 / 10
Preliminaries for the first regular tutorial
foundations of logic programming, e.g.,
Lecture and tutorial Foundations of Logic Programming
Book of Krzysztof R. Apt. From Logic Programming to Prolog.
Prentice Hall 1997.
foundations of SWI Prolog, e.g.,
SWI webpage http://www.swi-prolog.org/
administrative issues:
1
register using the printed form.
2
visit the website
http://wwwtcs.inf.tu-dresden.de/ALGI/LPE1415/
and register for the mailing list.
3
essential for December 1st: working ZIH account
contact: Sascha Kl¨
uppelholz, [email protected]
10 / 10

Download Report