[mercury-users] compilation problem, all, some

[Maurizio Colucci]

On Friday 16 July 2004 02:07, Zoltan Somogyi wrote:
> The transliteration of the comment is the following:
>
> the_verb_is_visible(V, SelectedObjs) :-
>         verb_get_requirements(V, Reqs),
>         all [O] (
>                 member(O, SelectedObjs)
>         =>
>                 member(P, Reqs),
>                 call(P, O)
>         ).


Gosh... It was that easy :-)

I hadn't tried that because, since I had used "all [O]", I assumed I had to 
use "some [P]". 

Instead, I notice you use "all [O]" for universal quantification, while 
leaving the existential quantification of P implicit.

But then, what is "some" used for in Mercury? 

Thanks for your constant help. :-)

Mau

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