关于Prolog delete谓词的困惑：为何能匹配列表起始元素？

哥们儿，我完全懂你对这个Prolog delete谓词的困惑——咱们抛开代码，从原理层面一步步捋，绝对给你讲明白它到底是怎么运行的！

先拆解你写的两个delete子句 #

首先看你定义的两个规则：

• 基础匹配子句：delete(A, [A|B], B).
  这个规则的逻辑特别直接：如果要删除的元素A正好是目标列表的第一个元素，那删除后的结果就是列表去掉第一个元素后剩下的B。比如调用delete(a, [a,b,c], X)，这里A=a和列表首元素完全匹配，所以X直接就是[b,c]，这一步应该没啥疑问吧？

• 递归处理子句：delete(A, [B, C|D], [B|E]) :- delete(A, [C|D], E).
  这个是递归逻辑，注意它要求目标列表至少有两个元素（因为写法是[B, C|D]，也就是第一个元素B，第二个C，后面跟着剩余部分D）。它的核心逻辑是：如果列表的第一个元素B不是我们要删除的A，那我们就把B保留在结果里，然后递归地对剩下的列表[C|D]执行delete操作，把递归得到的结果E拼在B后面，最终得到[B|E]。

模拟你调用的delete(a, [3,a,b,c,d], X)执行流程 #

咱们一步一步走，看这个调用到底是怎么得到结果的：

1. 首先尝试匹配第一个基础子句：要删除的A=a，但目标列表的第一个元素是3，和a不匹配，所以第一个子句直接失败。
2. 接着触发第二个递归子句：这里B=3，C=a，D=[b,c,d]。按照规则，我们先把3保留下来，然后递归调用delete(a, [a,b,c,d], E)。
3. 处理这个递归调用delete(a, [a,b,c,d], E)：
   • 这次尝试匹配第一个基础子句：A=a正好和列表的第一个元素a匹配，所以直接成功，E就等于[b,c,d]。
4. 回到最初的递归子句，把保留的3和E=[b,c,d]拼起来，得到[3|[b,c,d]]，也就是[3,b,c,d]——这就是最终的X。

你可能踩的误解坑 #

我猜你可能以为这个delete会删除列表里所有的a？但其实这个自定义的delete只能删除第一个出现的a，而且还有个小局限：如果目标列表是单元素列表（比如[3]），且要删除的元素不在里面，那两个子句都匹配不上，会直接返回false，而不是返回原列表——这和Prolog内置的delete/3谓词不一样，内置的会删除所有匹配元素，找不到的话就返回原列表。

另外再补充个小细节：如果列表是[3,4,a]，调用delete(a, [3,4,a], X)，它会先递归处理[4,a]，再递归处理[a]，最后匹配基础子句得到结果[3,4]，这个流程是通顺的，但如果列表是[3]要删a，就会因为没有匹配的子句而失败。

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