關(guān)于我們
書單推薦
新書推薦

邏輯編程導(dǎo)論

 邏輯編程導(dǎo)論

定  價:79 元

叢書名:計算機(jī)科學(xué)叢書

        

  • 作者:[美]邁克爾·吉內(nèi)塞雷斯(Michael Genesereth),[美]維奈·K.喬杜里(Vinay K. Chaudhri)
  • 出版時間:2021/10/1
  • ISBN:9787111691815
  • 出 版 社:機(jī)械工業(yè)出版社
  • 中圖法分類:TP273 
  • 頁碼:
  • 紙張:膠版紙
  • 版次:
  • 開本:16開
9
7
6
8
9
7
1
1
8
1
1
1
5
本書采用一種創(chuàng)新的模型論進(jìn)行邏輯編程,從數(shù)據(jù)集的基本概念(即閉原子集)開始。沿著這一基本概念,我們引入視圖(即虛擬關(guān)系);我們將經(jīng)典邏輯程序定義為視圖定義集,使用傳統(tǒng)的類似于Prolog的表示法編寫,但語義是根據(jù)數(shù)據(jù)集而不是根據(jù)實現(xiàn)方式給出。然后介紹了一些閉原子操作,如添加和刪除。
 你還可能感興趣
 我要評論
您的姓名   驗證碼: 圖片看不清?點擊重新得到驗證碼
留言內(nèi)容