2

将 cut ( !) 放在子句的开头是什么意思？

  p(X,Y) :- !, q(X), r(X,Y).

它们之间有什么区别!以及 fail如何相关？

谢谢。
我在想，对于fail，谓词只会“失败”大声笑，这与不回溯不同吗？只是想确定:)

4

1 回答 1

4

通常，当您想确保变量实例化的特定组合没有回溯时，您会使用它。显示一些代码（从SWI-Prolog 实现中借用一点：

read_lines(In, Ls) :-
    read_line_to_codes(In, Codes),
    read_lines_rest(Codes, In, Ls).

read_lines_rest(end_of_file, _, []) :- !.
read_lines_rest(Codes, In, [Codes|Rest]) :-
    read_line_to_codes(In, New_codes),
    read_lines_rest(New_codes, In, Rest).

现在，定义了这些谓词后，您可以将输入流（例如文件）读取到行列表中。我们正在使用read_line_to_codes/2from library(readutil)。它将第二个参数与代表一行的代码列表或end_of_file输入末尾的原子统一起来。

在 的第一个子句中read_lines_read/3，我们在谓词定义的头部使用统一。end_of_file如果我们想要甚至考虑谓词，我们“要求”第一个参数必须是原子。当（在输入结束时）该子句成功时，不考虑定义的第二个子句中的其他可能解决方案，并且谓词成功，关闭第三个参数中的列表。

在这里使用它：

?- open('shortcut.pl', read, In), read_lines(In, Ls), forall(member(L,Ls), format("~s~n", [L])).
read_lines(In, Ls) :-
    read_line_to_codes(In, Codes),
    read_lines_rest(Codes, In, Ls).

read_lines_rest(end_of_file, _, []) :- !.
read_lines_rest(Codes, In, [Codes|Rest]) :-
    read_line_to_codes(In, New_codes),
    read_lines_rest(New_codes, In, Rest).
% variable instantiations

您应该注意到谓词只成功了一次。尝试删除第一个子句中的切口，看看会发生什么。

至于fail，是的，它使谓词失败（不成功）。此时，如果还有选择点，Prolog 会回溯到最近的一个。

于 2015-02-24T12:49:14.580 回答