SWI-Prolog中是否存在member/2的非合一内置替代谓词？

Prolog中两个相等判断谓词的核心区别如下：

• =/2：合一操作符，会尝试绑定变量让两侧项结构完全一致，匹配成功后保留所有变量绑定结果
• ==/2：严格相等判断符，不做任何变量绑定，仅当两侧项已经完全相等、无需额外绑定就能匹配时才成功，否则直接失败

标准库的member/2遍历列表时会调用=/2做合一，因此会产生变量绑定，交互示例：

?- A = B.
A = B.

?- A == B.
false.

?- member(A, [B]).
A = B.

SWI-Prolog 标准库没有公开提供基于==/2、不执行合一操作的内置成员检查谓词，你自行编写的实现逻辑正确，性能已经达到最优：

member_eq(_, []) :-
    false.
member_eq(X, [H|_]) :-
    X == H,
    !.
member_eq(X, [_|T]) :-
    member_eq(X, T).

关于实现里的截断（cut）使用：
这里的cut属于绿色截断，用法完全正确。它的作用是当X == H匹配成功后，直接剪除后续回溯分支，不再遍历列表剩余部分，完全符合成员检查“找到匹配即返回”的语义，不会产生错误结果。如果移除这个cut，Prolog在返回第一个匹配的true结果后，会回溯继续遍历列表剩余元素，遍历完整个列表后最终返回false，就会出现你观察到的先后返回true、false的多余选择点。

额外优化提示：第一个子句member_eq(_, []) :- false.可以直接删除，空列表不存在匹配元素本身就是失败语义，去掉后不影响逻辑，还能减少一次子句判断的开销。你当前的实现是标准尾递归结构，SWI-Prolog会自动做尾递归优化，时间复杂度为O(n)，和内置member/2的遍历效率没有差距，可直接使用，无需额外优化性能。

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