Loogilise programmeerimise meetod

(Logic Programming Techniques)

MTAT.05.086
lektor Tõnu Tamme, 3 eap
lõpeb arvestusega (õppetöö: 8L+8P)

Probleemide loogiline kirjeldamine keeles Prolog.

• õppetöö kontrolltöö arvestus
• kirjandus Prologi käivitamine KKK Prologid

• loengud K 14 aud. 403 (üle nädala)
• praktikumid
  K 14 –/1.rühm 203 (üle nädala)
  R 12 3./2.rühm 203
  
• kontrolltöö
• materjalid on väljas WebCT õpikeskkonnas
• arvestuseks on vaja koguda üks kahest:
  • harjutusülesannete, testide ja lisaülesannete eest 55 punkti 80-st
  • harjutusülesannete, testide, lisaülesannete ja kontrolltöö eest 61 punkti
  Kontrolltöö eest saab kuni 60 punkti.

• ülesanded

• kirjandus
  • Tõnu Tamme. Loogilise programmeerimise meetod. Tartu, 2003.
  • Tõnu Tamme. Prologi kursus lingvistidele. August 1998. (pdf)
  • Tõnu Tamme, Tanel Tammet, Rein Prank. Loogika: mõtlemisest tõestamiseni. Tartu, 1997, 2002.
  • Jaak Henno. Prolog ja Olümpose jumalad. Tallinn, 2004.
  • Patrick Blackburn, Johan Bos, Kristina Striegnitz. Learn Prolog now! 2001. (html, ps, pdf)
  • David Bowen (ed.), Lawrence Byrd, Fernando Pereira, Luis Pereira, David Warren.
    DECsystem-10 Prolog user's manual. 1982.
  • Ivan Bratko. Prolog programming for artificial intelligence. 3rd edition. Addison-Wesley, 2001.

• Ülikooli serveritele on installeeritud
  • pl (SWI-Prolog)

• Korduma Kippuvad Küsimused (FAQ)
  • news:comp.lang.prolog
• muid materjale
  • Prolog tutorial at Amzi!
  • WWW virtual library: Logic Programming
• Kust saab hankida Prologi?
  • SWI-Prolog (MS Windows, Linux jne.)
  • GNU Prolog
  • ECLiPSe
  • Amzi! Prolog
  • LPA Prolog
  • SICStus Prolog (Quintus Prolog)
  • Strawberry Prolog
  • YAP

© 2002–2010 Tõnu Tamme