[mercury-users] Loop Checking
Fergus Henderson
fjh at cs.mu.OZ.AU
Fri Oct 29 01:03:41 AEST 1999
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
--------------------------------------------------------------------------
More information about the users
mailing list