令第三部分:第12章 sual Prolog:程序元素 12.1.1项的基本概念 事实赋值 赋值操作符:=用于向事实变量 factVariable赋予一个 新值。项term必须被赋于一个适当类型(即与事实变量或子 类型相同的类型)的值。 factvariableAssignment factvariable:= term 2004.11.1 A|程序设计 6
第三部分：第12章 Visual Prolog 程序元素 2004.11.1 AI程序设计 6 事实赋值 赋值操作符 := 用于向事实变量factVariable赋予一个 新值。项term必须被赋于一个适当类型（即与事实变量或子 类型相同的类型）的值。 factVariableAssignment: factVariable := term 12.1.1 项的基本概念
令第三部分:第12章 sual Prolog:程序元素 2.1.2运算符 运算符( Operators)按优先层次进行组织。在规则中,下面各组中 的操作符具有相同的优先权,并且上面的操作符比下面的优先级高。就 是说,一元加减法要比乘法运算符优先级高,而乘法运算符又比加法运 算符高。圆括号可以改变运算优先级。 unaryOperator: binaryoperator: multiplicationOperator additionOperator relationoperator andoperator orOperator 2004.11.1 A|程序设计 7
第三部分：第12章 Visual Prolog 程序元素 2004.11.1 AI程序设计 7 12.1.2 运算符 运算符（Operators）按优先层次进行组织。在规则中，下面各组中 的操作符具有相同的优先权，并且上面的操作符比下面的优先级高。就 是说，一元加减法要比乘法运算符优先级高，而乘法运算符又比加法运 算符高。圆括号可以改变运算优先级。 unaryOperator: - + binaryOperator: multiplicationOperator additionOperator relationOperator andOperator orOperator
令第三部分:第12章 sual Prolog:程序元素 2.1.2运算符 12.1.2.1算术运算符 算术运算符( Arithmetic Operators)用于数字的算术运算。它们是 表达式,用表达式作为参数。它们采用根类型作为参数,并返回通用类 型的结果。(参见通用类型和根类型)所有的算术操作符都是左结合的 (left associative) multiplicationOperator: one of * div mod additionOperator: one of 2004.11.1 A|程序设计 8
第三部分：第12章 Visual Prolog 程序元素 2004.11.1 AI程序设计 8 12.1.2 运算符 12.1.2.1 算术运算符 算术运算符（Arithmetic Operators）用于数字的算术运算。它们是 表达式，用表达式作为参数。它们采用根类型作为参数，并返回通用类 型的结果。（参见通用类型和根类型）所有的算术操作符都是左结合的 （left associative）。 multiplicationOperator: one of * / div mod additionOperator: one of + -
令第三部分:第12章 sual Prolog:程序元素 2.1.2运算符 12.12.2关系运算符 关系运算符( Relational Operators)是公式,用表达式作 参数。它们从本质上是无关联的。 relationOperator: one of ><><=<>><〓 2004.11.1 A|程序设计 9
第三部分：第12章 Visual Prolog 程序元素 2004.11.1 AI程序设计 9 12.1.2 运算符 12.1.2.2 关系运算符 关系运算符（Relational Operators）是公式，用表达式作 参数。它们从本质上是无关联的。 relationOperator: one of > < > = <= <> >< =
令第三部分:第12章 sual Prolog:程序元素 2.1.2运算符 12.1.23逻辑运算符 逻辑运算符( Logical Operators)主要包括逻辑“与(and)”、逻辑 “或(or)”及逻辑“非(ηot)”运算符等。逻辑“与”运算符 andoperator和逻辑“或”运算符 oroperator是公式,用公式作参数 它们是左结合的。","和"and"是同义词,";"和"or"也是同义词。 andOperator: one of and orOperator: one of i or 2004.11.1 A|程序设计 10
第三部分：第12章 Visual Prolog 程序元素 2004.11.1 AI程序设计 10 12.1.2 运算符 12.1.2.3 逻辑运算符 逻辑运算符（Logical Operators）主要包括逻辑“与（and）” 、逻辑 “或（or）”及逻辑“非（not）” 运算符等。逻辑“与”运算符 andOperator和逻辑“或”运算符orOperator是公式，用公式作参数。 它们是左结合的。 " , "和 " and "是同义词， " ; " 和" or "也是同义词。 andOperator: one of , and orOperator: one of ; or