如何在Prolog中定义conc与One_after_first谓词

以下是两个要求谓词的具体实现代码与逻辑说明： #

1. 列表拼接谓词 conc(L1, L2, L3) #

该谓词表示列表L3是L1和L2首尾拼接的结果，通过递归规则实现：

• 基础边界规则：空列表和任意列表拼接，结果就是该列表本身
• 递归递推规则：非空列表拼接时，结果的头部和第一个输入列表的头部一致，结果的尾部是第一个输入列表的尾部和第二个输入列表的拼接结果

完整实现代码：

% 空列表拼接基准情况
conc([], L, L).
% 递归拆分第一个列表的头部元素，拼接后保留到结果头部
conc([H|T1], L2, [H|T3]) :- conc(T1, L2, T3).

功能验证示例：

• 查询conc([1,2], [3,4], R)会返回R = [1,2,3,4]
• 查询conc(L1, [2,3], [1,2,3])会返回L1 = [1]

2. 首元素后紧邻元素判定谓词 One_after_first(X, L) #

该谓词成立当且仅当元素X紧邻出现在列表L的首元素之后，要求完全基于前面定义的conc谓词实现。
实现逻辑：如果X在首元素之后紧邻位置，那么列表L一定可以拆分为长度为2、第二个元素为X的前缀和剩余任意长度的后缀，通过conc匹配前缀后缀即可完成判定，不需要手动拆分列表结构。

完整实现代码：

% 用conc匹配前缀：前缀共2个元素，第二个是目标X，首元素不做约束，后缀任意
One_after_first(X, L) :- conc([_, X], _, L).

功能验证示例：

• 查询One_after_first(2, [1,2,3])返回true
• 查询One_after_first(3, [1,2,3])返回false
• 查询One_after_first(X, [hello, world, test])返回X = world
• 查询One_after_first(a, [b])返回false（单元素列表不存在首元素之后的位置）

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