【定子句文法】
<P align=center><STRONG><FONT size=5>【<FONT color=red>定子句文法</FONT>】</FONT></STRONG></P> <P><STRONG>英語翻譯：definiteclausegrammar</STRONG></P><P><STRONG></STRONG> </P>
<P><STRONG>【辭書名稱】資訊與通信術語辭典</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>用一階述詞邏輯中的定子句來描述之語法叫定子句文法，是一種重要的邏輯語法。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG>由於由定子句表達的語法規則本身，就是邏輯程式設計語言Prolog的可執行程式，因而可被Prolog系統直接解譯。</STRONG></P>
<P><STRONG></STRONG> </P>
<P><STRONG></STRONG> </P>轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
頁:
[1]