[mercury-users] Loop Checking

[Richard Hagen]

Hi!

I'm implementing a system that compiles a language related to 
Reiter's default logic into Mercury.

For theoretical as well as practical reasons, the compiled output has
to include a loop check. That is, a check that a goal isn't a descendent
of an identical goal.

My questions: Is it possible to implement such a check in Mercury?
Are there facilities that can help here?

Thanks!

richard

-- 
Richard Hagen, Senior Research Officer			Phone: +61 7 3365 1639
Software Verification Research Centre			  Fax: +61 7 3365 1133
School of Information Technology	 WWW: http://www.it.uq.edu.au/~richard
University of Queensland, Queensland, 4072, Australia			

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------