[comp.ai] Info on Weyhrauch's FOL wanted

img@eng.cam.ac.uk (Ian Green) (05/31/91)

I'm looking for references on Richard Weyhrauch's work on FOL [1]
(especially that subsequent to this paper).  Of partiular interest is
material pertaining to reasoning about (Lisp) programs.

I would also like to know if any implementation of FOL is available
(eg. GET-FOL), and if so, relevant details.

[1] @article(Weyhrauch80,
	Author = {Weyhrauch, Richard W.},
	Title = {Prolegomena to a Theory of Mechanized Formal Reasoning},
	Year = {1980},
	Journal = AI,
	Volume = {13})

Many thanks for any help,
Ian Green                                         Department of Engineering
                 		  		  University of Cambridge
img@eng.cam.ac.uk				  Cambridge CB2 1PZ, England