确保谓词确定性地成功

Question

This other question 问的几乎一样，但不完全一样。相反，我如何要求一个目标确定地成功（恰好一次）并且不留下任何选择点？

这在用作命令行工具的 Prolog 程序的上下文中特别有用：可能从标准输入读取、获取参数并写入标准输出。在这样的程序中，做完工作留下一个选择点，总是程序员的错误。

SWI-Prolog 提供deterministic/1，所以可以这样写：

(   deterministic(true)
->  true
;   fail
)

提出了另一种更便携的方法来实现同样的目的：

is_det(Goal, IsDet) :-
    setup_call_cleanup(true, Goal, Det=true),
    (   Det == true
    ->  IsDet = true
    ;   !,
        IsDet = false
    ).

不过，发生这种情况时抛出错误似乎很有用，但我不知道这个错误会是什么。我非常仔细地查看了ISO error terms，找不到可以明显描述这种情况的错误。

抛出错误确实更好，还是我应该失败？如果首选抛出错误，那么该错误会是什么？

编辑：我不知道该怎么做，因为特别是当涉及到副作用时，比如向标准输出写入一些东西，让副作用发生感觉非常错误，然后 em>失败。几乎有必要宁愿抛出一个异常。这还可以确定剩余的选择点是无害的（如果不需要的话）并捕获异常，然后写入标准错误或返回不同的退出代码。

但我真的不知道什么能正确描述异常，所以我不知道要抛出什么术语。

Answer 1

查看由 Ulrich Neumerkel 在 SWI-Prolog 邮件列表中提出的 call_semidet/1：

call_semidet/1 - clean removal of choice-points

在其中，他提出：

call_semidet（目标）：- ( call_nth(目标, 2) -> throw(error(mode_error(semidet,Goal),_)) ;一次（目标） ）。

这个提议的mode_error是一个很好的开始。

实际上，它遵循其他错误：在这种情况下，模式semidet 是预期的，这反映在抛出的错误项中。