In case you haven't gotten around to buying your own copy of The Reasoned Schemer yet, here's the source code for a nice little predicate logic system implemented in Scheme.
Thanks to LtU for the link.
Mind-melter of the day
Monday, May 22 2006 - blog
