From cbmvax!uunet!CUVMB.BITNET!LOJBAN Mon Jun 15 05:05:39 1992 Return-Path: Received: by snark.thyrsus.com (/\==/\ Smail3.1.21.1 #21.19) id ; Mon, 15 Jun 92 05:05 EDT Received: by cbmvax.cbm.commodore.com (5.57/UUCP-Project/Commodore 2/8/91) id AA13812; Mon, 15 Jun 92 01:58:42 EDT Received: from pucc.Princeton.EDU by relay1.UU.NET with SMTP (5.61/UUNET-internet-primary) id AA12424; Mon, 15 Jun 92 01:26:53 -0400 Message-Id: <9206150526.AA12424@relay1.UU.NET> Received: from PUCC.PRINCETON.EDU by pucc.Princeton.EDU (IBM VM SMTP V2R2) with BSMTP id 2107; Mon, 15 Jun 92 01:25:16 EDT Received: by PUCC (Mailer R2.08 ptf024) id 1637; Mon, 15 Jun 92 01:25:03 EDT Date: Mon, 15 Jun 1992 17:25:23 GMT+1200 Reply-To: cbmvax!uunet!otago.ac.nz!chandley Sender: Lojban list From: Chris Handley Subject: Logic Programming X-To: lojban@cuvmb.cc.columbia.edu To: John Cowan , Eric Raymond , Eric Tiedemann Status: RO X-Status: Hi For all the Logic Programming buffs on this list (and I know there are some) a fruitful source of interesting papers is the series called: Forschungsberichte Kunstliche Intelligenz from Technische Universitat Munchen (Sorry I have omitted all the diacriticals - my apologies to any German purists). Foe non German speakers, this means Research Reports on Artificial Intelligence, but they are more wide ranging than that. I have on my desk: Classical Negation in Logic Programming and Functions in Horn Clause Logic. There are severAl titles available (free) from TUM. e-mail Angela Marquardt: fki@tumult.uucp or fki@lan.informatik.tu_muenchen.dbp.de Happy Logic programming, what I have looks good, but I have yet to really get to grips with it. I may just give it up and pass them on to our resident logic programmer. TTFN Chris Handley chandley@otago.ac.nz Dept of Computer Science Ph (+64) 3-479-8499 University of Otago Fax (+64) 3-479-8577 Dunedin, NZ ----------------------------------------------------------------------- "Bet you 3 to 1 that fixing that bug will introduce three more"