Prolog中统计列表中字符'b'之后元素'w'的出现次数

看起来你已经找对了方向，但问题出在没有区分「是否已经遇到过'b'」的状态——你现在的代码是把每个'b'都计数加1，这显然不是我们要的统计'b'之后的'w'的逻辑。

先明确你的需求：统计列表中所有出现在'b'之后的'w'的数量，比如[w,w,b,w,b,b]里，只有第一个'b'后面的那个'w'算，前面的'w'不算，最终结果是1。

你的基础情况h1([], 0)是对的，但递归处理[b|T]的逻辑完全错了——我们不需要统计'b'的数量，而是要在遇到'b'之后，开始统计后续的'w'。

这里的核心是需要一个状态来跟踪：我们是否已经进入了「统计'b'之后元素」的阶段。可以用一个带额外参数的辅助谓词来实现这个状态，具体代码如下：

% 主谓词，调用带状态的辅助谓词，初始状态为false（还没遇到b）
h1(List, Count) :-
    h1(List, false, Count).

% 基础情况：空列表，不管什么状态，计数都是0
h1([], _, 0).

% 还没遇到b时，遇到w直接跳过，状态不变
h1([w|T], false, Count) :-
    h1(T, false, Count).

% 遇到b，切换状态为true（开始统计后续的w），继续处理后面的元素
h1([b|T], false, Count) :-
    h1(T, true, Count).

% 已经遇到b之后，遇到w，计数加1
h1([w|T], true, Count) :-
    h1(T, true, TCount),
    Count is TCount + 1.

% 已经遇到b之后，遇到b，直接跳过，计数不变
h1([b|T], true, Count) :-
    h1(T, true, Count).

现在测试你的例子：

?- h1([w,w,b,w,b,b], H).
H = 1.

完美符合需求！

解释一下这段代码的逻辑：

• 我们用第三个参数State来标记是否已经遇到过'b'：false表示还没遇到，true表示已经进入统计阶段。
• 在还没遇到'b'的时候，遇到'w'直接跳过；遇到'b'就切换状态，开始关注后面的元素。
• 进入统计阶段后，每遇到一个'w'就把计数加1，遇到'b'则忽略，继续处理后面的元素。
• 空列表时，不管有没有进入统计阶段，计数都是0，这是递归的终止条件。

你原来的代码没有区分状态，所以把'b'当成了计数目标，现在加上状态跟踪，就能准确统计到'b'之后的'w'数量啦。

内容的提问来源于stack exchange，提问作者TubaShark