令第三部分:第12章 sual Prolog:程序元素 第12章Ⅵ /isual prolog程序元素 12.1项 122常量 12.3谓词 124子句 5事实 12.6评估 127程序段 本章小结 本章习题 2004.11.1 A|程序设计
第三部分：第12章 Visual Prolog 程序元素 2004.11.1 AI程序设计 1 第12章 Visual Prolog程序元素 12.1 项 12.2 常量 12.3 谓词 12.4 子句 12.5 事实 12.6 评估 12.7 程序段 本章小结 本章习题
令第三部分:第12章 sual Prolog:程序元素 12.1项 本章介绍 Visua|Poog的程序元素,内 容包括项( Terms)、常量、谓词、子句、 事实、运算、程序段等。 2004.11.1 A|程序设计
第三部分：第12章 Visual Prolog 程序元素 2004.11.1 AI程序设计 2 12.1 项 本章介绍Visual Prolog的程序元素，内 容包括项（Terms）、常量、谓词、子句、 事实、运算、程序段等
令第三部分:第12章 sual Prolog:程序元素 12.1.1项的基本概念 项有两种类型:公式 formulas和表达式 expressIons。 表达式代表数值,比如数字7;公式代表逻辑声明,比如 数字7比数字3大” 下面是项的简化定义,其中包括非法的语法结构。例 如,!十!的书写形式是不合法的。但是,相信在和语言概 念的直觉理解相结合时,使用这样的简化语法表示,在大多 数情况下对于类型系统和运算符层次结构的描述更为有利。 2004.11.1 A|程序设计
第三部分：第12章 Visual Prolog 程序元素 2004.11.1 AI程序设计 3 12.1.1 项的基本概念 项有两种类型：公式formulas和表达式expressions。 表达式代表数值，比如数字7；公式代表逻辑声明，比如 “数字7比数字3大” 。 下面是项的简化定义，其中包括非法的语法结构。例 如，! + !的书写形式是不合法的。但是，相信在和语言概 念的直觉理解相结合时，使用这样的简化语法表示，在大多 数情况下对于类型系统和运算符层次结构的描述更为有利
令第三部分:第12章 sual Prolog:程序元素 12.1.1项的基本概念 term term unaryOperator term 文字有通用类型 term binaryOperator term literal literal stringLiteral identifier characterliteral qualifiedName integerLiteral globalName rea/Litera/ memberAccess binaryLiteral predicate Ca∥ cut cut: ellipsis factvariableAssignment 2004.11.1 A|程序设计
第三部分：第12章 Visual Prolog 程序元素 2004.11.1 AI程序设计 4 12.1.1 项的基本概念 term: ( term ) unaryOperator term term binaryOperator term literal identifier qualifiedName globalName memberAccess predicateCall cut ellipsis factvariableAssignment 文字有通用类型： literal: stringLiteral characterLiteral integerLiteral realLiteral binaryLiteral cut: !
令第三部分:第12章 sual Prolog:程序元素 12.1.1项的基本概念 谓词调用 个谓词调用形式如下: predicateD∥ term( term-comma-sep-list-opt) 首项必须直接声明调用谓词的名字。就是说,首项必须 是一个谓词名,一个限定谓词名或一个成员访问。 注意,有些谓词有返回值,有些则没有返回值。如果一个 谓词有返回值,这个值就必须在上下文中使用,不能被忽 略 2004.11.1 A|程序设计
第三部分：第12章 Visual Prolog 程序元素 2004.11.1 AI程序设计 5 谓词调用 一个谓词调用形式如下： predicateCall: term ( term-comma-sep-list-opt ) 首项必须直接声明调用谓词的名字。就是说，首项必须 是一个谓词名，一个限定谓词名或一个成员访问。 注意，有些谓词有返回值，有些则没有返回值。如果一个 谓词有返回值，这个值就必须在上下文中使用，不能被忽 略。 12.1.1 项的基本概念