定子句语法

（语言名词）

定子句语法(definite clause grammar)简称DCU.一种逻辑语法.美国学者佩瑞拉(Pereira ,F.)等提出的用一阶谓词中的定子句来描述自然语言.由于定子句表达的语法规则本身就是逻辑程序设计语言Prolog的可执行程序，因而可以被Prolog系统直接解释.