[mercury-users] Dynamic call graph drawer for Mercury?

[Eric Taucher]

Nick,

If I understand you question correctly, then I don't know of any tool, but
try searching for these four terms together with a search engine to get you
started: "call fail redo exit". While the results will mostly refer to
Prolog, they apply to Mercury. 

See
http://www.cs.mu.oz.au/research/mercury/information/doc-latest/mercury_user_
guide/Tracing-of-Mercury-programs.html 

Starting from there, you should be able to find related diagrams that may
serve your needs better.

Hope this helps.

Eric

-----Original Message-----
From: owner-mercury-users at csse.unimelb.edu.au
[mailto:owner-mercury-users at csse.unimelb.edu.au] On Behalf Of Nicholas
Nethercote
Sent: Wednesday, May 23, 2007 3:39 AM
To: mercury-users at csse.unimelb.edu.au
Subject: [mercury-users] Dynamic call graph drawer for Mercury?


Hi,

Is there a tool to draw dynamic call graphs in Mercury?  I looked in the 
user's guide but didn't find anything.

I ask because I'm trying to work out how to draw dynamic call graphs in the 
presence of non-determinism.  It's not obvious to me the right way to do it,

because in a deterministic call graph arcs represent calls, whereas in a 
non-deterministic "execution" graph arcs represent choices.

Thanks.

Nick
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------


--------------------------------------------------------------------------
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
--------------------------------------------------------------------------