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

程序设计语言Prolog-第3部分：作为ISO/IEC13211-1扩展的定子句语法规则标准立项发展报告

StandardizationDevelopmentReport:ProgrammingLanguages-Prolog-Part3:DefiniteClauseGrammarRulesasanExtensionofISO/IEC13211-1

摘要

定子句语法规则（DefiniteClauseGrammar,DCG）作为逻辑程序设计语言Prolog中最具特色的语法扩展机制之一，长期以来在自然语言处理、编译器开发、形式语言描述等领域发挥着不可