Newsgroups: comp.lang.lisp
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!newsfeed.pitt.edu!scramble.lm.com!news.math.psu.edu!news.cse.psu.edu!uwm.edu!lll-winken.llnl.gov!nntp.coast.net!zombie.ncsc.mil!news.mathworks.com!uunet!in1.uu.net!news.biu.ac.il!discus.technion.ac.il!news!qobi
From: qobi@ee.technion.ac.il (Jeffrey Mark Siskind)
Subject: Re: Future of LISP in NatLang/AI
Reply-To: Qobi@EE.Technion.AC.IL
Organization: Technion, Israel Institute of Technology
Date: Fri, 10 May 1996 08:19:39 GMT
Message-ID: <QOBI.96May10111939@ee.technion.ac.il>
In-Reply-To: Benjamin Shults's message of Wed, 08 May 1996 20:33:51 -0500
X-Nntp-Posting-Host: ee.technion.ac.il
References: <4lnrou$h06@crchh327.rich.bnr.ca> <JIM.96May2151830@vapor.Franz.COM>
	<831108471snz@wildcard.demon.co.uk> <JIM.96May3102529@vapor.Franz.COM>
	<LUDEMANN.96May7190007@expernet26.expernet.com>
	<31914B7F.64BE6215@math.utexas.edu>
Sender: news@discus.technion.ac.il (News system)
Lines: 16

In article <31914B7F.64BE6215@math.utexas.edu> Benjamin Shults <bshults@math.utexas.edu> writes:

   I thought that the advantage of Prolog in inferencing was for rule-based,
   backtracking inferencing systems.  These systems really scream in Prolog.
   Lispers do have to code up a backtracking rule application system and
   Prologers, I think, do not.  Inferencing systems not needing backtracking
   should be approximately as easy to code in Lisp, and sometimes easier.

Take a look at Screamer (available from my home page) for a portable
implementation of nondeterministic extensions to Common Lisp
(i.e. backtracking).

    Jeff (home page http://tochna.technion.ac.il/~qobi)
--

    Jeff (home page http://tochna.technion.ac.il/~qobi)
