序言初学者。如何将列表作为参数并将其传递

Question

我是 Prolog 的初学者。我正在努力创建一个规则，该规则将列表作为参数并将列表传递给另一个规则。这是我的代码：

combine([], '').
combine([L|List], Total) :-
    combine(List, CombinedRest),
    atom_concat(L, CombinedRest, Total).

findHeadline([W|Words], Combined) :- 
    combine(Words, Combined).

findHeadline2([Words], Combined) :- 
    combine(Words, Combined).

findHeadline 按预期工作，但 findHeadline2 没有。这是输出：

1 ?- findHeadline([billig, enkeltmand], Combination).
Combination = enkeltmand.

2 ?- findHeadline2([billig, enkeltmand], Combination).
false.

我期待 findHeadline 的输出是：

Combination = billigenkeltmand.

这怎么行不通？

我尝试在 SWI-prolog 中使用跟踪，但它没有给我任何线索，因为 findHeadline 规则立即退出并且根本不调用组合规则。

Answer 1

目前还不是很清楚你到底在追求什么。如果您只想连接一个原子列表以获得一个原子，请使用 SWI-Prolog 中的atomic_list_concat/2：

?- atomic_list_concat([foo, bar, baz], C).
C = foobarbaz.

目前，您的findHeadline2/2 内容如下：

“获取一个只包含一个元素的列表，然后 combine/2 那个元素。”

这不是你想要的，我有感觉。

另一方面，您的findHeadline/2 说：

“获取至少一个元素的列表，以及combine/2除第一个元素之外的所有元素”。

这很重要：永远不要忽略编译警告。你得到的代码做某事，但你几乎可以肯定它没有做你想让它做的事情，这是不好的，或者如果其他人阅读你的代码，他们会感到困惑，这也是不好的。