标准摘要
[中文适用范围]： 本文件旨在推动Prolog语法规则在支持ISO/IEC 13211–1:1995/Cor 1:2007/Cor 2:2012/Cor 3:2017和ISO/IEC 13211–2:2000标准Prolog的数据处理系统中的适用性与可移植性。本文件规定了以下内容： a) Prolog语法规则的表示、语法及约束 b) 将语法规则逻辑扩展为Prolog子句的方法 c) 一组用于语法规则解析的内置谓词 [外文原描述]： This document promotes the applicability and portability of Prolog grammar rules in data processing systems that support standard Prolog as defined in ISO/IEC 13211–1:1995/Cor 1:2007/Cor 2:2012/Cor 3:2017 and ISO/IEC 13211–2:2000. This document specifies: a) The representation, syntax, and constraints of Prolog grammar rules b) A logical expansion of grammar rules into Prolog clauses c) A set of built-in predicates for parsing with grammar rules
英文名称Programming languages - Prolog - Part 3: Definite clause grammar rules as an extension of ISO/IEC 13211-1