[教育學(xué)]第11章visualprolog數(shù)據(jù)元素(編輯修改稿)
2024-11-10 10:43 本頁面
【文章內(nèi)容簡介】 olog數(shù)據(jù)元素 AI程序設(shè)計 18 謂詞模式 指定的謂詞模式可應(yīng)用于下列流模式的每個成員。 predicateMode : one of erroneous failure procedure determ multi nondeterm 謂詞模式可用下列集合來描述： erroneous = {} failure = {Fail} procedure = {Succeed} determ = {Fail, Succeed} multi = {Succeed, BacktrackPoint} nondeterm = {Fail, Succeed, BacktrackPoint} Fail在集合中是指謂詞失敗。 Succeed在集合中是指謂詞成功。 BacktrackPoint在集合中是指該謂詞返回時會帶一個活動的回溯點。 第三部分：第 11章 Visual Prolog數(shù)據(jù)元素 AI程序設(shè)計 19 流模式 流模式（ Flow Pattern）定義了參數(shù)的輸入 /輸出方向，這些參數(shù)與算符 論域相結(jié)合，會成為帶有單個輸入?yún)?shù)的一些部分以及相同輸出參數(shù)的某些部分 的結(jié)構(gòu)。一個流模式由一個流的序列組成，每個流對應(yīng)一個參數(shù)（比如第一個流 對應(yīng)第一個參數(shù)）。 flowPattern : ( flowmaseplistopt ) anyFlow flow : i o functorFlow listFlow ellipsis 第三部分：第 11章 Visual Prolog數(shù)據(jù)元素 AI程序設(shè)計 20 流模式 ?省略流（ Ellipsis flow）模式 省略流（ Ellipsis flow）模式必須與一個省略參數(shù)匹配，并且因此只能作為流模式中的最后一個流。 ellipsis : ... ?算符流 functorFlow 一個算符流 functorFlow聲明了一個算符和構(gòu)成該流的所有的流。當(dāng)然，算符必須在相應(yīng)參數(shù)的論域內(nèi)。 functorFlow : functorName ( flowmaseplistopt ) 一個算符流的聲明不能包含省略流。 第三部分：第 11章 Visual Prolog數(shù)據(jù)元素 AI程序設(shè)計 21 流模式 ?列表流 列表流恰恰與算符流類似，但卻與列表論域具有相同的語法修飾。 listFlow : [ flowmaseplistopt listFlowTailopt ] listFlowTail : | flow 一個列表流不能包含省略流 。 當(dāng)聲明一個謂詞時 ， 流模式可以被省略 。 在一個實現(xiàn)內(nèi)部 （ 即對于一個局部謂詞而言 ） ， 所需流模式源自該謂詞的用法 。 在一個接口或一個類聲明內(nèi)部 （ 即對于一個公有謂詞而言 ） ， 省略流是指所有參數(shù)均為輸入?yún)?shù) 。 特殊的流模式 anyflow只能在局部謂詞中進行聲明 （ 即在一個類的實現(xiàn)內(nèi)部的謂詞聲明 ） 。 這意味著確切的流模式將在編譯過程中估計出來 。 如果可選的先前謂詞模式在這個流模式中被省略 ， 那么就假定它是一個過程 （ procedure） 。 第三部分：第 11章 Visual Prolog數(shù)據(jù)元素 AI程序設(shè)計 22 流模式 舉例 domains pp1 = (integer Argument1). pp1是一個謂詞論域 。 具有類型 pp1的謂詞帶有一個整型變量作為參數(shù) 。 由于沒有聲明流模式 ， 所以該參數(shù)被認為是輸入?yún)?shù)；而且 ， 沒有提到謂詞模式 ，所以該謂詞是過程 （ procedure） 。 舉例 domains pp2 = (integer Argument1) integer ReturnType. 類型 pp2的謂詞帶有一個整型變量作為參數(shù) ， 并返回一個整型類型的值 。 因此 ， pp2 實際上是一個函數(shù)論域 ， 具有類型 pp2的謂詞實際上是函數(shù) 。 由于沒有聲明流模式 ， 所以該參數(shù)被認為是輸入?yún)?shù) 。 而且 ， 沒有提到謂詞模式 ， 因此該謂詞是過程 。 第三部分：第 11章 Visual Prolog數(shù)據(jù)元素 AI程序設(shè)計 23 調(diào)用約定 調(diào)用約定（ Calling Convention）決定了參數(shù)等如何傳遞給謂詞，也決定了從一個謂詞名怎樣獲得一個連接名。 callingConvention : language callingConventionKind callingConventionKind : one of c stdcall apicall prolog 如果沒有聲明一個調(diào)用約定，那么就假定用 Prolog約定。 Prolog調(diào)用約定是一個用于 Prolog謂詞的標(biāo)準約定。 調(diào)用約定 C繼承了 C/C++的標(biāo)準調(diào)用約定。一個謂詞的連接名用一個加前導(dǎo)下劃線 (_)的謂詞名創(chuàng)建。 調(diào)用約定 stdcall采用 C連接名策略，但是它用了不同的變量和堆棧處理規(guī)則。表 111顯示了 stdcall調(diào)用約定的實現(xiàn)情況。 第三部分：第 11章 Visual Prolog數(shù)據(jù)元素 AI程序設(shè)計 24 調(diào)用約定 表 111 stdcall調(diào)用約定的實現(xiàn) 特 性 實 現(xiàn) 參數(shù)傳遞順序 從右至左 參數(shù)傳遞約定 按值傳遞，除非傳遞的是一個復(fù)合論域項或引用類型。因此 不能用于參數(shù)數(shù)目變化的謂詞。 堆棧維護職責(zé) 被調(diào)用的謂詞從堆棧中彈出自身參數(shù) 名稱修飾約定 一個下劃線 (_)作為謂詞名的前綴 大小寫轉(zhuǎn)換約定 不執(zhí)行謂詞名的大小寫轉(zhuǎn)換 第三部分：第 11章 Visual Prolog數(shù)據(jù)元素 AI程序設(shè)計 25 調(diào)用約定 調(diào)用約定 apicall使用與 stdcall相同的參數(shù)和堆棧處理規(guī)則 ， 但是為了方便地調(diào)用 MS Windows API 函數(shù) ， apicall采用了大多數(shù) MS Windows API 函數(shù)所用的名稱約定 。 根據(jù) apicall的名稱約定 ， 一個謂詞的連接名結(jié)構(gòu)如下：
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1