# David Musicant's Clue Lisp Port

David Musicant, Associate Professor of Computer Science at Carleton College, has generously provided this Lisp port of the Clue project source files.

## Sample Syllabus

(from http://cs.carleton.edu/faculty/dmusican/cs327f06/)

# Week 6

Getting Started with Propositional Logic (CS 327)
Read sections 1 through 7 of this handout on the Clue project.
In section 7 of the handout, do exercise 2. Solve via resolution and turn in on paper, and solve with SAT-solver.lisp and turn in electronically (link below).
Resolution due on paper by beginning of class on Wednesday, October 18.
Lisp code due electronically via Moodle submission page: 11:55 PM on Wednesday, October 18.
Getting Started with Propositional Logic (CGST 360)
Read sections 1-5 and 7 of this handout on the Clue project.
In section 7, of the handout, do exercises 1-3. Solve via resolution and turn in on paper by beginning of class on Wednesday, October 18.
Read Chapter 7 in Russell & Norvig (CS 327 / CGST 360)
Due by class on Friday, October 20.
Clue Assignment: Initial Clauses (CS 327 / CGST 360)
Check out the Clue game board that I've left in CMC 307. Stop in with friends (they don't have to be in the class) and play a game.
Read section 8 of the clue handout.
CS 327: Complete code for the initial-clauses function in clue-reasoner.lisp. Turn in the entire clue-reasoner.lisp file.
CGST 360: Express in propositional logic the statements that you would make for the initial-clauses function. Here is a template and a starting point so you can see what I have in mind.
Due electronically via Moodle submission page: 11:55 PM on Saturday, October 21.

# Week 7

Clue Assignment: hand and accuse (CS 327 / CGST 360)
CS 327: Complete code for the hand and accuse functions in clue-reasoner.lisp. Turn in the entire clue-reasoner.lisp file.
CGST 360: Express in propositional logic the statements that you would make for the hand and accuse functions.
Due electronically via Moodle submission page: 11:55 PM on Monday, October 23.
Clue Assignment: suggest (CS 327 / CGST 360)
CS 327: Complete code for the suggest function in clue-reasoner.lisp. Turn in the entire clue-reasoner.lisp file.
CGST 360: Express in propositional logic the statements that you would make for the suggest function.
Due electronically via Moodle submission page: 11:55 PM on Wednesday, October 25.