Engelska Studiehandboken kurser

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/CREDITS


Laboratory work                                             	1.5ECTS
Written exam                                                	4.5ECTS

COURSE LITTERATURE
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-06-05 by Jan Lindberg
Further information: Torkel FranzŽn

Back to department menu