theorem prover wanted

["Roland Zito-wolf" <rjz@chaos.cs.brandeis.edu>]

Would anyone know where i can get code for a theorem-prover (prolog-like)
written in LISP? I want to use it as a component of a larger LISP system.
thanks,


Roland J. Zito-wolf (aka Roy)
Dept. of Computer Science, Ford Hall Room 130
Brandeis University
Waltham, Mass 02254-9110
617-736-2718
RJZ@CS.BRANDEIS.EDU or
RJZ%CS.BRANDEIS.EDU@RELAY.CS.NET
FAX: 617-736-2741


(PS: we're having mail problems: ignore this msg if already recieved)