附录术语表-Read.PPT

附录 术语表 附录 术语表 本附录是术语表（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 = align 1 | 2 | 4 ?DOMDECL。这里DOMDECL是一个普通的论域声明。覆盖对齐方式的主要目的是使复合对象与使用不同于Visual Prolog缺省值对齐方式的外部代码保持兼容。 ambiguity of names（名字的歧义性） 名字的用途在其作用域内必须清楚。如果名字表示的是谓词，该则谓词参数的数目和类型必须清楚。与调用谓词有关的歧义性可通过使用限定名字避免。为了消除歧义性，类应提供该谓词的实现程序，该谓词来自于我们所使用的一个归结段（resolve section）的多重继承。一个归结限定符用于解决来自指定源的实现。 And（与） 逻辑与和逻辑或。 由两个或多个部分组成的目标被认为是复合目标，而复合目标的每一部分叫子目标。用逗号“，”分隔子目标，可使用一复合目标以找出一种解，该解中子目标A和子目标B均正确（一个逻辑与）。用分号“；”分隔子目标，也可找出一种解，该解中至少一个子目标A或子目标B正确（一个逻辑和）。 anonymous variable（匿名变量） 当变量绑定的值不重要时，在一个普通变量位置使用变量‘_。一个以下划线开头的变量如“_AnyName”如果在子句中只使用一次，同样被Visual Prolog编译器认为是匿名变量。 arguments（参数） 在一个谓词或谓词值调用中传递的值和变量的集体名字。 arithmetic expressions（算术表达式） 算术表达式由操作数（数字和变量）、运算符（+, -, *, /）、内部数学函数div和mod、括号、PFC、用户定义的数学函数、常数和十进制数值的事实变量组成。表达式的值只有当所有的变量在计算期间被绑定时才能得到。计算按一定的顺序进行，由算术运算符的优先级决定；优先级高的运算符先行运算。 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个参数，后跟着省略参数(即可变数目的参数)。 atoms（原子） 原子是符号项或者字符串项。 backtracking（回溯） Visual Prolog内部有一个求解有哪些信誉好的足球投注网站机制。当一给定的子目标计算未能成功完成，Visual Prolog返回上一子目标并试着用不同的方法来满足。这就是Visual Prolog的回退且重试方法，称之为回溯，以找到给定问题的解。 backtracking points（回溯点） Visual Prolog使用回退且重试的方法，称之为回溯方法，以对一给定问题找出解。当Visual Prolog开始寻找一问题（或目标）的解时，它要在两种可能的方法之间进行选择。它在一个分枝点设置一个标志（称之为回溯点）并选择第一个子目标进行追踪。如果该子目标失败，Visual Prolog将回退到回溯点并尝试备选的子目标。 binary domain（二进制论域） Visual Prolog有一种特殊的二进制内部论域以保存二进制数据，还有用于创建二进制项和访问二进制项单个元素的谓词， 二进制项的主要作用是保存数据，这些数据再没有其他合理的表示方法，如屏幕位图数据。二进制项可以以文本格式读写。二进制项可象其他项一样比较、合一。 bound varia