<< >> ^

CSC3930

Prolog programming

2 points
* One 1-hour lecture or tutorial per week
* First semester; offered every second year
* Clayton
* Prerequisites: CSC1030 or equivalent, and CSC2030
* Prohibitions: CSC2930, SFT4070

Objectives On completion of the subject, students should be able to understand and appreciate the uses and limitations of the logic programming paradigm. They will have the ability to write and debug small Prolog programs.

Synopsis This subject introduces the programming language Prolog and the logic programming language paradigm. It covers the 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 are discussed. It also teaches the strong relationship between pure Prolog and first-order logic.

Assessment Practical examination (3 hours): 100%

Prescribed texts

Sterling L and Shapiro E The art of Prolog MIT Press, 1994

Recommended texts

Bratko I Prolog programming for artificial intelligence Addison-Wesley, 1990


<< >> ^
Handbook Contents | Faculty Handbooks | Monash University
Published by Monash University, Clayton, Victoria 3168
Copyright © Monash University 1996 - All Rights Reserved - Caution
Authorised by the Academic Registrar December 1996