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

[Graham Klyne]

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

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

http://staff.science.uva.nl/~bcate/core/rwt.pdf
[[
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.
]]

#g


------------
Graham Klyne
For email:
http://www.ninebynine.org/#Contact