From: ······@src.dec.com
Subject: Re: Charniak's Deductive Retriever in "AIP" 2nd edition\
Date: Sun, 21 Feb 1993 00:44:15 +0000
Message-ID: <9302210044.AA24837@myrtle.pa.dec.com>

    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??

Yes.  That's exercise 10.1, the answer for which is on page 463.