[mercury-users] (Newbie) translating this from Prolog?

[Maurizio Colucci]

Hello,

I am studying mercury for evaluation in an AI program.

Could you please help me translate this predicate from prolog?

% List::input
holds(List):-
   forall(member(M, List),
          call(M)).

Thanks 

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