组词典 词语

定子句文法

【定子句文法】基础信息( 英文,繁体)

  • 词语
  • 繁体定子句文法
  • 英文definite clause grammar

【定子句文法】是什么意思

用一阶述词逻辑中的定子句来描述之语法叫定子句文法,是一种重要的逻辑语法。由于由定子句表达的语法规则本身,就是逻辑程式设计语言Prolog的可执行程式,因而可被Prolog系统直接解译。

浏览历史