[m-dev.] Adding Loops to Mercury
mark at mercurylang.org
Sun Jan 5 10:22:14 AEDT 2014
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:
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.)
More information about the developers