A question for the Mercury Jedi Knights

[Randall Helzerman]

So I was at a used bookstore this weekend and picked up the book
"The Clausal Theory of types" by D.A. Wolfram

Are you mercurians familier with it?  It looks like if you take out the
strong modes and determinism, he is aiming for something which looks 
remarkably like Mercury--higher order, functional + logical programming
united, etc.

P.S. The bookstore had three copies...one prices US$36, one US$24, and one
     US$12.  Guess which one I bought?