Entry requirements

Methods of programming DV1, Automata theory DV1,

Algorithms and data structures DV1 and DV2,

Logic and proof techniques DV1.

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.