Updated version of tutorial

Ralph Becket rwab1 at cam.sri.com
Thu Feb 25 02:03:33 AEDT 1999


You can find the new stuff in
http://kidwelly.cam.sri.com/people/becket/mercury/tutorial/

I've taken account of most of the feedback I got last week.  Still
plenty left to write and please keep the criticism coming.  Here's
what I've currently done:

1.Hello, World! 
2.Working with Lists 
3.Sums and Functions 
4.Defining New Types 
5.Determinism and Backtracking 
6.Modes and Instantiation 
7.Clausal Form and Unification

I've put in HTML links to the library docs where necessary.  This is
still rough stuff and needs lots more hyperlinking, organisation, etc.

Ralph

-- 
Ralph Becket  |  rwab1 at cam.sri.com  |  http://www.cam.sri.com/people/becket.html



More information about the users mailing list