




版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡介
了解Prolog學(xué)習(xí)目標(biāo):1、了解Prolog的基本語句2、理解Prolog的運(yùn)行機(jī)理
一、謂詞邏輯——Prolog的理論基礎(chǔ)
1、人們?cè)谌粘I钪薪?jīng)常會(huì)有意無意地用到這種邏輯推理。那么,如何讓計(jì)算機(jī)也能夠推理呢?
在Prolog語言中使用了謂詞邏輯來實(shí)現(xiàn)這個(gè)目標(biāo)。
謂詞:指用來描述對(duì)象的狀態(tài)、性質(zhì)及對(duì)象之間的關(guān)系的詞。
邏輯:指食物的因果關(guān)系。
一、謂詞邏輯——Prolog的理論基礎(chǔ)實(shí)踐:請(qǐng)將下列句子用謂詞邏輯來表示。自然語言謂詞邏輯小明喜歡閱讀蘋果是紅色的小華和小芳是同學(xué)Jane和John是朋友一、謂詞邏輯——Prolog的理論基礎(chǔ)2、事實(shí)-規(guī)則和目標(biāo)——Prologd基本語句(1)事實(shí)是Prolog中最簡單的謂詞,一般表示對(duì)象的狀態(tài)、性質(zhì)或?qū)ο笾g的關(guān)系。(2)規(guī)則:當(dāng)一條事實(shí)需要依賴于另一條事實(shí)時(shí),需要用規(guī)則來表示。(3)目標(biāo):用戶的詢問是程序運(yùn)行的目標(biāo)。二、Prolog的運(yùn)行機(jī)理
1、例化2、匹配3、搜索與回顧玩迷宮游戲三、Prolog程序
Prolog程序一般由一組事實(shí)、規(guī)則和目標(biāo)組成。Prolog程序的例子——找朋友課后
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 產(chǎn)品質(zhì)量培訓(xùn)內(nèi)容
- 教師培訓(xùn)匯報(bào)
- 臨床醫(yī)學(xué)現(xiàn)場操作規(guī)范
- 2025年內(nèi)蒙古貨運(yùn)從業(yè)資格證考試題庫答案解析
- 2025至2030年中國泛用型限時(shí)繼電器行業(yè)發(fā)展研究報(bào)告
- 動(dòng)物養(yǎng)殖場衛(wèi)生防疫措施
- 中學(xué)國慶安全教育
- 年產(chǎn)1500噸米糖糕點(diǎn)食品項(xiàng)目可行性研究報(bào)告模板-立項(xiàng)備案
- 設(shè)計(jì)多元化人才培養(yǎng)體系計(jì)劃
- 班級(jí)美術(shù)學(xué)習(xí)小組的建設(shè)計(jì)劃
- 110kV變電站短路電流計(jì)算書
- 船舶帶纜知識(shí)學(xué)習(xí)
- 后腹腔鏡下輸尿管切開取石術(shù)課件
- 與裝修人員簽安全協(xié)議書
- 2023年湖北省武漢市中考英語真題(含答案)
- 全面地476種食物升糖指數(shù)一覽表
- 自然交易理論基礎(chǔ)與進(jìn)階(自然交易理論叢書)
- (完整版)一年級(jí)100以內(nèi)兩位數(shù)加一位數(shù)的進(jìn)位加法練習(xí)題
- 天冬中藥材種植可行性研究報(bào)告
- 肝腎綜合征演示文稿
- 國際關(guān)系理論智慧樹知到答案章節(jié)測試2023年外交學(xué)院
評(píng)論
0/150
提交評(píng)論