From: Ian Green
Subject: Resolution theorem prover in Lisp wanted
Date: Mon, 30 Apr 1990 14:40:06 +0000
Message-ID: <IMG.90Apr30104006@tw807.eng.cam.ac.uk>

Anyone have pointers to a resolution-based theorem prover written in
Common Lisp.  Will save me some time.  Thanks.

Cheers, Ian Green
···@eng.cam.ac.uk

From: Jim Bigelow
Subject: Re: Resolution theorem prover in Lisp wanted
Date: Mon, 30 Apr 1990 22:26:50 +0000
Message-ID: <9090002@hpfcso.HP.COM>

> Anyone have pointers to a resolution-based theorem prover written in
> Common Lisp.  Will save me some time.  Thanks.
> 
> Cheers, Ian Green
> ···@eng.cam.ac.uk
> ----------

Look in "Lisp", 3rd Ed. by Winston and Horn, Chapters 24 to 27

Jim Bigelow
Colorado Language Lab
Hewlett Packard