Hi,

Here are some queries which had been posted but have not been 
answered at the moment. Plz do tell me about them

1) I want to know as much as detail possible on Higher order term 
apart from the manuals. What makes a term Higher order than the 
rest??

2) In the manual, higher-order function application is a compound 
term of the following forms:-
apply(Func, Arg1, Arg2, ..., ArgN)
FuncVar(Arg1, Arg2, ..., ArgN)
I want to know whether apply and FuncVar would be declared as 
'pred' or 'func'.

I know it must not have been answered for a valid reason earlier. 
But I really do not understand them. Plz do explain them to 
them.

Thanks,

Noel.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users@cs.mu.oz.au
administrative address: owner-mercury-users@cs.mu.oz.au
unsubscribe: Address: mercury-users-request@cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request@cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------

