第三部分:第14章内部论域、谓词和常量 第14章内部论域、谓词和常量 14,1概述 14,2内部常量详解 14.3内部论域详解 144内部谓词详解 本章小结 本章习题 2004.11.3 A|程序设计
第三部分：第14章 内部论域、谓词和常量 2004.11.3 AI程序设计 1 第14章 内部论域、谓词和常量 14.1 概述 14.2 内部常量详解 14.3 内部论域详解 14.4 内部谓词详解 本章小结 本章习题
第三部分:第14章内部论域、谓词和常量 14.1概述 Visual prolog包含嵌入式隐藏类,它提供了对所有内部 常量、论域和谓词的声明和实现。 这些内部常量、论域和谓词既可以用于编译单元,也可以 应用于实现(运行时间支持这些程序) 每一编辑单元都隐含着嵌入式隐藏类的声明,但事实上这 类有着专门的惟一内部名,在代码的任何地方都不能直接 引用。在内置项的名字前可以加“"进行限定 注意,子句变量This是在对象谓词子句中自动定义的 下面的表14-1、表14-2、表14-3分别是内部常量、内 部论域、内部谓词的简要描述 2004.11.3 A|程序设计
第三部分：第14章 内部论域、谓词和常量 2004.11.3 AI程序设计 2 14.1 概述 Visual Prolog包含嵌入式隐藏类，它提供了对所有内部 常量、论域和谓词的声明和实现。 这些内部常量、论域和谓词既可以用于编译单元 ,也可以 应用于实现（运行时间支持这些程序）。 每一编辑单元都隐含着嵌入式隐藏类的声明，但事实上这 一类有着专门的惟一内部名，在代码的任何地方都不能直接 引用。在内置项的名字前可以加“::”进行限定。 注意，子句变量This是在对象谓词子句中自动定义的。 下面的表14-1、表14-2、表14-3分别是内部常量、内 部论域、内部谓词的简要描述
第三部分:第14章内部论域、谓词和常量 14.1概述 表14-1内部常量简述 内部常量 说明 compilation_date编译日期 compilation time 编译时间 compiler__ buildDate编译器建立时间 compiler version编译器版本 maxFloatDigits 定义编译器支持的" digits"的最大值 空指针 platform_bits 定义一编译平台的数字容量 platform_ name 定义目标平台名称 2004.11.3 A|程序设计
第三部分：第14章 内部论域、谓词和常量 2004.11.3 AI程序设计 3 14.1 概述 内 部 常 量 说 明 compilation_date 编译日期 compilation_time 编译时间 compiler_buildDate 编译器建立时间 compiler_version 编译器版本 maxFloatDigits 定义编译器支持的"digits"的最大值 null 空指针 platform_bits 定义一编译平台的数字容量 platform_name 定义目标平台名称 表14-1 内部常量简述
第三部分:第14章内部论域、谓词和常量 14.1概述 表14-2内部论域简述 内部论域 说明 char 宽字符 string 以0终止的宽字符序列 symbo 以0终止的宽字符序列 binary 字节序列 integer 有符号整数 unsigned 无符号整数 real 浮点数 pointer 指向内存地址的4字节指针 boolean 布尔值 factdb 内部数据库的命名描述 2004.11.3 A|程序设计
第三部分：第14章 内部论域、谓词和常量 2004.11.3 AI程序设计 4 14.1 概述 表14-2 内部论域简述 内 部 论 域 说 明 char 宽字符 string 以0终止的宽字符序列 symbol 以0终止的宽字符序列 binary 字节序列 integer 有符号整数 unsigned 无符号整数 real 浮点数 pointer 指向内存地址的4字节指针 boolean 布尔值 factdb 内部数据库的命名描述
第三部分:第14章内部论域、谓词和常量 14.1概述 表14-3内部谓词简述 2004.11.3 A|程序设计 5
第三部分：第14章 内部论域、谓词和常量 2004.11.3 AI程序设计 5 14.1 概述 表14-3 内部谓词简述