CSC 322 Fall 2007

Instructor

Aaron Williams
haron uvic ca
ECS 621

Final Grades

Unofficial grades
Final Exam
Solutions
Material on the Final Exam
Midterm
Solutions
Material on the Midterm
Assignments
Assignment 1 (Due Thursday, September 27)
Assignment 2 (Due Monday, October 22)
Set up for Assignment 2
  1. Install SWI-5.6.41 from the link below. This creates a Prolog directory where the interpreter will look for programs.
  2. Unzip the textbook programs from the link below. This creates a directory called mlcs-src. Within that directory are directories called bdd and common.
  3. Copy the bdd and common directories into your Prolog directory.
  4. Copy combo.pl and numSAT.pl into your Prolog directory from the links below.
  5. Start the interpreter and use the commands consult(bdd/bdd), consult(bdd/bdd-t), consult(bdd/bddwrite), consult(combo), consult(numSAT).
  6. Good luck!
Assignment 3 (Due Thursday, November 8)
Assignment 4 (Due Thursday, November 29)
Solutions
Solution 1
Solution 2
Solution 3
Solution 4
Prolog Resources
Installation for SWI-5.6.41
Programs from the textbook including BDD functions
numSAT (save as numSAT.pl in your Prolog directory)
Cool-lex for combinations (save as combo.pl in your Prolog directory)
Tutorial and first program (save as first.pl in your Prolog directory)
Additional programs (save as additional.pl in your Prolog directory)
More information on Prolog's unification and resolution algorithms.