[mercury-users] Loop Checking

[Dan Hazel]

Define "identical".  Not that I'd know - I've just this creepy
interest in your life.

Richard Hagen writes:
 > 
 > 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?
 > 
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------