CS 476/MCS 415: Programming Language Design

Spring 2007

Homework 4: Logic Puzzles in Prolog

Due: Thursday May 3, 2007 at 11:59 pm

Your assignment is to do questions 15.17, 15.19, and 15.20 from the text book. You are also to find one other logic puzzle and to create a solution to that one also. You are to submit the verbage of this puzzle and a reference to its source (if this is a puzzle that you recall years ago, just inform us of this: "This is one that I remember an uncle telling me when I was younger"). Here is a link for some more logic puzzles: http://www.allstarpuzzles.com/logic/index.html

All four of these are logic puzzles are to solved using Prolog.

The Questions from the Text

What and how to submit

You are to submit your code electronically via turnin on the CS machines using the name of hw4. You are to submit two files: You will submit your files using the turnin command on the CS server:
     turnin -c cs476 -p hw4 hw4.pl  README

You may work on this project by yourself or in a group of two. If you work on this with another member of the class, only submit your project once using turnin. Be sure that you clearly state in your README file the names and NETIDs of both members in the group.