Read and understand the following program:
Solve two standard (commercial) logic puzzles.
speigel. Be especially careful of this.
\+. Here's what you need to know about this operator:
\+Ewill try to find variable bindings that will make E true.
\+works as you would expect when all variables are completely instantiated (bound).
100 points if your programs produce the correct solutions. How can you tell? Just manually check whether the solution satisfies all of the conditions of the problem! (Checking a solution is much easier than finding one.)
Although unlikely, we reserve the right to deduct points if your style is egregiously bad.
Wednesday, September 9 . Please zip
up and turn in three files to Canvas--your
.pl files, along with a file containing the two solutions
(copy from the output area and paste them into a text file). This due date
is for everyone; students adding the class late will not be
given an extension. Note that I never accept email submissions.
Late penalty: 5 points per day, up to a maximum of 50 points.