附录术语表
附录 术语表
附录术语表 ·本附录是术语表( Glossary),提供 isual Prolog的关 键术语,这些术语以其英文字母顺序给出。 AB C DEF G H I J K L MN O P QR S工 UV Y Z
附录 术语表 • 本附录是术语表（Glossary），提供Visual Prolog的关 键术语，这些术语以其英文字母顺序给出。 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
alignment of memory (内存对齐) 通过对一个混合论域或一个列表论域声明添加对齐说明( alignment specification)的前缀,可以覆盖缺省的内存对齐方式。其语法为: DOM=aign1|2|4 DOMDECL。这里 DOMDECL是一个普通 的论域声明。覆盖对齐方式的主要目的是使复合对象与使用不同于 Visua| Prolog缺省值对齐方式的外部代码保持兼容
alignment of memory （内存对齐） • 通过对一个混合论域或一个列表论域声明添加对齐说明（alignment specification）的前缀，可以覆盖缺省的内存对齐方式。其语法为： DOM = align 1 | 2 | 4 DOMDECL。这里DOMDECL是一个普通 的论域声明。覆盖对齐方式的主要目的是使复合对象与使用不同于 Visual Prolog缺省值对齐方式的外部代码保持兼容
ambiguity of names (名字的歧义性) 名字的用途在其作用域内必须清楚。如果名字表示的是谓词,该则谓 词参数的数目和类型必须清楚。与调用谓词有关的歧义性可通过使用 限定名字避免。为了消除歧义性,类应提供该谓词的实现程序,该谓 词来自于我们所使用的一个归结段( resolve section)的多重继承。 一个归结限定符用于解决来自指定源的实现
ambiguity of names （名字的歧义性） • 名字的用途在其作用域内必须清楚。如果名字表示的是谓词，该则谓 词参数的数目和类型必须清楚。与调用谓词有关的歧义性可通过使用 限定名字避免。为了消除歧义性，类应提供该谓词的实现程序，该谓 词来自于我们所使用的一个归结段（resolve section）的多重继承。 一个归结限定符用于解决来自指定源的实现
And(与) 逻辑与和逻辑或。 由两个或多个部分组成的目标被认为是复合目标,而复合目标的每 部分叫子目标。用逗号“,”分隔子目标,可使用一复合目标以找出 种解,该解中子目标A和子目标B均正确(一个逻辑与)。用分号 ;”分隔子目标,也可找出一种解,该解中至少一个子目标A或子 目标B正确(一个逻辑和)
And（与） • 逻辑与和逻辑或。 • 由两个或多个部分组成的目标被认为是复合目标，而复合目标的每一 部分叫子目标。用逗号“ ， ”分隔子目标，可使用一复合目标以找出 一种解，该解中子目标A和子目标B均正确（一个逻辑与）。用分号 “ ； ”分隔子目标，也可找出一种解，该解中至少一个子目标A或子 目标B正确（一个逻辑和）
anonymous variable (匿名变量) 当变量绑定的值不重要时,在一个普通变量位置使用变量 以下划线开头的变量如“ AnyName"如果在子句中只使用一次,同 样被 isual Prolog编译器认为是匿名变量
anonymous variable （匿名变量） • 当变量绑定的值不重要时，在一个普通变量位置使用变量‘_'。一个 以下划线开头的变量如“_AnyName”如果在子句中只使用一次，同 样被Visual Prolog编译器认为是匿名变量
arguments(参数) 在一个谓词或谓词值调用中传递的值和变量的集体名字
arguments（参数） • 在一个谓词或谓词值调用中传递的值和变量的集体名字
arithmetic expressions (算术表达式) 算术表达式由操作数(数字和变量)、运算符(+,-,*,/)、内部 数学函数d和mod、括号、PFC、用户定义的数学函数、常数和十 进制数值的事实变量组成。表达式的值只有当所有的变量在计算期间 被绑定时才能得到。计算按一定的顺序进行,由算术运算符的优先级 决定;优先级高的运算符先行运算
arithmetic expressions （算术表达式） • 算术表达式由操作数（数字和变量）、运算符（+, -, *, /）、内部 数学函数div和mod、括号、PFC、用户定义的数学函数、常数和十 进制数值的事实变量组成。表达式的值只有当所有的变量在计算期间 被绑定时才能得到。计算按一定的顺序进行，由算术运算符的优先级 决定；优先级高的运算符先行运算
arithmetic operators (算术运算符 ·算术运算符可用于任何算术运算,如:加(+),减(一),乘 (),除(/),整数除(div//2),和求模(mod∥/2-整数除法的 余)。当表达式中有多种算术运算符时,乘、除和求模首先运算,其 次是加、减。当一个表达式中所有的运算符的优先级相同时,按从左 至右的顺序进行。括号内的表达式在所有其他运算符之前优先计算
arithmetic operators （算术运算符） • 算术运算符可用于任何算术运算，如：加（＋），减（－），乘 （＊），除（／），整数除(div//2), 和求模(mod//2 –整数除法的 余)。当表达式中有多种算术运算符时，乘、除和求模首先运算，其 次是加、减。当一个表达式中所有的运算符的优先级相同时，按从左 至右的顺序进行。括号内的表达式在所有其他运算符之前优先计算
arity of predicates (谓词的变元) 个有N个参数的谓词称之为N-元谓词,或者说该谓词有N个变元 不同变元的谓词即使它们名字相同也永远是不同的谓词。以下符号要 用到: Name/N表示一个N元的普通谓词(即不是函数)Name。 Name/N表示一个N元的函数Name。 Name/N.表示一个普通谓词Name,其N个参数后跟着省略参 数(即可变数目的参数)。 -Name//N..表示一个函数Name,有N个参数,后跟着省略参数 (即可变数目的参数)
arity of predicates （谓词的变元） • 一个有N个参数的谓词称之为N-元谓词 ,或者说该谓词有N个变元。 不同变元的谓词即使它们名字相同也永远是不同的谓词。以下符号要 用到： – Name/N 表示一个N元的普通谓词（即不是函数）Name。 – Name//N 表示一个N元的函数Name。 – Name/N... 表示一个普通谓词Name，其N个参数后跟着省略参 数 (即可变数目的参数)。 – Name//N... 表示一个函数Name，有N个参数，后跟着省略参数 (即可变数目的参数)