Prolog如何实现从二元组中通过已知元素提取另一元素的谓词

你现有代码的核心问题如下：

• 边界条件冗余：你已经明确输入是固定2个元素的二元组，不需要空列表的匹配分支，该分支也不会返回正确结果。
• 赋值逻辑完全错误：当判断到当前列表头H不等于输入元素X时，H才是你要找的另一个成员，你原代码错误将R绑定为X；同时误用了算数专用运算符is，普通的项绑定应该用=。
• 递归逻辑错误：当当前列表头H等于输入元素X时，剩余列表里仅有的元素才是目标结果，你原代码的递归没有做最终的结果绑定逻辑，会得到错误值。
• 剪枝使用不当：错误位置的cut会导致逻辑提前截断，无法得到正确结果。

基于你原if-else逻辑调整的版本 #

extract_from_tuple(X, [H|T], R) :-
    (   X \= H -> R = H
    ;   T = [R]
    ).

更符合Prolog风格的模式匹配版本 #

不需要写分支判断，直接利用Prolog的模式匹配特性就能实现，逻辑更简洁清晰：

extract_from_tuple(X, [X, R], R).
extract_from_tuple(X, [R, X], R).

• 调用 extract_from_tuple(a, [b,a], R)，返回 R = b，符合预期。
• 调用 extract_from_tuple(a, [a,b], R)，返回 R = b，符合预期。

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