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
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe
