Foreleses høstsemesteret 1999.
| Faglærere: | Professor Jan Komorowski janko@idi.ntnu.no, A-179, tlf. 73594567 Førsteamanuensis II Torulf Mollestad tm@computas.no |
|
| Øvingsansvarlig: | Stipendiat Aleksander Øhrn logpro@idi.ntnu.no, A-171, tlf. 73594480 |
|
| Forelesninger: | Mandag 12-14 (F3) (Unntatt ukene 36-41) Torsdag 12-16 (H2) (Uke 36) Torsdag 12-16 (B333) (Ukene 37 og 39) Ingen forelesninger ukene 38, 40 og 41. |
|
| Øvingstimer: | Mandag 12-14 (F3) (Ukene 36-41) Onsdag 10-11 (F3) (Alle uker) Torsdag 12-14 (B333) (Ukene 35 og 42-46) |
|
| Eksamen: | 26. november, skriftlig. | |
| Kursmateriell: | U. Nilsson, J. Maluszynski, "Logic, Programming and Prolog", Second Edition, Wiley. ISBN 0-471-95996-0. Forelesningsnotater. |
Forelesningsnotater er til salgs i IDIs ekspedisjon (E-blokka, andre etasje), og koster 50,-. Vennligst respekter ekspedisjonens åpningstider (10-11 og 13-15).
Viktig informasjon vil fortløpende bli distribuert fra faglærer og øvingsansvarlig ved hjelp av en e-post liste. Vennligst påse at du står oppført på listen. Dersom du tar faget og ikke står der, gi beskjed til øvingsansvarlig.
Noen tidligere års eksamensoppgaver med løsningsforslag er tilgjengelige på elektronisk form.
| Uke 34 | Tir 24/8 | Introduction. | JK | |||||
| Uke 35 | Man 30/8 | Logical formulae: Syntax and semantics. | (Kapittel 1) | JK | ||||
| Uke 36 | Tor 9/9 | Models. Logical consequence. Logical inference. Substitutions. Definite programs. The least Herbrand model. |
(Kapittel 2) | TM | ||||
| Uke 37 | Tor 16/9 | Unification. SLD-resolution. Recursive data structures. |
(Kapittel 3) (Kapittel 7) |
TM | ||||
| Uke 38 | Ingen forelesning. | |||||||
| Uke 39 | Tor 30/9 | Negation in Logic Programming. Mini-Prolog: Cut and arithmetics. Databases. Documentation and debugging. |
(Kapittel 4) (Kapittel 5) (Kapittel 6) |
TM | ||||
| Uke 40 | Ingen forelesning. | |||||||
| Uke 41 | Ingen forelesning. | |||||||
| Uke 42 | Man 18/10 | Abstraction mechanisms: Meta-programming. | (Kapittel 8) | JK | ||||
| Uke 43 | Man 25/10 | Abstraction mechanisms: Grammars. Compilers and interpreters. |
(Kapittel 10) | JK | ||||
| Uke 44 | Man 1/11 | Search. | (Kapittel 11) | JK | ||||
| Uke 45 | Man 8/11 | CLP. Alternative LP schemes. | (Kapittel 12-15) | JK | ||||
| Uke 46 | Man 15/11 | Alternative LP schemes. Industrial applications of LP. |
(Kapittel 12-15) | JK |
Siste undervisningsdag før eksamensperioden for 3. og 4. årskurs er 19/11.
Øvingene vil være av både teoretisk og programmeringsmessig art. Alle øvingene er obligatoriske, og må være godkjent for å få lov til å gå opp til eksamen. Hele øvingen må være gjort for at den skal bli fullt ut godkjent. Dere kan gjøre øvingene i grupper inntil tre studenter, noe som anbefales.
| Uke 34 | Ons 25/8 | Øving I (Logic) | (Utlevering) | |||
| Uke 37 | Ons 15/9 | Øving I (Logic) Øving II (Logic Programming) |
(Innlevering) (Utlevering) |
|||
| Uke 40 | Ons 6/10 | Øving II (Logic Programming) Øving III (Prolog) |
(Innlevering) (Utlevering) |
|||
| Uke 42 | Ons 20/10 | Øving III (Prolog) Øving IV (More Prolog) |
(Innlevering) (Utlevering) |
|||
| Uke 46 | Ons 17/11 | Øving IV (More Prolog) | (Innlevering) |
Databasen det refereres til i Øving IV finner du her.
Øvingsoppgavene blir lagt ut i snurrestativet ved E-blokken. Papirbesvarelser kan leveres direkte til øvingsansvarlig. Programmeringsbesvarelser skal sendes per e-post til øvingsansvarlig, fyldig dokumentert og med kjøreeksempler.
En oversikt over godkjente øvinger finner du her. Vennligst gi beskjed til øvingsansvarlig dersom du mener at noe er feil.
E-post til øvingsansvarlig skal sendes til logpro@idi.ntnu.no, og ikke til øvingsansvarliges vanlige e-post adresse.
For programmering i dette kurset brukes SICStus Prolog, som er installert på de aller fleste av IDIs UNIX-maskiner samt på VM-brakka. En SICStus Prolog manual er tilgjengelig. Til å begynne med kan det være lurt å ta en kikk på den delen som heter How to Run Prolog. En kort og grei førstegangs innføring om bruk av SICStus Prolog ved IDI er også tilgjengelig.
Maskiner er reservert på VM-brakka for faget fra 15-17 på tirsdager og onsdager.
Dersom du heller vil bruke Prolog under Windows, så kan du eventuelt ta en kikk på SWI-Prolog. SWI-Prolog er gratis for ikke-kommersiell bruk. Andre Prolog systemer under Windows finnes også, her er et tips fra en student. Du kan også ta en kikk her for en Prolog innføring.