令第三部分:第12章 sual Prolog:程序元素 2.2常量 本节介绍常量( Constant)的有关概念, 内容包括常量段、常量定义等。 2004.11.1 A|程序设计 16
第三部分：第12章 Visual Prolog 程序元素 2004.11.1 AI程序设计 16 本节介绍常量（Constant）的有关概念， 内容包括常量段、常量定义等。 12.2 常量
令第三部分:第12章 sual Prolog:程序元素 2.2.1常量段 个常量段( Constants section)定义了当前作 用域内的常量集。 constants section constants constantDefinition-dot-term-list-opt 2004.11.1 A|程序设计 17
第三部分：第12章 Visual Prolog 程序元素 2004.11.1 AI程序设计 17 12.2.1 常量段 一个常量段（Constants Section）定义了当前作 用域内的常量集。 constantsSection : constants constantDefinition-dot-term-list-opt
令第三部分:第12章 sual Prolog:程序元素 2.2.2常量定义 常量定义( Constant definitions)声明一个命名的常量,包括它的 类型和值。 constantDefinition constant/ame: typeName constantvalue constantName lowerCaseldentifier 常量值 constantvalue是一个表达式,在编译时间内计算。常量名 ConstantName应该是一个小写标识符 lower Caseldentifier。 如果一个类型名 typeName论域是一个标准论域,那么它和冒号:可 以被省略,得到以下简写形式: 2004.11.1 A|程序设计 18
第三部分：第12章 Visual Prolog 程序元素 2004.11.1 AI程序设计 18 12.2.2 常量定义 常量定义（Constant Definitions）声明一个命名的常量，包括它的 类型和值。 constantDefinition : constantName : typeName = constantValue constantName : lowerCaseIdentifier 常量值constantValue是一个表达式，在编译时间内计算。常量名 ConstantName应该是一个小写标识符 lowerCaseIdentifier。 如果一个类型名typeName论域是一个标准论域，那么它和冒号' : '可 以被省略，得到以下简写形式：
令第三部分:第12章 sual Prolog:程序元素 2.2.2常量定义 constantDefinition constantName s constantvalue 以这样的方式定义的常量可以用于所有的上下文中,在这里可以使用 与其同一种类的文字。 如果类型名 typeNanηe被省略,那么常量论域必须明确地被常量值表 达式确定。仅在下列内部论域情况下, typeName才能被省略。 a)数字(整数或实数)常量。在这种情况下,相应的匿名数字论域被 采纳为常量(详细情况参见数字论域) b)二进制常量。 C)字符串常量。 d)字符常量。 2004.11.1 A|程序设计 19
第三部分：第12章 Visual Prolog 程序元素 2004.11.1 AI程序设计 19 12.2.2 常量定义 constantDefinition : constantName = constantValue 以这样的方式定义的常量可以用于所有的上下文中，在这里可以使用 与其同一种类的文字。 如果类型名typeName被省略，那么常量论域必须明确地被常量值表 达式确定。仅在下列内部论域情况下，typeName才能被省略。 a）数字（整数或实数）常量。在这种情况下，相应的匿名数字论域被 采纳为常量（详细情况参见数字论域） b）二进制常量。 c）字符串常量。 d）字符常量
令第三部分:第12章 sual Prolog:程序元素 12.3谓词 本节介绍谓词( Predicates)的有关概念, 内容包括谓词段( Predicates sections)、构造 段( Constructors sections)、接口谓词 ( Predicates from interface)、谓词的元 ( Arity)等。 2004.11.1 A|程序设计
第三部分：第12章 Visual Prolog 程序元素 2004.11.1 AI程序设计 20 12.3 谓词 本节介绍谓词（Predicates）的有关概念， 内容包括谓词段（Predicates Sections）、构造 段（Constructors Sections）、接口谓词 （Predicates from Interface）、谓词的元 （Arity）等