[mercury-users] Loop Checking

[Fergus Henderson]

On 28-Oct-1999, Richard Hagen <richard at it.uq.edu.au> wrote:
> 
> 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?

Versions 0.8 and later of the Mercury implementation include support
for automatic loop checking using the `pragma loop_check' declaration.
Check the documentation for `pragma loop_check' in the "Tabled
Evaluation" section of the Mercury Language Reference Manual.

I suspect that there is a good chance that `pragma loop_check' does
not do exactly what you want.  But have a look at the documentation
and/or try it out and let us know whether it satisfies your requirements.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------