Prolog中如何将大括号格式列表拆分为表头Head与表尾Tail

Prolog中{a,b,c}这类大括号语法本质是语法糖，对应结构函子为{}，内部多个元素用右结合的,运算符连接，因此无法直接使用列表的[Head|Tail]模式直接拆分，可按以下步骤实现需求谓词：

• 先拆解大括号结构：用=../2将大括号项拆解，取出内部用逗号连接的元素序列
• 编写辅助谓词将逗号连接的序列转换为原生Prolog列表
• 对转换得到的原生列表做头尾拆分即可

完整实现代码如下：

% 辅助谓词：逗号序列转原生列表
comma_to_list((A, B), [A|Rest]) :-
    comma_to_list(B, Rest).
comma_to_list(SingleItem, [SingleItem]) :-
    SingleItem \= (_, _).

% 目标谓词
curly_head_tail(CurlyExpr, Head, Tail) :-
    CurlyExpr =.. [{}, CommaSeq],
    comma_to_list(CommaSeq, [Head|Tail]).

执行测试用例可得到预期结果：

?- curly_head_tail({[t,a],[t,b],[t,c]},Head,Tail).
Head = [t, a],
Tail = [[t, b], [t, c]].

扩展说明 #

• 上述实现支持任意长度的大括号逗号项，包含2个以上元素的场景都可正常拆分
• 如果需要兼容空大括号{}的场景，可额外增加边界规则：空大括号通过=../2拆解后仅得到[{}]，不存在内部逗号序列，可根据解释器设计返回对应错误或空结构
• 如果你正在开发自定义Prolog解释器，也可以直接在词法/语法解析阶段将{e1,e2,...,en}结构直接解析为原生列表或自定义结构，避免运行时通过=../2做结构转换，执行效率更高。

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