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

Vladimir Gubarkov xonixx at gmail.com
Thu Apr 14 06:59:26 AEST 2011

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>

More information about the users mailing list