CSE2393

Prolog programming

(IT)

Not offered in 2000

3 points + One 1-hour lecture or tutorial per week + First semester + Clayton, Malaysia + Prerequisite: CSE1303 or CSC1030 or equivalent + Corequisite CSE2303 or CSC2030 + Prohibitions: CSC2930, CSC3930, CSE3393, SFT4070

Synopsis: Introduction to Prolog and the logic programming language paradigm. Topics include the operational semantics of Prolog and the pragmatics of how to program in Prolog, including debugging facilities, efficiency issues, and library functions. Some simple programming idioms such as meta-progamming, generate and test, and accumulators. Applications of Prolog to artificial intelligence and compiler writing.

Assessment: Practical examination (3 hours): 100%