prolog - SWI-Prolog 条件语句

Question

我正在尝试编写一个函数来测试单词 hello 是否包含在列表中。如果包含它，我不希望它说“true”，我希望它说:“是的，这里包含“hello”这个词”，有什么想法吗？

这是我的代码:

contains_hello([hello|_]).
contains_hello([Head|Tail]):- Head \= hello, contains_hello(Tail).

Answer 1

从您的代码中可以清楚地看出，您只想打印消息一次。目前，您可以通过将 Head\= hello 添加到第二个子句来解决此问题。这不是人们通常在 Prolog 中解决这个问题的方式。

请注意，您的第二个子句恰恰排除了第一个子句所匹配的情况。因此，在第一个子句中剪切要方便得多。这将停止回溯。即，如果第一个子句匹配，则不会考虑第二个子句。

剪切由感叹号 (!) 表示。因此:

contains_hello([hello|_]) :-
  write('yes, the word hello is contained here'), nl, !.

contains_hello([_|T]) :- contains_hello(T).