🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: net.lang.prolog
Article #755

Anwers: Knights and Knaves

#755
From: David Fiore
Date: Wed, 03 Sep 1986 21:06
29 lines
1695 bytes
   I am posting this message to thank all of you who have been kind enough
   to answer my call for help on the knights and knaves problem.  I have tried
   to answer each response individually, but my letters keep getting returned.
   I assume there is some secret to E-mail I am as yet unitiated into.  In any
   case, I don't want anyone to think their efforts have gone unheard, much less
   unappreciated.  

   Special thanks to Paul Kamsteeg for your in depth analysis and explanation
   of the problem.  Even though I don't understand all of what you wrote, what
   I did understand has been very helpful. 

   Thanks again to everyone who contributed.  I hope to be able to figure out
   how to get mail out of Riverside soon!  Happy Computing!


-- 
      ||
      ||         David Fiore, University of California at Riverside.
 =============
      ||         Slow mail   :  1326 Wheaton Way
      ||                        Riverside, Ca.  92507
      ||         E-Mail      
      ||            UseNet   : ...!ucdavis!ucrmath!hope!fiore
      ||            BITNET   : consult@ucrvms 
		
		Have another day!

    "...and at warp eight, we're going nowhere mighty fast"
Technical Details
Message-ID: <616@hope.UUCP>
Path: arc1-ca.pugleaf.net!utzoo!mnetor!seismo!lll-crg!nike!ucbcad!ucbvax!ucdavis!ucrmath!hope!fiore

Show Full Headers
Complete Article Headers
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: arc1-ca.pugleaf.net!utzoo!mnetor!seismo!lll-crg!nike!ucbcad!ucbvax!ucdavis!ucrmath!hope!fiore
From: fiore@hope.UUCP (David Fiore)
Newsgroups: net.lang.prolog
Subject: Anwers: Knights and Knaves
Message-ID: <616@hope.UUCP>
Date: Wed, 3-Sep-86 17:06:09 EDT
Article-I.D.: hope.616
Posted: Wed Sep  3 17:06:09 1986
Date-Received: Thu, 4-Sep-86 03:59:53 EDT
Distribution: net
Organization: University of California, Riverside
Lines: 29