Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!csd4.milw.wisc.edu!cs.utexas.edu!uunet!yale!Duchier-Denys
From: Duchier-Denys@cs.yale.edu (Denys Duchier)
Newsgroups: comp.ai
Subject: Re: Request for opinions on AI textbook
Message-ID: <65529@yale-celray.yale.UUCP>
Date: 6 Jul 89 02:35:45 GMT
References: <295@kubix.UUCP> <65402@yale-celray.yale.UUCP> <10429@polya.Stanford.EDU>
Sender: root@yale.UUCP
Reply-To: Duchier-Denys@cs.yale.edu (Denys Duchier)
Organization: Computer Science, Yale University, New Haven, CT 06520-2158
Lines: 5
In-reply-to: geddis@polya.Stanford.EDU (Donald F. Geddis)

In article <10429@polya.Stanford.EDU>, geddis@polya (Donald F. Geddis) writes:
> Unfortunately, the second of these is not a horn clause.

Oops! I guess it just goes to show one shouldn't post on the 4th of July.
--Denys