Hi,

> > Here is some syntax for declaring for declaring rules and
> > predicates.  I want to verify whether I am right. Plz tell me 
>if I
> > am :
> > a) Predicate Rule
> > :- type member(X, [_ | Xs]) :- member(x, Xs).
>
>That is a syntax error.
>
> > Predicate Rule
> > :- type member(X, [_ | Xs]).
>
>That is also a syntax error.
>
> > b) Function Rule
> > :- type member(X, [_ | Xs]) = string :- member(x, Xs).
>
>That is also a syntax error.
>
> > Function Rule
> > :- type member(X, [_ | Xs]) = string.
>
>That is also a syntax error.
Could you tell me what the correct syntax would be?? I am still 
confused about it.

Thanks and Regards,

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

