Entry requirements

Computer programming, first and second course,

Automata theory, Data structures MN1 and Logic MN1,

or equivalent knowledge and skills.

Functional programming MN1 is recommended.

Aims

To present logic programming as a different

declarative language. To present an untyped language,

and a language with an advanced, theoretically

non-deterministic control. To provide knowledge

and skills to use the language in suitable areas,

such as artificial intelligence.

Content

Parts of predicate logic can be used as programs.

Unification. Control and data flow.

Semantics, soundness and completeness.

Encoding of algorithms and data structures.

Solving search problems and constraint problems.

Implementation techniques: (meta)interpreters

and compilation; partial evaluation.

Applications.

Instruction

Lectures, guest lectures, and tutorials.

Assessment

Written exam at the end of the course. Mandatory exercises form an important part of the examination.