CIS 554 Assignment 1: Logic Puzzles
Fall 2011, David Matuszek

Purposes of this assignment

General idea of the assignment

Solve two standard (commercial) logic puzzles.

I am providing three such puzzles:


logic puzzles

star tricked


This one should be easy to grade; your program should produce the correct solution. We may deduct points if your formatting is egregiously bad.

Due date

Wednesday, September 14, before 6:00am. Please zip up and turn in three files to Blackboard--your two .pl files, along with a file containing the two solutions (copy from the output area and paste them into a text file). Note that I require a zip file, not some other form of compressed files.