Computer Science, Electrical Engineering
SMD054 Logic Programming 6.0 ECTS credits
DENNA SIDA FINNS OCKSÅ PÅ SVENSKA
General information about studying at Luleå University
TIMEPERIOD: IV
LANGUAGE: English/Swedish
EXAMINER
Torkel Franz'en Univ lektor
PREREQUISITES
Imperative Programming SMD011 and Program Construction SMD056 or similar.
COURSE AIM
The course shall give knowledge about the principles of logic programming, experience of Prolog programming, and an orientation to the architecture of expert systems.
CONTENTS
Syntax and semantics of logic programs. Declarative and procedural understanding of programs. Unification. Prolog.
TEACHING
Lectures or self studies and computer programming.
EXAMINATION
COURSE GRADE SCALE: U,3,4,5
ITEMS AND CREDITS
Laboratory work 1.5 ECTS
Written exam 4.5 ECTS
COURSE LITERATURE
Sterling S, The Art of Prolog, MIT Press, 1988. ISBN 0-262-69105-1.
REMARKS
The course presupposes some knowledge of Functional Programming SMD001.
Last modified 97-03-05
Further information: Torkel FranzŽn
Back to departement menu