Svenska Studiehandboken kurser
Systemteknik
SMD054 Logikprogrammering 4.0 Poäng
THIS PAGE IS ALSO AVAILABLE IN ENGLISH
Program/Tidsperiod
Val D, E, DI / Lp IV
/
SPRÅK: Engelska/Svenska
EXAMINATOR
Torkel Franz'en Univ lektor
FASTSTÄLLD
Kursplanen är fastställd av Institutionen för systemteknik 1995-05-29 att gälla från HT95.
FÖRKUNSKAPSKRAV
Imperativ programmering och Abstrakta datyper eller motsvarande.
MÅL
Kursen skall ge kunskap om principerna för logikprogrammering, erfarenhet av programmering i Prolog samt orientera om expertsystems uppbyggnad.
INNEHÅLL
Syntax och semantik för logikprogram. Deklarativ och procedurell läsning av program. Unifiering. Prolog. Expertsystem.
UNDERVISNING
Föreläsningar eller självstudier och laborationer.
EXAMINATION
Laborationer och tentamen.
KURSENS BETYGSKALA: U,3,4,5
MOMENT/PROV
Laborationer 1.0 Poäng
Tentamen 3.0 Poäng
LITTERATUR
Sterling S, The Art of Prolog, MIT Press, 1988. ISBN 0-262-69105-1.
ÖVRIGT
Kursen förutsätter vissa kunskaper i funktionell programmering.
Last modified: 97-09-25
Further information: Torkel FranzŽn
Tillbaka till institutions meny