Svenska Studiehandboken kurser

Systemteknik

SMD054 Logikprogrammering 4.0 Poäng

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-06-05by Jan Lindberg
Further information: Torkel FranzŽn
Tillbaka till institutions meny