如何不依赖if_/3定义更清晰的memberd_t/3及memberdr_t/3？

核心思路 #

通过显式拆分匹配成功、不匹配递归、空列表失败三种逻辑分支，使用纯逻辑的dif/2声明不等关系，完全避免依赖if_/3，同时保持实现的高层清晰性。仅通过调整子句顺序，即可快速得到支持逆序查询的memberdr_t/3。

memberd_t/3 实现（正序检查） #

% 分支1：当前列表头与目标元素匹配，返回true
memberd_t(X, [X|_], true).
% 分支2：当前列表头与目标元素不相等，递归检查剩余列表
memberd_t(X, [Y|Ys], T) :-
    dif(X, Y),
    memberd_t(X, Ys, T).
% 分支3：空列表中无目标元素，返回false
memberd_t(_, [], false).

实现说明 #

• 三个子句完全对应三种逻辑场景，分支逻辑直观可见，无需借助if_/3封装条件判断。
• 使用dif/2而非(\=)/2，确保谓词的纯逻辑特性，支持正向、反向及部分实例化查询。

memberdr_t/3 实现（逆序检查） #

仅调整子句顺序，优先递归检查列表剩余部分，再处理当前元素，实现从列表尾部开始的匹配逻辑：

% 分支1：递归检查剩余列表，若存在目标元素则返回true
memberdr_t(X, [_|Ys], true) :-
    memberdr_t(X, Ys, true).
% 分支2：当前列表头与目标元素匹配，返回true
memberdr_t(X, [X|_], true).
% 分支3：当前列表头与目标元素不相等，且剩余列表中无目标元素，返回false
memberdr_t(X, [Y|Ys], false) :-
    dif(X, Y),
    memberdr_t(X, Ys, false).
% 分支4：空列表中无目标元素，返回false
memberdr_t(_, [], false).

实现说明 #

• 仅通过调换前两个子句的顺序，就将匹配优先级从“当前元素”改为“剩余列表元素”，实现逆序查询的核心逻辑，修改量极小。
• 同样保持纯逻辑实现，未使用!/0、(\=)/2或if_/3等构造。

示例行为 #

• 正序查询：memberd_t(a, [b,a,c], T) → T = true；memberd_t(d, [b,a,c], T) → T = false
• 逆序查询：memberdr_t(a, [b,a,c], T) → T = true（匹配时优先回溯到列表尾部的元素）

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