[m-dev.] Adding Loops to Mercury

[Mark Brown]

On Sun, Jan 5, 2014 at 12:02 AM, Julien Fischer <jfischer at opturion.com> wrote:
> The other bit of reading you are missing is:
>
>    Logical Loops by Joachim Schimpf.
>    Logic Programming, 18th International Conference,
>    ICLP 2002, Copenhagen, Denmark, July/August 2002. Proceedings, LNCS
>    2401, pg 224-238, © Springer-Verlag,
>
> (Available from: <http://www.eclipseclp.org/reports/index.html>)
>
> IIRC, Mark Brown did look look at impementing the loops described in
> the above at the outset of the G12 project.

You might be thinking of Sebastian Brand's proposal here:

http://lists.mercurylang.org/pipermail/developers/2005-December/013948.html

I like his proposal, but I still had some objections. Do you remember
if we ever sorted these out?

I'd like to reiterate one parenthetical comment I made at that time.
See the above thread for the full context.

| (Also, FWIW, it was reasoning about the modes and determinism
| that made me realise there was this issue with the semantics in
| the first place.  There is probably a lesson in that somewhere, I think.)

Cheers,
Mark.