Prolog不新建列表向头部添加元素时updateList与append实现差异疑问

两者结果不一致的原因 #

核心原因是两段代码的逻辑、以及对Prolog变量特性的使用完全不同：

• 首先明确Prolog的核心特性：变量为单次赋值（不可变），不存在修改已绑定变量值的操作，所有“修改列表”的操作本质都是通过合一让变量指向新的列表结构。

第一段updateList代码的逻辑 #

你定义的updateList谓词执行逻辑如下：

% 子句1：如果第一个参数是以第二个参数为头的列表，匹配成功
updateList([Element|List1], Element).
% 子句2：若子句1匹配失败，裁剪后递归调用，将第一个参数构造为[Element|List1]再匹配子句1
updateList(List1, Element):- !,
updateList([Element|List1], Element),!. 

当你调用updateList(CheckedProof, [Startline, Assumption, assumption])时：
如果CheckedProof是未绑定变量，最终会被合一为[[Startline, Assumption, assumption]|List1]，也就是你要的“将目标元素加在列表开头”的效果。

第二段append代码的错误 #

你的append代码存在两处致命逻辑错误，自然结果不一致：

1. 第一行append(CheckedProof, [], TemporaryCheckedProof)完全冗余，执行后TemporaryCheckedProof会和原CheckedProof完全合一，没有实际作用。
2. 第二行有两个问题：
   • 你将第二个参数用列表括号包裹了TemporaryCheckedProof，等于把原有整个列表当成新列表的第二个元素，最终得到的结构是[[Startline, Assumption, assumption], 原有列表]，而非目标的头插结构。
   • 违背了Prolog变量不可变的规则：第一行已经将CheckedProof和TemporaryCheckedProof合一，第二行又要求CheckedProof等于拼接后的新列表，要么合一失败，要么结果完全不符合预期。

是否可以仅用append实现相同效果 #

可以，append本身就支持头插操作，而且Prolog的列表是结构共享的，头插不会复制原有列表，和你用|构造列表的效率一致。
正确写法如下（假设原有未添加元素的列表为OriginalCheckedProof，最终结果绑定到CheckedProof）：

append([[Startline, Assumption, assumption]], OriginalCheckedProof, CheckedProof).

注意：如果你的CheckedProof已经提前绑定了原有列表的值，那么无论是updateList还是append都无法修改它的值，必须使用新的变量承载头插后的结果，这是Prolog的不可变变量特性决定的。 #

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