文法

本文档简要介绍了逻辑语法，作为以逻辑语法形式表示XSD模式的背景信息。 逻辑文法是用来表示在逻辑程序设计系统中编写的文法的。本文描述了定子句文法(DCGS)和定子句翻译文法(DCTGs)，DCGS是大多数PROLOG系统的内置部分，DCTG采用了类似的形式。DCTG与[Knuth 1968]和后来的作者所描述的属性文......