Logic programming

MTAT.05.103
lecturer Tõnu Tamme, 6 ECTS

Teaching in autumn 2016


Lecture assignments

  1. interpretation (02 Sept, deadline 09 Sept)
  2. classify clauses (09 Sept, deadline 16 Sept)
  3. convert to clauses (16 Sept, deadline 23 Sept)
  4. Herbrand domain (23 Sept, deadline 30 Sept)
  5. prove using ground instantiation G(P) (30 Sept, deadline 07 Oct)
  6. resolution for propositional logic (07 Oct, deadline 14 Oct)
  7. substitutions (14 Oct, deadline 21 Oct)
  8. resolution for predicate logic (21 Oct, deadline 28 Oct)
  9. SLD-resolution (28 Oct, deadline 04 Nov, extended 11 Nov)
  10. unification (04 Nov, deadline 18 Nov)
  11. occur-check & cut (18 Nov, deadline 25 Nov)
  12. Herbrand interpretations and models (25 Nov, deadline 02 Dec)
  13. partial evaluation of programs (02 Dec, deadline 09 Dec)
  14. unfolding programs (09 Dec, deadline 16 Dec)
  15. closed-world assumption (16 Dec, deadline 23 Dec)

Prolog exercises

  1. family (30 Aug, deadline 06 Sept)
  2. shifted keyboard (06 Sept, deadline 13 Sept)
  3. ASCII flower (13 Sept, deadline 20 Sept)
  4. similar registration numbers (20 Sept, deadline 27 Sept)
  5. idcode (27 Sept, deadline 04 Oct)
  6. puzzle (04 Oct, deadline 11 Oct)
  7. equation (11 Oct, deadline 18 Oct)
  8. truthtable (18 Oct, deadline 25 Oct, extended 01 Nov)
  9. Dr. Google (01 Nov, deadline 08 Nov)
  10. LP test (08 Nov, deadline 15 Nov)
  11. triple (15 Nov, deadline 22 Nov)
  12. logic engine (22 Nov, deadline 29 Nov)
  13. water jars (29 Nov, deadline 06 Dec)
  14. CS thesis (06 Dec, deadline 13 Dec)
  15. game (13 Dec, deadline 20 Dec)

Presentations

Choose the topic from the papers of some recent LP conference. Send me the title and the date of presentation (deadline Sept 30 2016). The presentations are about 60 minutes. You can also propose your own topic and find some relevant papers to support it.

  1. Paul Tarau. On Type-directed Generation of Lambda Terms (Liisi Kerik, 30 Sept 2016)
  2. Kacper Sokol and Peter Flach. Activity recognition in multiple contexts for smart-house data (Marika Reinmets, 04 Nov 2016)
  3. Parsing using difference lists (Raman Shapaval, 11 Nov 2016)
  4. Development of lexical analyzer in Prolog (Dmytro Tkachuk, 02 Dec 2016)

Literature

Free books

Prolog software on the computers of University of Tartu


© 2008–2016 Tõnu Tamme

Last change 16 Dec 2016