[m-users.] sample code for all

[Zoltan Somogyi]

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

http://mercurylang.org/information/doc-release/mercury_ref/Goals.html#Goals

Zoltan.