A question for the Mercury Jedi Knights

Randall Helzerman rahelzer at ichips.intel.com
Tue Aug 18 04:10:56 AEST 1998

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?

More information about the users mailing list