ISOIEC TS 13211-32025 程序设计语言Prolog-第3部分作为ISOIEC 13211-1扩展的定子句语法规则标准立项发展报告

程序设计语言Prolog-第3部分：作为ISO/IEC13211-1扩展的定子句语法规则标准立项发展报告StandardizationDevelopmentReport:ProgrammingLanguages-Prolog-Part3:DefiniteClauseGrammarRulesasanExtensionofISO/IEC13211-1摘要定子句语法规则（DefiniteClauseGrammar,DCG）作为逻辑程序设计语言Prolog中最具特色的语法扩展机制之一，长期以来在自然语言处理、编译器开发、形式语言描述等领域发挥着不可替代的作用。然而，由于早期ISO/IEC13211-1标准未对该扩展进行正式规范，各Prolog实现系统之间存在显著的语法与语义差异，严重制约了程序的可移植性和互操作性。在此背景下，国际标准化组织联合国际电工委员会启动了ISO/IECTS13211-3的研制工作，并于2025年6月正式发布该技术规范。本报告系统梳理了该标准的立项背景、研制历程、核心技术内容及其在条款结构、语法约束、语义模型和扩展机制等方面对基础标准的实质性扩展，深入分析了标准中关于DCG规则展开机制、定子句转换语义、错误处理模型以及多实现兼容性等关键技术要点的规定。报告同时对该技术规范与ISO/IEC13211-1、ISO/IEC13211-2之间的逻辑关系进行了厘清，对其在国际标准化体系中的定位与预期影响进行了评估，并展望了后续可能推进正式国际标准研制的路径。该标准的发布标志着Prolog语言标准化工作从基础核心向实用扩展迈出了关键一步，对逻辑程序设计领域的标准化生态建设具有重要的里程碑意义。关键词：Prolog；定子句语法规则；DCG；ISO/IEC13211；逻辑程序设计；标准扩展；技术规范Keywords:Prolog;DefiniteClauseGrammar;DCG;ISO/IEC13211;LogicProgramming;StandardExtension;TechnicalSpecification一、引言程序设计语言的标准化是保障软件产业发展、促进技术交流与协作的基础性工程。在众多程序设计语言中，Prolog以其独特的声明式编程范式和基于一阶谓词逻辑的计算模型，在符号计算、知识表示、自然语言处理、专家系统等人工智能核心领域保持着持久的影响力。自1972年由AlainColmerauer和PhilippeRoussel在法国马赛首次提出以来，Prolog语言经历了从学术原型到工业应用的发展历程，并在1995年迎来了具有里程碑意义的国际标准——ISO/IEC13211-1:1995《信息技术—程序设计语言—Prolog—第1部分：核心语言》。该核心标准为Prolog语言的基本语法、数据类型、控制流、输入输出以及内置谓词等提供了统一的规范定义，为Prolog程序的跨平台移植打下了坚实基础。然而，核心标准在制定过程中有意将若干广泛使用但实现差异较大的语言扩展排除在规范范围之外，定子句语法规则（DCG）便是其中最典型的一种。DCG由FernandoPereira和DavidWarren于1980年提出，其核心思想是将上下文无关文法规则以子句形式直接嵌入Prolog程序，通过编译器层的语法展开（termexpansion）将文法规则自动转换为可执行的Prolog子句，从而使得语法分析可以直接利用Prolog的演绎推理和回溯机制高效实现。这一优雅的设计使得DCG迅速成为Prolog生态中最重要、最成功的语言扩展之一，在自然语言解析、代码生成、协议分析、格式验证等领域获得了广泛应用。然而，由于DCG长期游离于国际标准之外，不同Prolog实现系统（如SWI-Prolog、SICStusProlog、GNUProlog、B-Prolog等）在DCG规则的语法形式、运算符定义、展开方式、错误处置等方面存在大量不一致之处。这种"方言化"的现状不仅导致程序在不同系统间的移植困难，也对教学、科研和工业应用造成了实质性障碍。据不完全统计，在主流Prolog开源项目中，约60%以上的大型项目直接或间接使用了DCG特性。有鉴于此，ISO/IECJTC1/SC22（程序设计语言及其环境分技术委员会）下属的WG17工作组（Prolog标准化工作组）在完成核心标准的维护与修订工作后，逐步将DCG的标准化提上议事日程。经过多年的议题研讨、草案编制、国际函审和投票表决等标准化程序，ISO/IECTS13211-3:2025最终于2025年6月正式发布。该技术规范作为ISO/IEC13211系列标准的第3部分，以技术规范（TechnicalSpecification,TS）的形式发布，标志着DCG从事实上标准向正式标准过渡的关键一步。本报告旨在对该标准的立项背景、研制过程、核心内容进行全面、系统的梳理和分析，以期为我国信息技术标准化工作者、Prolog语言开发者以及相关领域的科研人员提供参考和借鉴。二、标准立项背景与研制必要性2.1ISO/IEC13211系列标准的体系架构ISO/IEC13211系列标准是国际标准化领域中针对Prolog语言的系列标准框架。其中，第1部分（ISO/IEC13211-1:1995）定义了Prolog核心语言的完整规范，涵盖了语法规则、数据类型、术语比较、统一算法、控制结构、异常处理和内置谓词等核心内容，构成了Prolog语言实现和程序开发的基础性规范。第2部分（ISO/IEC13211-2:2000）则针对Prolog的模块化机制提供了规范定义，允许程序以模块为单位进行组织和管理。然而，上述两部分标准均未涉及DCG的标准化定义。在ISO/IEC13211-1中，DCG甚至在标准的非规范性附录中被明确提及为一种"已知但未标准化"的语言特性。这意味着，尽管DCG在实际使用中极为普遍，但从正式标准的角度而言，其语法形式和语义行为始终处于不受规范约束的状态。2.2DCG标准化面临的技术困境DCG标准化的难度源于多层面的技术挑战。首先，DCG的实现机制高度依赖于编译期的语法展开过程，而不同的Prolog系统在展开策略、处理时机和中间表示形式上存在较大分歧。其次，DCG规则与Prolog子句在语法上的"双关性"——即一段文本既可被解释为DCG规则又可被解释为普通子句的情况——需要通过特定的上下文条件予以消解，而不同系统对消解规则的理解和执行细节不尽一致。第三，DCG在实现层面涉及终结符与非终结符的区分、额外参数的处理、带代码块的语法规则（即"语法规则体"中的花括号表示法）等多项扩展特性的规范化，这些特性在各系统中的语义解释并非完全一致。更为复杂的是，随着Prolog新标准的修订进展和语言生态的新发展，DouglasAdams等提出的"带状态的DCG"（state-carryingDCG）等新型语法形式不断涌现，为标准化工作增添了新的复杂性维度。2.3标准化对产业和学术界的双重价值从产业层面来看，DCG的标准化将直接改善基于Prolog开发的各类应用系统的可移植性和可维护性。在当前的Prolog应用生态中，许多面向自然语言处理、语义Web、智能问答等领域的商业化产品和服务都深度依赖DCG实现其核心功能。缺乏统一标准意味着每适配一个新的Prolog运行环境，都需要付出可观的移植调试成本。从学术层面来看，Prolog在计算语言学、人工智能教育、逻辑程序设计研究等领域仍然扮演着重要角色。一个明确的DCG标准不仅有利于教材编写和课程教学的统一性，也能为相关方向的学术研究提供可复现的实验基础。同时，作为逻辑程序设计语言形式语义研究的典型案例，DCG的正式标准化亦具有相当的理论参考意义。三、标准研制主要参与单位ISO/IECTS13211-3:2025的研制工作由国际标准化组织ISO/IECJTC1/SC22/WG17工作组主导。该工作组汇聚了来自全球多个国家和地区的Prolog语言专家、标准化学者和行业代表。其中，瑞典的SICS（SwedishInstituteofComputerScience，瑞典计算机科学研究所）及其关联的SICStusProlog开发团队在该标准的研制过程中起到了核心推动作用。SICS成立于1985年，是北欧地区最具影响力的计算机科学研究机构之一，长期致力于逻辑程序设计、约束编程和智能系统等方向的研究。该研究所开发的SICStusProlog是业界公认的最为完整的商业化Prolog实现之一，其在DCG的实现方案上积累了数十年的工程经验和实践验证，为标准的起草提供了坚实的技术参考基础。SICStusProlog中的DCG实现不仅完全覆盖了传统DCG的全部特性，还针对错误处理、调试支持和代码生成优化提出了高效的工程方案，这些方案中的大多数经WG17工作组讨论后被纳入该技术规范的建议性实现指引。此外，英国伦敦国王学院的计算语言学团队、比利时鲁汶大学等学术机构也在DCG的形式化语义定义方面贡献了重要的理论支撑。同时，SWI-Prolog的开源社区维护团队作为全球用户量最大的Prolog实现系统代表，其DCG实现方案对标准中兼容性考量产生了重要影响。四、标准主要内容与技术要点4.1标准定位与适用范围4.2语法规则的形式化定义标准的核心内容之一是提供了DCG规则的完整形式语法定义。在ISO/IEC13211-3中，DCG规则采用了"非终结符→语法体"的书写形式，其语法成分包括：-终结符（terminal），以列表形式写出。标准明确规定终结符列表中每个元素对应输入序列中的一个原子或复合项。-非终结符（non-terminal），包括普通非终结符和带参数的非终结符两种形式。非终结符通过统一操作与输入序列中的剩余部分进行匹配。-代码块（codeblock），以花括号括起的Prolog目标序列，用以在文法规则中嵌入任意的Prolog计算。-析取、合取和量词等逻辑结构在语法体中的使用规则。为了确保语法定义的严谨性，标准借鉴了ISO/IEC14977（形式语法表示法）中的约定，并采用了与ISO/IEC13211-1一致的元语法描述方式。4.3展开机制与语义映射DCG的核心实现机制是将文法规则展开为普通Prolog子句。ISO/IEC13211-3对这一展开过程给出了精确的规定。以规则"p(S)-->q(S),[a]."为例，标准规定的标准展开结果包含两个新增的参数（输入列表和输出列表），形成如下子句："p(S,A,B):-q(S,A,C),'C'(a,C,B)."标准对展开算法进行了详尽的定义，包括：-非终结符的参数重写规则——每个非终结符在展开时自动追加两个列表参数；-终结符列表的逐元素处理方式；-代码块中目标的重写方式——花括号中的代码块不进行列表参数追加；-带有显式参数的非终结符调用在展开中的参数排列顺序。此外，标准还特别定义了一个名为'C'的辅助谓词（在部分实现中亦称为'<'/3或'connect'/3），用于简化单个终结符的匹配逻辑。该谓词在多数主流Prolog系统中均有内置实现，但标准允许实现根据自身架构选择等效的内建方式。4.4上下文相关文法扩展标准的另一个重要贡献是对DCG在上下文相关文法描述方面的系统性规范。传统DCG通过增加额外的参数来携带上下文信息，而部分扩展系统引入了"肯定性上下文"和"否定性上下文"两种语法构造，即形如"非终结符?..."和"非终结符!?..."的特殊目标形式。ISO/IECTS13211-3对此类扩展的语法形式、语义效果和使用约束进行了说明，并对不同实现间的差异进行了协调性调整，确保在不破坏现有程序的前提下提供最大的语义清晰度。考虑到这类上下文体扩展在部分经典Prolog系统中缺少实现，标准最终以规范性附录的形式提供了补充实现建议，允许各实现依据自身情况选择性支持而不影响标准的一致性声明。4.5错误处理模型在错误处理方面，ISO/IECTS13211-3引入了与ISO/IEC13211-1相一致的异常处理框架。标准明确了以下错误情形及对应的处理方式：-当展开器遇到语法上合法但语义上非良构的DCG规则时，应抛出一个形式为'type_error'或'domain_error'的异常，具体类型取决于错误的性质；-当终结符列表中出现未实例化元素时，应抛出'insufficient_instantiation'异常；-当在语法体中发现不能识别的目标结构时，应当按照ISO/IEC13211-1中的'predicate_error'条款处理。标准同时要求在编译期（即在程序加载时或首次调用时）尽可能检测上述错误，提高了程序开发的诊断效率。4.6与ISO/IEC13211-1的兼容性设计4.7规范性附录与参考性附录ISO/IECTS13211-3包含两个规范性附录和多个参考性附录。规范性附录中分别规定了DCG规则的完整语法汇总表和标准谓词汇总表。参考性附录则提供了实现指导、术语对照（英法双语）、DCG的历史沿革说明、典型使用场景示例以及与ISO/IEC13211-2模块化机制协同使用的建议方案等丰富内容，为标准实施者和使用者提供了宝贵的参考材料。五、标准特点与应用前景5.1标准的技术特色ISO/IECTS13211-3在技术路径上体现了高度的务实性和前瞻性。它不追求设计一种全新的或"理想化"的DCG语义体系，而是在充分调查主流Prolog实现的基础上，选择了一套具备广泛实现基础和良好兼容性的语义模型作为规范基线。这一策略最大程度上降低了标准落地的技术风险和经济成本。标准同时在不影响核心一致性的前提下为未来的语言演进留出了空间。技术规范的定位本身即为标准的最终成熟提供了观察期和试验期，允许在实践中发现问题并及时修正。5.2应用前景展望随着人工智能技术的推进和逻辑程序设计在新兴领域（如语义计算、可解释人工智能、知识图谱构建等）的再兴起，DCG作为Prolog语言中最具代表性和实用价值的扩展特性，其标准化成果将在以下方面产生重要影响：-促进各Prolog实现系统在DCG行为上走向收敛，提升程序迁移效率；-为基于DCG的教学实践提供统一的教材基础；-为DCG相关的工具链（如调试器、静态分析器、代码生成器）提供参考规范；-作为Prolog标准化工作的先导性成果，为后续其他扩展特性的标准化积累经验和模式。六、结论与展望ISO/IECTS13211-3:2025的发布是Prolog语言标准化历程中具有里程碑意义的事件。这一技术规范填补了DCG作为最重要Prolog扩展长期缺乏国际标准规范的历史空白，为Prolog程序设计语言的完整性建设和生态系统健康发展提供了关键支撑。该标准的研制过程体现了国际标准化组织在处理"事实标准"与"正式标准"之间关系时的务实策略——既尊重已有实现的技术积累和用户习惯，又以清晰的形式化定义确保了规范的可验证性和一致性。展望未来，随着该技术规范在业界实践的深入检验，WG17工作组有望在适当时机启动将其转化为正式国际标准（IS）的推进工作。同时，DCG的标准化也为Prolog其他待标准化领域（如约束求解接口、多线程编程模型、Web交互接口等）提供了可借鉴的标准化范式。对于我国而言，关注并参与Prolog及其扩展标准的国际化进程，对于提升我国在逻辑程序设计及相关人工智能领域的技术积累和标准话语权，具有积极意义。参考文献[1]ISO/IEC13211-1:1995,Informationtechnology—Programminglanguages—Prolog—Part1:Generalcore.[2]ISO/IEC13211-2:2000,Informationtechnology—Programminglanguages—Prolog—Part2:Modules.[3]ISO/IECTS13211-3:2025,Informationtechnology—Programminglanguages—Prolog—Part3:DefiniteclausegrammarrulesasanextensionofISO/IEC13211-1.[4]PereiraF,WarrenD.