prolog教程第9章

《prolog教程第9章》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、第9章编码风格本章介绍VisualProlog6的编码风格，包括基本元素、推荐格式、程序结构、程序设计语用学、存储管理，以及异常处理。这里描述的VisualProlog程序的编码标准，是VisualProlog系统本身的一部分。且用户文档中的例子也是标准的，它门同样也代表了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类和接

2、口9.1.1关键字关键字以小写字母表示。在有关资料中，关键字是以没有衬线的粗体字被编排的，例如Arial，缺省颜色为暗黄色。例如constantsdomainsfactspredicatesclassinterface9.1.2半关键字VisualProlog使用了大量的标识以满足多样化的句法结构，这些词以小写字母书写（除了C调用约定写成C），且一般是没有衬线的字体。这些半关键字依照它们的性质以两种不同的颜色显示。如果这个词表示一种选择，那么它显示为藏青色，而如果它是一种结构词，那么它将以暗黄色显示。erroneousfailureproceduredetermnondeter

3、mmultistdcallC...languageas...这个例子显示了颜色和字体。predicatesmyPredicate:(stringValue)procedure(i)languagestdcallas"_myP"9.1.3文字文字显示为蓝色。例如"Helloworld!"9.1.4标识符标识符的一般格式可以由下面的EBNF语法来描述：=={‘_’}*=+前缀和后缀被用来表示某种标识符，

4、并将用来处理各种标识符之间的联系。这些词以大写字母书写，当然除了整个标识符的第一个字母必须小写以外。所有变量以大写字母开始，而其他所有的标识符以小写字母开始。在文件中，除了关键字，所有的标识符以衬线字体编排。例如TimesNewRoman字体。9.1.5常量常量既没前缀也没后缀，它以小写字母开始。例如numberOfRows，pi，logErrorMsg9.1.6变量变量也没前缀和后缀。像前面提到的Prolog要求的那样，变量以大写字母开始。在程序文件中变量以绿色显示。9.1.7谓词谓词没有前缀。然而，“try”可以用来表示一个谓词是确定性的，特别是它被用做从一个相应的程序描述

5、中区分确定性谓词的描述。而后者将引起一个异常而不是失败。例如：trySetValue:(integerValue)determ(i).setValue:(integerValue)procedure(i).除非为了避免混淆必须添加后缀，否则谓词是没有后缀的。在一些情况下，为避免混淆，表9-1中的后缀应该被选用。注意：一般来说，多重谓词应以_nd为后缀，但如果环境需要也可用_multi代之。9.1.7谓词表9-1常用的谓词后缀后缀意义描述_db数据库算符/谓词_ndnondeterm/multi_errerroneous_fail失败_detdeterm_multimulti9.

6、1.8论域论域没有前缀，_list被用做列表论域的后缀。在多数情况下，列表论域没有域名。例如，一个数据库记录是一个值的列表，但是记录是列表值首选的一个更好的论域名。注意论域以小写字母开始。这同样适用于论域如字符串，整数等。例如stringvaluerecordrecord_list9.1.9类和接口类和接口没有前缀。例如StringinputFiletemplateinputStream传统的COM接口以“I”开始，现在这个“I”被保留了下来，但变成了小写：iUnknowniDispatch9.2推荐格式这一节考虑程序代码的格式。通过格式化，我们可以表示折行（linebreak

7、ing），缩排（indentation）和对齐（alignment）。缩排指行开始处的空格的数量，而对齐指非行首字符的排列结构。9.2推荐格式9.2.1折行9.2.2缩排9.2.3对齐9.2.4空格字符9.2.1折行折行遵守如下规则：一行通常不应超过70个字符。外部句法结构总是在内部结构之前被断开。不同谓词的子句至少用一个空行分开。同一谓词的子句不应被一个空行分开。一个段的关键字之前至少有一个空行。截断（无论它看起来如何微小）本身应该单独占一行。一个子句的头在一行。9.2.2缩排通过缩排，实