[m-users.] sample code for all

Francis (Grizzly) Smit grizzly at smit.id.au
Mon Apr 2 16:43:20 AEST 2018



On 02/04/18 16:30, Benjamin Schmidt wrote:
> 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
>
>
>
Thx mate that looks good.

-- 

   .~.     In my life God comes first....
   /V\         but Linux is pretty high after that :-D
  /( )\    Francis (Grizzly) Smit
  ^^-^^    http://www.smit.id.au/



More information about the users mailing list