水星中lambda和谓词的匹配确定性

Question

在Mercury中，我是否可以将Lambda声明为与包含Lambda的谓词模式具有相同的确定性？

这就是我想要做的。 我写了一个折叠函数（在下面），该函数可用于array2d类型。 fold为数组中的每个元素调用调用者提供的谓词。 只要它仅接受det谓词作为参数，它就可以正常工作。

:- pred fold(array2d(T), pred(T,  int, int, A, A),              A,  A).
:- mode fold(in,         pred(in, in,  in, in, out) is det,     in, out) is det.
% Uncommenting the next line causes mode errors during compilation
% :- mode fold(in,       pred(in, in,  in, in, out) is semidet, in, out) is semidet.

fold(Array, Pred, !Accumulator) :-
    bounds(Array, NumRows, NumCols),

    FoldRows = (pred(RowNumber :: in, RowAccIn :: in, RowAccOut :: out) is det :-
        FoldCols = (pred(ColNumber :: in, ColAccIn :: in, ColAccOut :: out) is det :-
            Value = Array^elem(RowNumber, ColNumber),
            Pred(Value, RowNumber, ColNumber, ColAccIn, ColAccOut)
        ),
        int.fold_up(FoldCols, 0, NumCols - 1, RowAccIn, RowAccOut)
    ),
    int.fold_up(FoldRows, 0, NumRows - 1, !Accumulator).

但是我想让fold接受det或semidet谓词（如果对谓词的任何调用失败都会失败）。 取消注释mode ... is semidet注释行，它为我提供了我不知道如何解决的编译器错误。 问题在于fold中的lambda被声明为det，因此它们不能调用Semidet Pred 。 如果我将lambda更改为semidet，则不能将fold视为一个整体。

我该如何解决？ 似乎最直接的方法似乎是声明lambda从fold谓词继承其确定性-因此，当使用fold用作det时，它们是det，同样对于Semidet，但我不知道这是否可能。

当然，另一种方法是将FoldRows和FoldCols转换为具有多种模式的命名谓词（不是lambda）。 但这很快变得微不足道，我想知道是否有更直接的解决方案。

Answer 1

水星有时可以推断谓词的模式和确定性，因此我最初是通过从lambda表达式中省略确定性声明来进行尝试的。 但是Mercury的lambda语法不允许我执行此操作，因此该推断不能与lambdas一起使用。

如您所料，恐怕唯一的解决方案是将FoldRows和FoldCols转换为多模式命名谓词。