Winter 2006

CSI2165B: Prolog Concepts Laboratory

Instructor: Diana Inkpen

Office: SITE 5015
E-mail: diana@site.uottawa.ca Telephone: 562-5800 ext. 6711

Meeting Times and Locations

Lectures: Tue morning, 8:00-10:00, Room: CBY B012
Labs: Lab1 Wed, 14:30-16:30 and Lab2 Fri, 8:00-10:00, Room: SITE 0130

Office Hours: Mon 13:10-14:20 and Thu 15:00-15:50, in SITE 5015, or by email appointment.
TA Office Hours: by email appointment. The TA is Latifa Zekaoui, email: lzekaoui@site.uottawa.ca

Overview: Practice in the use of the Prolog language. Applications to databases and artificial intelligence.

Announcements

NEW!!! Solution to the exam. The marks are available through Virtual Campus.
If you need, you can stop by to see your exam, on Tue, May 2, 2-4:30pm or Thu, May 4, 1:30-4:30pm. There will be no discussion. For re-marking of the exam you will fill in this form.
Exam preparation page. Extra office hours: Tue April 25 (1pm-5:30pm), Wed April 26 (10:30am-5:30pm) and Thu April 27 (10:30am-1pm).
Solution to Quiz 2
The marks for Midterm, Quiz2, Quiz1, A4, A3, A2, and A1 are available through Virtual Campus.
The submission deadline for A3 was extended till Mon March 20, 11pm (instead of 11am) !!! Some hints and clarfications for Assignment 3 on the FAQ page.
The marks for Midterm are available through Virtual Campus. The average was 81%. If you need re-marking fill in this form and bring it together with your midterm.
Solution to midterm.
Midterm preparation page.

Evaluation Students will be evaluated on:

Four programming assignments (7% each).
Two quizzes (1% each)
Midterm exam (25%)
Final exam (45%)
There will be bonus points for class participation

Note: the final mark will consider max( 25% midterm + 45% exam, 70% exam). That is, a good final exam can compensate for a bad midterm day.

Timetable

Assignment 1 - Posted Jan 20, 18:00, Due Mon, Feb 6, 11:00am Solution Marking scheme
Quiz 1 - in class, Tue, Feb 14
Assignment 2 - Posted Feb 3, 18:00, Due Mon, Feb 27, 11:00am Solution Marking scheme
Midterm - in class, Tue, Feb 28
Assignment 3 - Posted Feb 24, 18:00, Due Mon, Mar 20, 11:00am, extended till 11pm Solution Marking scheme
Quiz 2 - in class, Tue, Mar 21
Assignment 4 - Posted Mar 17, 18:00, Due Mon, Apr 3, 11:00am
Final exam (during exam period)

Note: The assignments will be submitted electronically through Virtual Campus. No late assignments are accepted.

Required Textbook

Prolog for Artificial Intelligence, by Ivan Bratko, AddisonWesley, 3rd edition, 2001.
Companion website to the book.

Software: SWI Prolog. Documentation and executables available at http://www.swi-prolog.org

Lab notes

Lab 1 Notes family.pl Solution
Lab 2 Notes Solution
Lab 3 Notes Solution Start working on Assignment 1.
Lab 4 Work on Assignment 1. Notes Solution
Lab 5 Notes Solution Start working on Assignment 2.
Lab 6 Work on Assignment 2.
Lab 7 Discuss solutions to A2 and midterm. Run some code from the midterm. Start working on Assignment 3.
Lab 8 Notes (using CUT in Prolog) Work on Assignment 3.
Lab 9 Work on Assignment 3.
Lab 10 Notes Solution Start working on Assignment 4.
Lab 11 Work on Assignment 4.
Lab 12 Prolog for artificial intelligence: natural language processing. Notes (optional).

Syllabus and Lectures notes (subject to minor modifications) (The lecture slides will be in pdf format, you can read them with Acrobat Reader)

Preliminaries
Part I lecture notes Introduction to Prolog and Logic Programming. Prolog basic constructs: facts, rules, queries. Unification. Prolog syntax, equality, and arithmetics. Data structures: structures and lists. Example (facts and rules)

•

Part II lecture notes Control structures: backtracking, recursion, cut, and failure. Example (search tree) Example (CUT)
Part III lecture notes Abstract data structures: trees, stacks, queues, graphs.
Part IV lecture notes Applications: Artificial Intelligence - natural language processing, games, meta-interpreters, theorem proving. (not required for exam)