[工学]prolog教程第9章.ppt

第9章 编码风格 本章介绍Visual Prolog 6的编码风格，包括基本元素、推荐格式、程序结构、程序设计语用学、存储管理，以及异常处理。这里描述的Visual Prolog程序的编码标准，是Visual Prolog系统本身的一部分。且用户文档中的例子也是标准的，它门同样也代表了Prolog发展中心为用户推荐的编码标准。 第9章 编码风格 9.1 基本元素 9.2 推荐格式 9.3 程序结构 9.4 程序设计语用学 9.5 存储管理 9.6 异常处理 本章小结与习题 9.1 基本元素 9.1.1 关键字 9.1.2 半关键字 9.1.3 文字 9.1.4 标识符 9.1.5 常量 9.1.6 变量 9.1.7 谓词 9.1.8 论域 9.1.9 类和接口 9.1.1 关键字 关键字以小写字母表示。在有关资料中，关键字是以没有衬线的粗体字被编排的，例如 Arial，缺省颜色为暗黄色。例如 constants domains facts predicates class interface 9.1.2 半关键字 Visual Prolog使用了大量的标识以满足多样化的句法结构，这些词以小写字母书写（除了C调用约定写成C），且一般是没有衬线的字体。这些半关键字依照它们的性质以两种不同的颜色显示。如果这个词表示一种选择，那么它显示为藏青色，而如果它是一种结构词，那么它将以暗黄色显示。 9.1.3 文字 文字显示为蓝色。例如 Hello world! 9.1.4 标识符 标识符的一般格式可以由下面的EBNF语法来描述： Identifier = Prefix WordGroups Suffix WordGroups = WordGroup { ‘_’ WordGroup }* WordGroup = Word + 前缀和后缀被用来表示某种标识符，并将用来处理各种标识符之间的联系。这些词以大写字母书写，当然除了整个标识符的第一个字母必须小写以外。 所有变量以大写字母开始，而其他所有的标识符以小写字母开始。 在文件中，除了关键字，所有的标识符以衬线字体编排。例如Times New Roman字体。 9.1.5 常量 常量既没前缀也没后缀，它以小写字母开始。例如 numberOfRows，pi，logErrorMsg 9.1.6 变量 变量也没前缀和后缀。像前面提到的Prolog要求的那样，变量以大写字母开始。在程序文件中变量以绿色显示。 9.1.7 谓词 谓词没有前缀。然而，“try”可以用来表示一个谓词是确定性的，特别是它被用做从一个相应的程序描述中区分确定性谓词的描述。而后者将引起一个异常而不是失败。例如： trySetValue : (integer Value) determ (i). setValue : (integer Value) procedure (i). 除非为了避免混淆必须添加后缀，否则谓词是没有后缀的。在一些情况下，为避免混淆，表9-1中的后缀应该被选用。 注意：一般来说，多重谓词应以_nd为后缀，但如果环境需要也可用_multi代之。 9.1.7 谓词 表9-1 常用的谓词后缀 9.1.8 论域 论域没有前缀，_list被用做列表论域的后缀。在多数情况下，列表论域没有域名。例如，一个数据库记录是一个值的列表，但是记录是列表值首选的一个更好的论域名。注意论域以小写字母开始。这同样适用于论域如字符串，整数等。例如 string value record record_list 9.1.9 类和接口 类和接口没有前缀。例如 String inputFile template inputStream 传统的COM 接口以“I”开始，现在这个“I”被保留了下来， 但变成了小写： iUnknown iDispatch 9.2 推荐格式 这一节考虑程序代码的格式。通过格式化，我们可以表示折行（line breaking），缩排（indentation）和对齐（alignment）。缩排指行开始处的空格的数量，而对齐指非行首字符的排列结构。 9.2 推荐格式 9.2.1 折行 9.2.2 缩排 9.2.3 对齐 9.2.4 空格字符 9.2.1 折行 折行遵守如下规则： 一行通常不应超过70个字符。 外部句法结构总是在内部结构之前被断开。 不同谓词的子句至少用一个空行分开。 同一谓词的子句不应被一个空行分开。 一个段的关键字之前至少有一个空行。 截断（无论它看起来如何微小）本身应该单独占一行。 一个子句的头在一行。 9.2.2 缩排 通过缩排，实现在行