dp-home
Declarative programming (course in English)
Spring 2008
BMETKVIB422
dp-current

This page contains information about the course held in English.

New exam date! Check below.

General information

Midterm exams

Exams

Consultations

  1. Prolog basics (data structures, canonical form, lists, unification, execution mechanism)
  2. Prolog basics continued (non-deterministic predicates)
  3. Handling runs in Prolog (list partitioning)
  4. SML basics (pattern matching, return values, simple expressions)
  5. SML basics continued (type inference, higher-order functions)
  6. Handling runs in SML
  7. Solved a midterm paper from the past
  8. Solved another midterm paper from the past
  9. Midterm exam
  10. Worked on the aseqs function from above
  11. Prolog practices
  12. Midterm exam retake

Lecture notes, slides, programming examples for downloading

Free (freely downloadable or on-line) books and other documentation on Prolog and SML

Software (SML and Prolog interpreters, compilers) to download