CSI2165B: Prolog Concepts Laboratory
Instructor: Diana Inkpen
Office: SITE 5015
E-mail: email@example.com Telephone:
562-5800 ext. 6711
Meeting Times and Locations
Office Hours: Mon 13:10-14:20 and Thu 15:00-15:50, in SITE
5015, or by email appointment.
- 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
TA Office Hours: by email appointment. The TA is Latifa
Zekaoui, email: firstname.lastname@example.org
Overview: Practice in
the use of the Prolog language. Applications to databases and
- 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
- 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
- The marks for Midterm are
available through Virtual Campus. The average was
If you need re-marking fill in this
form and bring it together with your midterm.
- Solution to
- Midterm preparation page.
Evaluation Students will
be evaluated on:
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.
- 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 assignments will be submitted electronically through Virtual
Campus. No late assignments are accepted.
- Assignment 1 - Posted Jan 20,
Due Mon, Feb 6, 11:00am
- Quiz 1 - in class, Tue, Feb 14
- Assignment 2 -
Posted Feb 3, 18:00,
Due Mon, Feb 27, 11:00am
- Midterm - in class, Tue, Feb 28
- Assignment 3 -
Posted Feb 24, 18:00,
Due Mon, Mar 20, 11:00am, extended till 11pm
- 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)
Prolog for Artificial Intelligence, by Ivan Bratko,
AddisonWesley, 3rd edition, 2001.
Companion website to the book.
executables available at http://www.swi-prolog.org
Syllabus and Lectures notes (subject
to minor modifications) (The lecture slides will be in pdf
format, you can read them with Acrobat Reader)
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
structures: backtracking, recursion, cut, and failure.
Example (search tree)
Abstract data structures: trees, stacks, queues, graphs.
Intelligence - natural language
processing, games, meta-interpreters, theorem proving. (not required