AI2 Module 1: Assessed Work

It is possible to get a copy of Sicstus Prolog for your PC. This is free of charge. It definitely works under linux/Windows 95/8 and WinNT/2k.

Request this from support.

You still need to verify that the program that you submit runs on the departmental version of Sicstus since that's what we'll be using to test your code.

The two assessed practicals are:

  1. Due Friday, 15 October, 4 pm, 2004. Practical on finding truth values that satisfy an expression: PDF.
    Here is a sample solution and the marking guide.
  2. Due Friday, 5 November, 4 pm, 2004. Practical on resolution. PDF Here is the draft sample solution and the draft marking guide.

The teaching assistant can help you with Prolog and understanding the practical. Find out more here.

Back to the AI2 module 1 home page

This page is maintained by the course lecturer, Bob Fisher, r.b.fisher@ed.ac.uk, room 2107D JCMB, Tel 651-3441


Home : Teaching : Courses : Ai2 : Module1 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: school-office@inf.ed.ac.uk
Please contact our webadmin with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh