prolog - Prolog中失败谓词的用途是什么？

Question

我无法提出需要的情况。

Answer 1

优雅的系统提供false/0作为命令性fail/0的声明性同义词。当您手动想要强制回溯副作用时，例如:

?- between(1,3,N), format("line ~w\n", [N]), false.
line 1
line 2
line 3

除了 false/0之外，您还可以使用任何失败的目标，例如短一些:

?- between(1,3,N), format("line ~w\n", [N]), 0=1.
line 1
line 2
line 3

因此， false/0不是严格需要的，但是非常好。

编辑:我有时看到初学者想要声明例如“我的关系不适合空列表”，然后添加:
my_relation([]) :- false.
他们的代码。这不是必须的，也不是使用 false/0的一个很好的示例，除非是在以编程方式生成的故障片中。相反，请专注于说明有关您的关系的事情。在这种情况下，只需省略整个子句，然后仅为不为空的列表定义关系，即至少具有一个元素:
my_relation([L|Ls]) :- etc.
或者，如果您还描述列表以外的其他术语，请使用类似以下的约束:
my_relation(T) :- dif(T, []), etc.
仅给出这两个子句中的一个(或什至两个)，查询 ?- my_relation([]).将自动失败。为此，没有必要引入一个从不成功的附加子句。