|
in446/a234A Complex query processing
Lecturers
dr. ir. R. Sommerhalder and dr. C. Witteveen
Contents
Logic programming is a way of declarative programming, i.e. the program does not describe how
a problem must be solved, but only what the problem to be solved is. As opposed
to conventional, imperative programming languages a program does not consist of a recipe
to solve the problem, but it describes in an often simple logical language what the
relevant properties of the problem are to find a solution. In this course the
language PROLOG is used.
Text book
L. Sterling & E. Shapiro,
The Art of Prolog, Advanced Programming Techniques,
The MIT Press, 1986,
ISBN 0-262-19250-0
Teaching
Lectures (0/0/2/0)
Grading
Practical work
Credits
a234A: 1,5 + 0,5 study points
in446: 3 study points
These two courses should not be combined.
| 