Loogiline programmeerimine

MTAT.05.103
lektor Tõnu Tamme, 6 eap

Õppetöö 2010. a. sügissemestril

• loengud
  • E 10–12 L. 315
  • N 8–10 L. 404
  loengute aluseks on Uwe Schöningi raamat
• ettekanded
• loengülesanded
• Prologi ülesanded
• kirjandus
• Prolog
• hinne (20 % ettekanne, 5 % ettekannete kuulamine, 25 % Prologi ülesanded, 25 % loenguülesanded, 25 % eksam)
  
• eksam 12.01.2011 kell 12.15–15.00 Liivi 2-202

1. normaalkujud (2. sept., järgmiseks loenguks)
2. märkimisalgoritm (9. sept., tähtaeg 13. sept.)
3. süsihape (13. sept., tähtaeg 16. sept.)
4. kompaktsusteoreem (16. sept., tähtaeg 20. sept.)
5. kompaktsusteoreem: näide (23. sept., tähtaeg 27. sept.)
6. resolutsioon (27. sept., tähtaeg 30. sept.)
7. resolutsioonipuu (7. okt., tähtaeg 14. okt.)
8. tõlkimislemma (18. okt., tähtaeg 21. okt.)
9. prefikskuju algoritm (25. okt., tähtaeg 1. nov.)
10. Skolemi teisendus (4. nov., tähtaeg 8. nov.)
11. Posti vastavusprobleem (8. nov., tähtaeg 15. nov.)
12. poollahenduvus (25. nov., tähtaeg 29. nov.)
13. kinnine resolutsioon (29. nov., tähtaeg 2. dets.)
14. unifitseerimisalgoritm (6. dets., tähtaeg 9. dets.)
15. tõstmislemma (9. dets., tähtaeg 13. dets.)
16. resolutsioon (13. dets., tähtaeg 16. dets.)

Prologi ülesanded

1. knk (2. sept., tähtaeg 9. sept., pikendatud 16. sept.)
2. kehtestatav (13. sept., tähtaeg 23. sept.)
3. tautoloogia (23. sept., tähtaeg 30. sept., pikendatud 4. okt.)
4. programmeerimine aritmeetikas (4. okt., tähtaeg 11. okt.)
5. kalorikalkulaator (14. okt., tähtaeg 25. okt., pikendatud 28. okt.)
6. induktiivne programmeerimine (1. nov., tähtaeg 11. nov.)
7. programmi transleerimine (11. nov., tähtaeg 22. nov., pikendatud 25. nov.)
8. mäng (22. nov., tähtaeg 2. dets., pikendatud 6. dets.)
9. mängu täiustamine (6. dets., tähtaeg 16. dets.)

Ettekanded

Valige teemad konverentsi ICLP2010 artiklite hulgast (2010 Volume 10, Special Issue 4–6, 26th International Conference on Logic Programming). Teatage mulle ettekande pealkiri ja millal soovite seda esitleda. Ettekande pikkus on umbes 60 minutit.

1. Test case generation for object-oriented imperative languages in CLP. (Alisa Pankova, 20. sept.)
2. Applying Prolog to develop distributed systems. (Sergei Laada, 27. sept.)
3. Towards closed world reasoning in dynamic open worlds. (Aleksei Loos, 4. okt.)
4. Using Generalized Annotated Programs to Solve Social Network Optimization Problems. (Janar Lokk, 11. okt.)
5. Testing and debugging techniques for answer set solver development. (Allan Reinhold, 18. okt.)

Kirjandus

• Uwe Schöning. Logic for computer scientists. Birkhäuser, 1989.
• John W. Lloyd. Foundations of logic programming. 2nd edition. Springer-Verlag, 1987.
• Krzysztof R. Apt. From logic programming to Prolog. Prentice Hall, 1997.
• Kees Doets. From logic to logic programming. MIT, 1994.
• Ivan Bratko. Prolog programming for artificial intelligence. 3rd edition. Addison-Wesley, 2001.
• D. L. Bowen (ed.), L. Byrd, F. C. N. Pereira, L. M. Pereira, D. H. D. Warren.
  DECsystem-10 Prolog user's manual. 1982.
• Mare Koit. Resolutsioonimeetod. Tartu, 1989.
• Tõnu Tamme, Tanel Tammet, Rein Prank. Loogika: mõtlemisest tõestamiseni. Tartu, 1997, 2002.
• Tõnu Tamme. Loogilise programmeerimise meetod. Tartu, 2003.
• Tõnu Tamme. Prologi kursus lingvistidele. 1998.

Vabad raamatud

• Robert Kowalski. Logic for problem solving. North-Holland, 1979. (pdf)
• Dennis Merritt. Building expert systems in Prolog. Springer-Verlag, 1989. (html, pdf)
• Ulf Nilsson, Jan Maluszynski. Logic, programming and Prolog. Wiley, 1st edition 1990, 2nd edition 1995, 2000. (pdf)
• Dennis Merritt. Adventure in Prolog. Springer-Verlag, 1990. (html)
• Hassan Ait-Kaci. Warren's abstract machine: a tutorial reconstruction. MIT, 1991, 1999. (ps, pdf)
• Michael Spivey. An introduction to logic programming through Prolog. Prentice Hall, 1996, 2002. (ps)
• Patrick Blackburn, Johan Bos, Kristina Striegnitz. Learn Prolog now! 2001. (html)
• Steve Reeves, Mike Clarke. Logic for computer science. Addison Wesley, 1990. (pdf)
• Jean Gallier. Logic for computer science: foundations of automatic theorem proving. Wiley & Sons, 1986. (2003, ps, pdf)

Ülikooli serveritele on installeeritud

• pl (SWI-Prolog)

© 2008–2010 Tõnu Tamme