第二部分:第9章编码风格 9.2.1折行 折行遵守如下规则: 一行通常不应超过70个字符 外部句法结构总是在内部结构之前被断开 °不同谓词的子句至少用一个空行分开。 同一谓词的子句不应被一个空行分开。 一个段的关键字之前至少有一个空行。 截断(无论它看起来如何微小)本身应该单独占一行。 一个子句的头在一行。 2004.11.3 A|程序设计 16
2004.11.3 AI程序设计 16 第二部分：第9章 编码风格 9.2.1 折行 折行遵守如下规则： • 一行通常不应超过70个字符。 • 外部句法结构总是在内部结构之前被断开。 • 不同谓词的子句至少用一个空行分开。 • 同一谓词的子句不应被一个空行分开。 • 一个段的关键字之前至少有一个空行。 • 截断（无论它看起来如何微小）本身应该单独占一行。 • 一个子句的头在一行
人第二部分:第9章编码风格 9.2.2缩排 通过缩排,实现在行首的空格数量。缩排遵守如下规则 缩排可由相同的步骤实现(例如4个空格)。 如果一套括号的部件必须被分在几行中书写,那么在开括号后面必 须立即插入一个折行,且对于开括号缩排增加一步(没有对齐)。 2004.11.3 A|程序设计 17
2004.11.3 AI程序设计 17 第二部分：第9章 编码风格 9.2.2 缩排 通过缩排，实现在行首的空格数量。缩排遵守如下规则： • 缩排可由相同的步骤实现（例如4个空格）。 • 如果一套括号的部件必须被分在几行中书写，那么在开括号后面必 须立即插入一个折行，且对于开括号缩排增加一步（没有对齐）
第二部分:第9章编码风格 9.2.3对齐 对齐指的是排列结构,这种结构要么不是一行的开始, 要么是通过缩排规则被对齐成行的一行的开始 对齐没有被使用。 2004.11.3 A|程序设计 18
2004.11.3 AI程序设计 18 第二部分：第9章 编码风格 9.2.3 对齐 • 对齐指的是排列结构，这种结构要么不是一行的开始， 要么是通过缩排规则被对齐成行的一行的开始。 • 对齐没有被使用
第二部分:第9章编码风格 9.2.4空格字符 逗号后面的空格可以被省略。 在算符或列表里面,逗号后面的空格可以被省略。 在声明谓词、事实、常量中,“:”之前或之后的空格。 括号前后没有空格,除非这个括号与一个被空格所包围 着的记号相邻,例如‘: 2004.11.3 A|程序设计 19
2004.11.3 AI程序设计 19 第二部分：第9章 编码风格 9.2.4 空格字符 • 逗号后面的空格可以被省略。 • 在算符或列表里面，逗号后面的空格可以被省略。 • 在声明谓词、事实、常量中， “ ： ”之前或之后的空格。 • 括号前后没有空格，除非这个括号与一个被空格所包围 着的记号相邻，例如‘ ：- ’ ， ‘ ： ’
第二部分:第9章编码风格 9.3程序结构 9.3.1段 9.3.2类、接口及实现 9.3.3谓词声明 9.3.4论域 9.3.5子句 9.3.6不确定性循环 9.3.7Word格式化代码 2004.11.3 A|程序设计 20
2004.11.3 AI程序设计 20 第二部分：第9章 编码风格 9.3 程序结构 9.3.1 段 9.3.2 类、接口及实现 9.3.3 谓词声明 9.3.4 论域 9.3.5 子句 9.3.6 不确定性循环 9.3.7 Word格式化代码