[m-users.] sample code for all

Zoltan Somogyi zoltan.somogyi at runbox.com
Mon Apr 2 16:23:00 AEST 2018

On Mon, 2 Apr 2018 14:34:18 +1000, "Francis (Grizzly) Smit" <grizzly at smit.id.au> wrote:

> I find in the reference manual that mercury has a all operator, from my
> distant memory I think it generates  a list from a predicate

Mercury does have "all" as an operator, but it does not do
what you say it does. See



More information about the users mailing list