From: George Ritter
Subject: Charniak's Deductive Retriever in "AIP" 2nd edition\
Date: Fri, 19 Feb 1993 20:23:34 +0000
Message-ID: <1993Feb19.202334.14716@lambda.msfc.nasa.gov>

I am a beginner "Charniaker" trying to use the deductive retriever he 
he supplies in chapter 10 of "Artificial Intellegence Programming" 2nd
Edition.  There is a function called REPLACE-VARIABLES that he leaves as an
exercise to the reader.  Any suggestions??  Does anybody have a better
deductive retriever??