[Haskell-cafe] Predicate logic (FOL) reasoning in Haskell
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  code of a
free variable tableau theorem prover for predicate
logic, written in `literate programming' style.
More information about the Haskell-Cafe