[mercury-users] A subtlety about DCG variable threading

[Richard A. O'Keefe]

I got into the habit of writing p/3 for a predicate p(X, Y, Z) :- ...
and nt//3 for a non-terminal nt(X, Y, Z) --> ...

This was particularly useful when I was experimenting with different
translations (DCGs, DCSGs, Fernando Pereira's XGs) that added different
numbers of arguments:  nt//3 might correspond to nt/5, nt/6, or nt/7
depending on the translator.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------