Monash home | About Monash | Faculties | Campuses | Contact Monash |
Staff directory | A-Z index | Site map |
Undergraduate |
(IT)
|
Leader:
Offered:
Not offered in 2005.
Synopsis: Introduction to Prolog and the logic programming language paradigm. Operational semantics of and pragmatics of how to program in Prolog, including debugging facilities, efficiency issues and library functions. Applications of Prolog to artificial intelligence and compiler writing. The relationship between pure Prolog and first-order logic.
Assessment: Practical examination (3 hours): 100%
Contact Hours: One 1-hour lecture or tutorial per week
Prerequisites: CSC1030 or CSE1303 or equivalent, and CSE2303 or CSC2030
Prohibitions: CSC2930, CSC3930, CSE2393, SFT4070