Re: [m-users.] Cartesian product of two sets of things.
Julien Fischer <[email protected]>
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <[email protected]> |
On Mon, 9 Oct 2023, Volker Wysk wrote:
> Am Montag, dem 09.10.2023 um 11:04 +0200 schrieb Volker Wysk:
>> :- pred cart_prod(set(T)::in, set(U)::in, set(pair(T, U))::out) is det.
>
> Oops, that should be:
>
> :- pred cart_prod(set(T)::in, set(U)::in, list(pair(T, U))::out) is det.
Either that, or you should call solutions_set:
cart_prod(Set1, Set2, Res) :-
solutions_set(
(pred((A - B)::out) is nondet :-
set.member(A, Set1),
set.member(B, Set2)
),
Res).
Julien.
_______________________________________________
users mailing list
[email protected]
https://lists.mercurylang.org/listinfo/users