[教育學(xué)]第11章visualprolog數(shù)據(jù)元素-資料下載頁(yè)
2024-10-14 10:43本頁(yè)面
【正文】 malBoundaryopt .. maximalBoundaryopt ] minimalBoundary : integralConstantExpression maximalBoundary : integralConstantExpression 整型范圍描述聲明了限定整型論域的最小界 minimalBoundary和最大界 maximalBoundary。 如果該限定被省略 ， 那么就用父論域的限定范圍 。 如果沒有父論域 ， 那么用 domainSize分別決定這個(gè)最大值和最小值 。 第三部分：第 11章 Visual Prolog數(shù)據(jù)元素 AI程序設(shè)計(jì) 33 整型論域 注意：指定的最小值不能超過指定的最大值 ， 即： minimalBoundary = maximalBoundary 最小界 minimalBoundary和最大界 maximalBoundary必須滿足bitsize所隱含規(guī)定的位長(zhǎng)度 。 論域位長(zhǎng)度 domainSize的值，以及最小界 minimalBoundary和最大界 maximalBoundary的值必須在編譯期間進(jìn)行計(jì)算。 第三部分：第 11章 Visual Prolog數(shù)據(jù)元素 AI程序設(shè)計(jì) 34 實(shí)型論域 實(shí)型論域用于表示帶有小數(shù)部分的數(shù)（即浮點(diǎn)數(shù)）。實(shí)型論域可用于表示非常大和非常小的數(shù)。內(nèi)部論域 real具有處理器體系結(jié)構(gòu)的自然精度（也是編譯器所賦予的精度）。 realDomain : domainNameopt realDomainProperties 如果在 realDomainProperties之前聲明 domainName，那么這個(gè)論域本身就必須是一個(gè)實(shí)數(shù)論域，并且結(jié)果論域是這個(gè)論域的子類型。在此情況下， realDomainProperties不能違背作為一個(gè)子類型的可能性，就是說，范圍不能被擴(kuò)展，精度不能被增加。 第三部分：第 11章 Visual Prolog數(shù)據(jù)元素 AI程序設(shè)計(jì) 35 實(shí)型論域 realDomainProperties : realPrecisionDescription realRangeDescriptionopt realRangeDescription realPrecisionDescription realPrecisionDescription : digits integralConstantExpression 實(shí)型精度描述聲明了實(shí)型論域的精度，精度由小數(shù)位數(shù)決定。如果精度省略，則與父論域相同。若沒有父論域，那么就取處理器的自然精度或是編譯器所指定的精度（在 Visual Prolog 6中編譯器限制為 19位數(shù)）。編譯器會(huì)給精度一個(gè)上限和一個(gè)下限，如果精度超過了所用限度，就只獲得處理器（編譯器）所指定的精度。 第三部分：第 11章 Visual Prolog數(shù)據(jù)元素 AI程序設(shè)計(jì) 36 實(shí)型論域 realRangeDescription : [ minimalRealBoundaryopt .. maximalRealBoundaryopt ] minimalRealBoundary : realConstantExpression maximalRealBoundary : realConstantExpression 這里， realConstantExpression是一個(gè)表達(dá)式，必須在編譯時(shí)間內(nèi)計(jì)算出浮點(diǎn)數(shù)值。就是說在編譯時(shí)間內(nèi)，實(shí)型論域的精度和限制都必須計(jì)算出來。 第三部分：第 11章 Visual Prolog數(shù)據(jù)元素 AI程序設(shè)計(jì) 37 實(shí)型論域 實(shí)型論域描述聲明了實(shí)型論域的上下限 。 如果這一限制被省略 ， 那就是與父論域相同 。 如果沒有父論域 ， 那么就將使用最大可能的精度范圍 。 注意 ， 指定的最小界不能超過指定的最大界 ， 即： minimalRealBoundary = maximalRealBoundary 而且，最小界 minimalBoundary和最大界maximalBoundary應(yīng)當(dāng)滿足指定精度數(shù)位所隱含規(guī)定的限制范圍。 第三部分：第 11章 Visual Prolog數(shù)據(jù)元素 AI程序設(shè)計(jì) 38 Visual Prolog 使用某些稱為根類型（ Root types）和通用類型（ universal types）的整數(shù)類型。 通用類型和根類型 第三部分：第 11章 Visual Prolog數(shù)據(jù)元素 AI程序設(shè)計(jì) 39 通用類型 一個(gè)數(shù)字文字比如 1，不具有任何特殊的類型，它可以用作包括實(shí)型在內(nèi)的任意包含 1的類型的值。 可以說， 1具有一個(gè)通用類型。通用類型指能夠表示其值的任意類型。 算術(shù)運(yùn)算也返回通用類型。 第三部分：第 11章 Visual Prolog數(shù)據(jù)元素 AI程序設(shè)計(jì) 40 根類型 算術(shù)運(yùn)算對(duì)操作數(shù)的運(yùn)算限制極低：任意整型論域的整數(shù)都可以相加。就是說，算術(shù)操作數(shù)是將根類型作為參數(shù)的。整數(shù)根類型是任意整型的超類型（即便聲明中并沒有提及）。因此，任意整型都可以轉(zhuǎn)化為整數(shù)根類型。并且，由于算術(shù)運(yùn)算因根類型而存在，就意味著它們其中之一將作用于任意整型論域。 關(guān)于根類型的具體數(shù)目以及操作數(shù)的存在形式與基本通用軟件庫(kù)設(shè)施有關(guān) ， 不在我們的討論范圍之內(nèi) 。 第三部分：第 11章 Visual Prolog數(shù)據(jù)元素 AI程序設(shè)計(jì) 41 第十一章小結(jié) 本章介紹 Visual Prolog的數(shù)據(jù)元素，內(nèi)容包括論域段（ Domains Sections）、通用類型和根類型（ Universal and Root Types）等。 論域段有簡(jiǎn)單論域、復(fù)合論域、列表論域、引用論域、謂詞論域、整型 論域及實(shí)型論域等。 第三部分：第 11章 Visual Prolog數(shù)據(jù)元素 AI程序設(shè)計(jì) 42 第十一章 習(xí) 題 Visual Prolog 的論域段用來聲明謂詞參數(shù)的非標(biāo)準(zhǔn)論域。它與其他語言中的類型一樣嗎？ 這里的謂詞與其他語言的函數(shù)和過程有關(guān)系嗎？ 引用論域與其他論域有何本質(zhì)區(qū)別？它有什么作用？ 引入通用類型和根類型有什么意義？
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1