【定子句文法】

豐碩

【定子句文法】

 

英語翻譯：definiteclausegrammar

 

【辭書名稱】資訊與通信術語辭典

 

用一階述詞邏輯中的定子句來描述之語法叫定子句文法，是一種重要的邏輯語法。

 

由於由定子句表達的語法規則本身，就是邏輯程式設計語言Prolog的可執行程式，因而可被Prolog系統直接解譯。

 

 

轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary