On Fri, Mar 23, 2001 at 04:55:09PM -0800, Nancy Corbett wrote:
> Knights and Knaves problem.
>
> Suppose you visit a strange island with three types of people. Knights,
> who always tell the truth, Knaves, who always lie and Normals who
> sometimes lie and sometimes tell the truth. It is also the custom that
> normals marry only normals, and knights marry only knaves.
> You meet two couples, Mr. and Mrs. Smith and Mr. and Mrs. Brown. They tell
> you the following:
>
> Mr. Brown: Mr. Smith is a knight.
> Mrs. Brown: My husband is right, Mr. Smith is a knight.
> Mrs. Smith: That?s true, my husband is indeed a knight.
>
> Can you determine which type each person must be? Explain.
Further to my previous response, I was wondering about solving this in
Prolog (people may have noticed that my propositions were very
Prolog-ish).
I've only been looking at Prolog for a few days though and got very
frustrated at the step of defining Y true, from knight says Y.
Mary.
--
Mary Gardiner
<[EMAIL PROTECTED]>
GPG Key ID: 77625870
_______________________________________________
techtalk mailing list
[EMAIL PROTECTED]
http://www.linux.org.uk/mailman/listinfo/techtalk