[mercury-users] Re: Imp... ASAP... Queries

[Fergus Henderson]

On 04-Oct-2002, Noel  Pinto <cool4life at rediffmail.com> wrote:
> 1) I would like to know more on DCG apart from the manuals and 
> tutorials.

DCGs in Mercury are essentially the same as DCGs in Prolog.
Some books on Prolog describe DCGs fairly well.
For example IIRC there is some good stuff on DCGS in "The Craft of Prolog".

> 2) It is mentioned that --> instead of the conventional operator 
> :- Why is it so?? What is the difference?

In part this is for historical reasons.
But it also has the advantage that DCG clauses can be given a direct
declarative semantics, rather than just a semantics via translation.
See <http://www.cs.mu.oz.au/research/mercury/mailing-lists/mercury-developers/mercury-developers.0111/0148.html>.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- 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
--------------------------------------------------------------------------