Hi,

I have some queries...

1) What are backslash escapes??  There are various escapes sucvh 
as \a \b and more. I would like to know more about them. Plz do 
give examples showing how they could be used.

2) There are types and type system includes type, pred and func. 
How would you define type system?

3) What is a higher-order term and lower-order term?

4) Plz explain unification and inequlity in Goals. How do they 
work?

5) I would like to know parsers and sequence generators in DCG.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------

