[m-dev.] Declarative debugger and pre and post conditions

[Fergus Henderson]

A meta-comment about this thread: Lee Naish has done a fair bit of work
on equivalents of pre and post conditions in logic programs, so if you
do come up with some ideas here, and you're thinking about implementing
them, it would be a good idea to run them past Lee.

Cheers,
	Fergus.

-- 
Fergus Henderson                    |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------