Prolog遍历嵌套列表应用子句仅首迭代生效如何修复？

问题根因 #

原有代码仅执行一次迭代就终止，核心是以下三点问题：

• 遍历逻辑无失败兜底：单条子列表校验失败会直接导致整个迭代谓词终止，不会继续处理后续子列表
• 变量绑定未隔离：谓词头部直接绑定P/Q/R参数，第一次匹配到子列表后就固定了变量值，后续子列表无法重新赋值
• 冗余索引逻辑：自定义的nth_member谓词没有必要，直接通过列表结构匹配就能取子列表元素，逻辑更简洁且不易出错

完整可运行代码 #

需补充缺失的implies和or谓词定义，否则会报谓词不存在错误：

% 布尔or运算定义
or(t, _, t) :- !.
or(_, t, t) :- !.
or(f, f, f) :- !.

% 布尔蕴含实现：A→B 等价于 ¬A∨B
implies(t, f) :- !, fail.
implies(_, _) :- true.

% 真值表定义
tvals(List):- List = [[t, t, t], [t, t, f], [t, f, t],
                [t, f, f], [f, t, t], [f, t, f],
                [f, f, t], [f, f, f]].

% 目标校验：判断公式F和结果Res逻辑等价
checkGoal(F,R):- implies(F, R), implies(R, F), !.

% 遍历所有真值组合
seeEachVal([]).
seeEachVal(P,Q,R,[[P1,Q1,R1]|Ts], Formula, Result) :-
    (
        % 当前组合满足条件则绑定变量并输出
        (   P = P1, Q = Q1, R = R1,
            checkGoal(Formula, Result),
            writeln([P,Q,R])
        );
        % 不满足则直接跳过，继续遍历下一组
        true
    ),
    seeEachVal(P,Q,R,Ts, Formula, Result).

% 入口调用谓词
getRes(P, Q, R, F, R):- tvals(X), seeEachVal(P, Q, R, X, F, R).

运行验证 #

执行查询：
?- getRes(P, Q, R, or(or(P,Q),R), t).
会依次输出所有满足条件的P/Q/R取值：

[t, t, t]
[t, t, f]
[t, f, t]
[f, t, t]
[f, t, f]
[f, f, t]

所有7组合法值都会被遍历输出，仅不满足条件的[f,f,f]被过滤。

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