Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!seismo!sundc!pitstop!sun!amdcad!ames!sdcsvax!ucsdhub!hp-sdd!ncr-sd!ncrcae!hubcap!steve
From: steve@hubcap.UUCP ("Steve" Stevenson)
Newsgroups: comp.lang.prolog,comp.ai
Subject: Suggestions for Course
Message-ID: <587@hubcap.UUCP>
Date: Thu, 22-Oct-87 19:50:08 EST
Article-I.D.: hubcap.587
Posted: Thu Oct 22 19:50:08 1987
Date-Received: Sun, 25-Oct-87 13:23:08 EST
Organization: Clemson University, Clemson, SC
Lines: 12
Xref: mnetor comp.lang.prolog:407 comp.ai:957

I have to teach an AI course for folks with little or no
background.  I'd like to use prolog, but want to have them
learn it as much on their own as possible.  Any suggestions
for texts?

At this time, I think I would like to concentrate on theorem
proving with perhaps some non-traditional stuff (fuzzy?) included.
Any suggestions here?
-- 
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906