[mercury-users] Pred defns

[Fergus Henderson]

On 26-Mar-1998, Peter Schachte <pets at students.cs.mu.oz.au> wrote:
> 
> I think it would be worth putting a note in the reference manual where
> it talks about pred declarations that a predicate can be defined with
> two fewer arguments than it is declared with if it is defined as a
> DCG, and refer to the DCG section.

Do I hear you volunteering? ;-)

> Better still, I think there should be a specialized syntax for
> declaring DCG predicates, ideally some variation on the EDCG
> notation.  There should also be a special syntax for calling DCG
> predicates from non-DCG code; maybe something like phrase/2,3 in Prolog.
> Then the current practice of declaring and calling DCG predicates with
> 2 extra arguments should be phased out.

Yes, I agree.

-- 
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.