[教育学]第11章 Visual Prolog数据元素.ppt

AI程序设计 第11章 Visual Prolog数据元素 本章介绍Visual Prolog的数据元素，内容包括论域段（Domains Sections）、通用类型和根类型（Universal and Root Types）等。 第11章 Visual Prolog数据元素 11.1 论域段 11.2 通用类型和根类型 本章小结 本章习题 11.1 论域段 一个论域段在当前作用域内定义一组论域（参见接口、类声明和类实现）。 domainsSection : ??? domains domainDefinition-dot-term-list-opt 论域定义 一个论域定义，声明了一个当前作用域内已命名的论域。 domainDefinition : ??? domainName = typeExpression 如果在右边的论域表示一个接口或一个复合论域，那么所定义的论域就是类型表达式的同义词（即完全相同）。否则，所定义的论域称为类型表达式所指示的论域的子类。在这里，论域名domainName应当是小写标识符。 有些地方必须使用论域名而不是类型表达式： ??????1)? 作为形式变元类型的声明； ??????2)? 作为一个常量或一个事实变量的类型； ??????3)? 作为列表论域中的类型。 11.1 论域段 类型表达式 一个类型表达式指示一种类型。 typeExpression: ?? ?typeName ?? ?compoundDomain ?? ?listDomain ?? ?referenceDomain ??? predicateDomain ??? integralDomain ??? realDomain 第十一章小结 本章介绍Visual Prolog的数据元素，内容包括论域段（Domains Sections）、通用类型和根类型（Universal and Root Types）等。 论域段有简单论域、复合论域、列表论域、引用论域、谓词论域、整型 论域及实型论域等。 第十一章 习 题 1、Visual Prolog 的论域段用来声明谓词参数的非标准论域。它与其他语言中的类型一样吗？ 2、这里的谓词与其他语言的函数和过程有关系吗？ 3、引用论域与其他论域有何本质区别？它有什么作用？ 4、引入通用类型和根类型有什么意义？ 11.1.6 整型论域 如果整型范围描述被省略，那么就与父论域相同。如果没有父论域，那就记为处理器的自然长度。 integralRangeDescription : ???[ minimalBoundary-opt ?.. maximalBoundary-opt ] minimalBoundary : ???integralConstantExpression maximalBoundary : ???integralConstantExpression 整型范围描述声明了限定整型论域的最小界minimalBoundary和最大界maximalBoundary。如果该限定被省略，那么就用父论域的限定范围。如果没有父论域，那么用domainSize分别决定这个最大值和最小值。 11.1.6 整型论域 注意：指定的最小值不能超过指定的最大值，即： minimalBoundary = maximalBoundary 最小界minimalBoundary和最大界maximalBoundary必须满足bitsize所隐含规定的位长度。 论域位长度domainSize的值，以及最小界minimalBoundary和最大界maximalBoundary的值必须在编译期间进行计算。 11.1.7 实型论域 实型论域用于表示带有小数部分的数（即浮点数）。实型论域可用于表示非常大和非常小的数。内部论域real具有处理器体系结构的自然精度（也是编译器所赋予的精度）。 realDomain : ???domainName-opt realDomainProperties 如果在realDomainProperties之前声明domainName，那么这个论域本身就必须是一个实数论域，并且结果论域是这个论域的子类型。在此情况下，realDomainProperties不能违背作为一个子类型的可能性，就是说，范围不能被扩展，精度不能被