欢迎来到天天文库
浏览记录
ID:43103853
大小:306.50 KB
页数:78页
时间:2019-09-30
《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缩排通过缩排,实
此文档下载收益归作者所有