Kursen ges i år av Leif-Jöran Olsson (LJO),
ljo@stp.ling.uu.se, rum 9-3046,
samt labbassistenterna Mattias Lingdell (ML) matling@stp.ling.uu.se och Axel Hjälm (AH), axelh@stp.ling.uu.se.
Kursens mål är att ge grundläggande kunskaper i logikbaserade
programmeringsmetoder, problemanalys, och att uppöva färdighet
i högnivåbeskrivningar och resonemang med hjälp av deklarativ
programmering.
Undervisningen består av föreläsningar, laborationer, handledning,
samt presentationer och diskussioner av inlämningsuppgifter.
| F1 | må 9 apr | 12-14 | 16-0043 | Introduktion; dataobjekt | kap 1--2.4 |
| L1a | ti 10 apr | 10-12 | 9-3036 | Prolog och Emacs - grupp ett | |
| L1b | on 11 apr | 13-15 | 9-3036 | Prolog och Emacs - grupp två | |
| F2 | må 23 apr | 12-14 | 16-0043 | Generell sökstrategi och unifiering
Problemlösning, Kursprojektgrupper | |
| L2b | on 25 apr | 13-15 | 9-3036 | Sökrymder och unifiering - grupp två | |
| L2a | to 26 apr | 13-15 | 9-3036 | Sökrymder och unifiering - grupp ett | |
| F3 | fr 27 apr | 14-16 | 16-0043 | Listor, operatorer och aritmetik
Presentation av kursprojektsuppgifter | kap 3 |
| L3a | on 2 maj | 13-15 | 9-3036 | Listor och aritmetik - grupp ett | |
| H1 | to 3 maj | 10-12 | 9-3035! | Handledning 1 | |
| L3b | to 3 maj | 13-15 | 9-3036 | Listor och aritmetik - grupp två | |
| F4 | fr 4 maj | 14-16 | 16-0043 | Inmatning, utmatning och några andra inbyggda predikat | kap 6, 7 |
| L4b | ti 8 maj | 10-12 | 9-3036 | Inmatning, utmatning och några andra inbyggda predikat - grupp två | |
| L4a | on 9 maj | 10-12 | 9-3036 | Inmatning, utmatning och några andra inbyggda predikat - grupp ett | |
| FE | on 9 maj | 14-16 | 16-0043 | Några fler inbyggda predikat
Kontroll av backning och effektivitet | kap 5, 7(forts) |
| L5a | må 14 maj | 10-12 | 9-3036 | Fler inbyggda predikat och kontroll av backning - grupp ett | |
| L5b | ti 15 maj | 10-12 | 9-3036 | Fler inbyggda predikat och kontroll av backning - grupp två | |
| H2 | on 16 maj | 10-12 | 9-3036 | Handledning 2 | |
| F6 | to 17 maj | 12-14 | 16-0043 | Programmeringsmetodik: Abstraktion, datastrukturer, problemanalys och förenkling/generalisering | kap 4, 8.1-8.4 |
| L6b | må 21 maj | 10-12 | 9-3036 | Programmeringsmetodik och repetition - grupp två | |
| L6a | ti 22 maj | 10-12 | 9-3036 | Programmeringsmetodik och repetition - grupp ett | |
| F7 | on 23 maj | 10-12 | 16-0043 | Operationer på datastrukturer
Definite Clause Grammar | kap 9.2, 9.5, 21.1 |
| H3 | on 23 maj | 13-15 | 9-3036 | Handledning 3 | |
| H4 | fr 25 maj | 12-14 | 9-3036 | Handledning 4 | |
| H5 | må 28 maj | 10-12 | 9-3036 | Handledning 5 | |
| H6 | ti 29 maj | 10-12 | 9-3036 | Handledning 6 | |
| F8 | on 30 maj | 10-12, 13-15 | 16-0043 | Genomgång av kursprojekt (seminarium) | |
| L8b | to 31 maj | 10-12 | 9-3036 | Binära träd och grafer, Definite Clause Grammar, kursvärdering - grupp två | |
| L8a | fr 1 jun | 10-12 | 9-3036 | Binära träd och grafer, Definite Clause Grammar, kursvärdering - grupp ett | |
Bratko, I. 1990 (2: a uppl). Prolog programming for artificial intelligence. Addison-Wesley