Name (underline surname):
Student number:
Briefly describe your programming
background, and which programming languages you know.
How familiar are you with functional programming and/or LISP?
Unknown 



Familiar

1

2

3

4

5

How familiar are you with mathematical logic (eg, predicate calculus,
derivation, resolution, ...) and/or PROLOG ?
Unknown 



Familiar

1

2

3

4

5

If there is extra time, should we spend (extra) time covering ...

Theoretical foundations (lambda
calculus, Herbrand universe, ...) 

Language extensions for
practical programming 

Constraint programming 

Bayesian belief networks and
other tools for reasoning about uncertain information 

Other (specify): 
Any other preliminary questions or comments?