這篇文章將為大家詳細(xì)講解有關(guān)prolog語(yǔ)言的三種基本語(yǔ)句是分別是哪些，小編覺(jué)得挺實(shí)用的，因此分享給大家做個(gè)參考，希望大家閱讀完這篇文章后可以有所收獲。

讓客戶(hù)滿(mǎn)意是我們工作的目標(biāo)，不斷超越客戶(hù)的期望值來(lái)自于我們對(duì)這個(gè)行業(yè)的熱愛(ài)。我們立志把好的技術(shù)通過(guò)有效、簡(jiǎn)單的方式提供給客戶(hù)，將通過(guò)不懈努力成為客戶(hù)在信息化領(lǐng)域值得信任、有價(jià)值的長(zhǎng)期合作伙伴，公司提供的服務(wù)項(xiàng)目有：主機(jī)域名、網(wǎng)站空間、營(yíng)銷(xiāo)軟件、網(wǎng)站建設(shè)、洛江網(wǎng)站維護(hù)、網(wǎng)站推廣。

prolog語(yǔ)言的三種基本語(yǔ)句是事實(shí)、規(guī)則和詢(xún)問(wèn)，并且同有頭和無(wú)頭的HORN子句相對(duì)應(yīng)；因而用PROLOG語(yǔ)言進(jìn)行的程序設(shè)計(jì)可歸結(jié)為宣布事實(shí)，定義規(guī)則和提出詢(xún)問(wèn)。

Prolog（Programming in Logic的縮寫(xiě)）是一種邏輯編程語(yǔ)言。它建立在邏輯學(xué)的理論基礎(chǔ)之上， 最初被運(yùn)用于自然語(yǔ)言等研究領(lǐng)域。

Prolog簡(jiǎn)介

一種邏輯程序設(shè)計(jì)語(yǔ)言。1972年法國(guó)科莫?jiǎng)诎Ｐ〗M為了提高歸結(jié)法的執(zhí)行效率，研制出一個(gè)定理證明程序的程序執(zhí)行器，取名為PROLOG(Programming In Logic)，標(biāo)志著第一個(gè)邏輯程序設(shè)計(jì)語(yǔ)言PROLOG的誕生。1974年及以后，R.科瓦爾斯基進(jìn)一步從謂詞邏輯的HORN子句的角度闡明PROLOG的理論基礎(chǔ)，系統(tǒng)地提出邏輯程序設(shè)計(jì)的思想。

PROLOG語(yǔ)言的基本語(yǔ)句有三類(lèi)，分別代表事實(shí)、規(guī)則和詢(xún)問(wèn)，并同有頭（無(wú)體、有體）和無(wú)頭的HORN子句相對(duì)應(yīng)。

因而用PROLOG語(yǔ)言進(jìn)行的程序設(shè)計(jì)可歸結(jié)為宣布事實(shí)，定義規(guī)則和提出詢(xún)問(wèn)。

PROLOG程序的解釋執(zhí)行過(guò)程采用特定的輸入歸結(jié)，即從目標(biāo)語(yǔ)句出發(fā)求出它和原來(lái)子句集的一個(gè)子句的歸結(jié)式（尾部和頭部匹配），新的子句再與原來(lái)子句集的一個(gè)子句求歸結(jié)式，以此類(lèi)推。任一時(shí)刻都不在兩個(gè)導(dǎo)出子句或原來(lái)子句集的兩子句間求歸結(jié)式。上例中

⑥：-human(u)，greek(u)（④和⑤的歸結(jié)式,mgu=u/x）

⑦：-greek(socarates)（②和 ⑥的歸結(jié)式，mgu=socarates/u）

⑧：-（③和⑦的歸結(jié)式，得空子句）

問(wèn)題答案是u=socarates。由此可見(jiàn)，PROLOG解釋系統(tǒng)實(shí)際上就是一個(gè)以歸結(jié)原理為基礎(chǔ)的定理證明程序或問(wèn)題求解程序。

時(shí)空效率較低是影響PROLOG語(yǔ)言應(yīng)用的重要問(wèn)題，提高效率的途徑是：改進(jìn)PROLOG解釋系統(tǒng)，采用PROLOG編譯系統(tǒng)，研制PROLOG機(jī)，引入用于控制的元規(guī)則，采用啟發(fā)式搜索方式，啟用智能回溯，采用協(xié)同、并發(fā)求解技術(shù)，開(kāi)發(fā)并行處理機(jī)制。

由于PROLOG解釋程序能根據(jù)推理規(guī)則自動(dòng)尋求問(wèn)題的解，程序設(shè)計(jì)者就可把主要精力放在揭示對(duì)象間的邏輯關(guān)系上而不必過(guò)多地考慮過(guò)程的細(xì)節(jié)，這是向自動(dòng)程序設(shè)計(jì)方向邁進(jìn)了一步。但是PROLOG語(yǔ)言還具有一些非邏輯特征。例如為了控制回溯,采用CUT技術(shù)（切斷技術(shù),意即程序人員用CUT符!通知系統(tǒng)不再考慮過(guò)去已進(jìn)行過(guò)但無(wú)用的搜索通路而且也無(wú)須記錄回溯點(diǎn)的技術(shù)），引入謂詞assert（在數(shù)據(jù)庫(kù)中增添子句）ret ract（從數(shù)據(jù)庫(kù)中刪除子句）。這就使得系統(tǒng)的公理集合在推理過(guò)程中發(fā)生變化，這些都同一階邏輯的基本思想不符。因此PROLOG還不是嚴(yán)格意義下的邏輯程序設(shè)計(jì)語(yǔ)言。為了使其更加邏輯化，需要將語(yǔ)言的非邏輯成分限制到最低程度，這方面的研究正在進(jìn)行中。

關(guān)于“prolog語(yǔ)言的三種基本語(yǔ)句是分別是哪些”這篇文章就分享到這里了，希望以上內(nèi)容可以對(duì)大家有一定的幫助，使各位可以學(xué)到更多知識(shí)，如果覺(jué)得文章不錯(cuò)，請(qǐng)把它分享出去讓更多的人看到。

名稱(chēng)欄目：prolog語(yǔ)言的三種基本語(yǔ)句是分別是哪些-創(chuàng)新互聯(lián)
網(wǎng)站鏈接：http://www.rwnh.cn/article0/csioio.html

成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián)，為您提供動(dòng)態(tài)網(wǎng)站、網(wǎng)站營(yíng)銷(xiāo)、網(wǎng)站設(shè)計(jì)、網(wǎng)站建設(shè)、建站公司、關(guān)鍵詞優(yōu)化

廣告

聲明：本網(wǎng)站發(fā)布的內(nèi)容（圖片、視頻和文字）以用戶(hù)投稿、用戶(hù)轉(zhuǎn)載內(nèi)容為主，如果涉及侵權(quán)請(qǐng)盡快告知，我們將會(huì)在第一時(shí)間刪除。文章觀(guān)點(diǎn)不代表本網(wǎng)站立場(chǎng)，如需處理請(qǐng)聯(lián)系客服。電話(huà)：028-86922220；郵箱：631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載，或轉(zhuǎn)載時(shí)需注明來(lái)源： 創(chuàng)新互聯(lián)