[m-users.] sample code for all

Benjamin Schmidt benjamin.schmidt at alumni.unimelb.edu.au
Mon Apr 2 16:30:45 AEST 2018


On 2/4/18 4:23 pm, Zoltan Somogyi wrote:
> 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

You perhaps have all-solutions predicates in mind:

http://www.mercurylang.org/information/doc-latest/mercury_trans_guide/All_002dsolutions.html

Ben





More information about the users mailing list