Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from antares.mcs.anl.gov (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Mon, 10 May 1993 18:59:43 +0100
Received: by antares.mcs.anl.gov id AA00114 (5.65c/IDA-1.4.4 for qed-outgoing);
          Mon, 10 May 1993 12:47:15 -0500
Received: from lonexa.admin.rl.af.mil ([128.132.130.13]) by antares.mcs.anl.gov 
          with SMTP id AA00102 (5.65c/IDA-1.4.4 for <qed@mcs.anl.gov>);
          Mon, 10 May 1993 12:47:07 -0500
Received: by lonexa.admin.rl.af.mil (5.65/1.25) id AA00838;
          Mon, 10 May 93 13:46:07 -0400
From: huses@LONEXA.ADMIN.RL.AF.MIL (Scott M. Huse)
Message-Id: <9305101746.AA00838@lonexa.admin.rl.af.mil>
To: qed@mcs.anl.gov
Date: Mon, 10 May 93 13:46:05 EDT
Subject: 
X-Acknowledge: 
Cc: qed-owner@mcs.anl.gov
Sender: qed-owner@mcs.anl.gov
Precedence: bulk

Greetings,

I am interested in obtaining some C code that will transform
1st order logic expressions into conjunctive normal form, as
well as perform unification. I would greatly appreciate any
assistance you might be able to lend in this regard. Thank
you.

Scott M. Huse
huses@lonex.rl.af.mil