Hi,

I would like to know the following...

1) what is conjuction and disjunction in Mercury? Plz explain its 
usage and plz explain the examples

2) I would also like to know where I can download the editor to 
view '.ps' files ??
I am not able to understand what is written in
the papers on your site, when I open them in notepad, cygwin 
etc.

3) I want to know What is Lambda expressions as I am not very sure 
 from the manuals.
Where can it be used??(its purpose). When you say it is a higher 
order predicate, what does it
mean(higher in what way)? Is it similar to predicate where every 
interface must export it?

4) In the Mercury User's guide, Using mmake section, targets are 
mentioned.
'main-module.depend' is a target. It creates main-module.dep and 
main-module.dv from main-module.m
How can 'main-module.depend' be called a target when the files are 
created in the directory, in which the commands are executed?

5) When compiling the modules with mmc, what is the difference 
between short-int, priv-int and int interfaces.

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

