[mercury-users] Learning Mercury

Jörg Roman Rudnick joerg.rudnick at t-online.de
Sun Aug 12 03:09:12 AEST 2007

Hi Tom,

if you intend to learn Mercury by Bratko's book, you should visit 
http://www.logicaltypes.com/ of Doug Auclair: He has contributed some 
extensions, which might be very interesting to you. Besides, I think I 
read somewhere that Bratko is his favourite textbook.

With his extensions, you can stay much closer to the book.

Lot's of fun with Mercury,

mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list