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个参数，后跟着省略参数 (即可变数目的参数)