附录术语表
附录 术语表
附录术语表 ·本附录是术语表( 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正确（一个逻辑和）