Spreading excellence and disseminating the cutting edge results of our research and development efforts is crucial to our institute. Check for our educational offers for Bachelor, Master and PhD studies at the University of Innsbruck!

Advanced Topics of Web Technologies: Introduction to Logic Programming WS 2004/05

Horizontal Tabs

General information

In this lecture with tutorials you will gain hands-on experience using logic programming as a powerful formalism for declarative problem solving.

We will start with logical foundations around resolution and unification. Furthermore we will get familiar with the logic programming language PROLOG and explore its features by practical examples.

We will also explore the use of logic programming in the field of Deductive Databases where it turns out that Logic Programming also provides a powerful query language for databases.