 |
|
 |
| |
 Lab 11 (27/11/2008) |
| Meta-programming |
|
| Prolog exercise examples (.zip) |
Download (.zip) |
|
|
 |
|
 |
|
|
|
| |
| Lab 10 (19/11/2008) |
| System Predicates |
|
| Prolog exercise examples (.zip) |
Download (.zip) |
|
|
|
|
|
|
|
|
| |
| Lab 9 (12/11/2008) |
| Cuts and Negation |
|
| Prolog exercise examples (.zip) |
Download (.zip) |
|
|
|
|
|
|
|
|
| |
| Lab 8 (05/11/2008) |
| Discussion on past mid-term papers |
|
|
|
|
|
|
|
|
|
| |
| Lab 7 (30/10/2008) |
| Lab Exercise Description (.pdf) |
Download (.pdf) |
| Discussion on Computational Model |
|
|
|
|
|
|
|
|
|
| |
| Lab 6 (29/10/2008) |
| Discussion on trees (.pl) |
Download (.pl) |
| Sheperd Problems (.pl) |
Download (.pl) |
|
|
|
|
|
|
|
|
| |
| Lab 5 (15/10/2008) |
| Lab Exercise Description (.pdf) |
Download (.pdf) |
| Lab Exercise Program 1 (.pl) |
Download (.pl) |
| Lab Exercise Program 2 (.pl) |
Download (.pl) |
|
|
|
|
|
|
|
|
| |
| Lab 4 (08/10/2008) |
| Lab Exercise Description (.pdf) |
Download (.pdf) |
| Lab Exercise Solution (.pl) |
Download (.pl) |
|
|
|
|
|
|
|
|
| |
| Lab 3 (08/10/2008) |
| Lab Exercise Description (.pdf) |
Download (.pdf) |
| Lab Exercise Solution (.pl) |
Download (.pl) |
|
|
|
|
|
|
|
|
| |
| Lab 2 (18/09/2008) |
| Lab Exercise Description (.pdf) |
Download (.pdf) |
| Lab Exercise Solution (.pl) |
Download (.pl) |
| Arithmetic in Prolog (.pdf) |
Download (.pdf) |
| Fuctorial Exercise (.pl) |
Download (.pl) |
| Fuctorial Tree Solution (.pdf) |
Download (.pdf) |
| Recursive Rules Example (.pl) |
Download (.pl) |
|
|
|
|
|
|
|
|
| |
| Lab 1 (17/09/2008) |
| SWI ProLog Stable Release |
Download |
| SWI ProLog Editor |
Download |
| Lab Description |
Download (.pdf) |
| Sample Exercises |
Download (.pl) |
| Sample Exercises (extra) |
Download (.pl) |
| Quick Guide for Sicstus ProLog |
Download (.pdf) |
|
|
|
|
|
Download Course Contract (.pdf)