[mercury-users] Predicate to count the number of solutions

[Vladimir Gubarkov]

On Wed, Apr 13, 2011 at 10:01 PM, Chris King <colanderman at gmail.com> wrote:

> Mercury has trouble inferring higher-order modes.  You'll want to write out
>
> :- mode cnt(pred(out) is nondet) = out.
>

Thanks Chris, you are right.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20110414/2e98b3cf/attachment.html>