[m-dev.] Fw: Replacement syntax for DCGs

[Ralph Becket]

Fergus Henderson, Friday, 30 November 2001:
> On 30-Nov-2001, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> > I think this is a red herring.  I can also give a declarative semantics
> > to the _!_ proposal by supplying the appropriate meta-interpreter -
> 
> Can you?  If so, I'd like to see it.

The meta-interpreter that also handles multiple state threads isn't
going to be as basic as phrase/3 because it's not fixed to a single
state thread.  That said, it could be done (although you'd probably
end up writing an interpreter for the whole Mercury language!)

However, there is an isomorphism between _!_ notation and raw syntax,
which is sufficient for me - I don't need to provide a meta-interpreter
to convince myself that the semantics are obvoious.  Nobody has queried
the meaning of the intended semantics, which is almost unheard of in
these perennial discussions!

- Ralph
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------