[mercury-users] A subtlety about DCG variable threading

[Terrence Brannon]

Fergus Henderson writes:
 > On 26-Apr-2001, Terrence Brannon <princepawn at earthlink.net> wrote:

 > > Thus in run/3 below, I am confused as to why process/3 is not
 > > process/5
 > 
 > Your confusion seems to be based on a false assumption --
 > the call to `process' there is indeed a call to process/5.
 > 

Well, if it is indeed process/5, then why this:

	process(add_verb_object(Verb, Object), DB0, DB) -->
		{ DB = add_to_db(DB0, Verb, Object) }.


This term is of arity 3 as far as I can see... and it is the source of
my assumption.



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