[Haskell-cafe] Predicate logic (FOL) reasoning in Haskell

Graham Klyne gk at ninebynine.org
Mon Oct 4 06:44:52 EDT 2004

I was recently passed this reference, which I thought was worthy of sharing 

I've not yet read it myself in detail, but at a glance it looks very readable.

Reasoning with Tableaux
Jan van Eijck
CWI and ILLC, Amsterdam, Uil-OTS, Utrecht
The paper contains the full Haskell [5] code of a
free variable tableau theorem prover for predicate
logic, written in `literate programming' style.


Graham Klyne
For email:

More information about the Haskell-Cafe mailing list