| Module Title |
Software Workshop Prolog |
| School |
School of Computer Science |
| Module Code |
06-02630 |
| Level |
2/I |
| Member of Staff |
Peter Hancox
|
| Semester |
Semester 1 - 10 credits
|
| Delivery |
1 hr lectures/tutorials per week, 4 hrs/week laboratory work.
|
| Outcomes |
On successful completion of this module, the student should
be able to:
- judge for what applications and in what circumstances logic and Prolog programs are appropriate
- read Prolog programs, for instance in technical literature which necessitates an understanding of Prolog in conveying its content
- represent knowledge in the form of Prolog facts and rules
- write simple Prolog programs that can compute relations using facts and rules
- write Prolog programs to process and manipulate lists
- write larger Prolog programs, for instance a program to play a game
- design Prolog programs to use a representations of knowledge and search in an efficient and appropriate manner
|
| Assessment |
- Sessional: 1.5 hr examination (80%), continuous assessment (20%).
- Supplementary: By examination only.
|
| Texts |
| Title | Author | Publisher |
| Programming in Prolog (4th edn) |
Clocksin W F & Mellish C S |
Springer |
| Programming in Prolog for Artificial Intelligence (3rd edn) |
Bratko I |
Addison-Wesley |
| Prolog programming in depth |
Covington M A, Nute D & Vellino A |
Prentice Hall |
| The Art of Prolog (2nd edn) |
Stirling E & Shapiro L |
MIT |
| The course is supported by extensive WWW notes --
see links below. |
|
|
| The Craft of Prolog |
O'Keefe R A |
MIT |
|