{Spam?} [plt-scheme] Theorem Prover

From: Paulo J. Matos (pocm at soton.ac.uk)
Date: Wed Aug 1 07:58:54 EDT 2007

On 01/08/07, Erich Rast <erich at snafu.de> wrote:
> Hi folks,
> Is there a theorem prover for first-order predicate logic or normal
> modal logics written in Scheme? If not, has perhaps someone written
> an interface to access an existing theorem prover in MzScheme?

I have only a couple of interfaces to SAT solvers and Unsat Core
generators. If you're interested contact me. Soon available in Planet.


Paulo Matos

> Another question: Has anyone on the list found a smart trick to look
> in Google for programs implemented in Scheme. Using "mysearchterm
> Scheme" produces just about anything about mysearchterm, since
> everyone uses the word "scheme" at one place or another. It seems to
> me that the name of the programming language wasn't a very wise
> choice with that respect, but to be fair, who could have anticipated
> Google and Altavista in the 70s. ;-) I usually add "PLT", "mzscheme",
> or "R5RS", but always fear I miss some search results.
> Best regards,
> Erich
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Paulo Jorge Matos - pocm at soton.ac.uk
PhD Student @ ECS
University of Southampton, UK

Posted on the users mailing list.