表14-3内部谓词简述 内部谓词及说明 *∥/2 乘法算术运算 +/2 加法算术运算 减法算术运算 //2 除法算术运算 assert/1 procedure o 在匹配的内部事实数据库的底部插入指定事实 sserta/1 procedure 在匹配的内部事实数据库的顶部插入事实 assert/1 procedure 在匹配的内部事实数据库的底部插入事实 bound/1 determ 检查一指定变量是否绑定到某个值 class_ Name:0->:: string ClassName procedure o 这一编译时间谓词返回字符串 ClassName,表示当前接口或类 的名称 convert//2 procedure i, i 有检查的项转换 digitsOf//1 procedure 返回指定浮点数论域的精度 div//2 算术运算符,返回一整数除法的商 errorExit:(: unsigned ErrorNumber)erroneous(o 用指定返回代码 ErrorNumber执行一次运行错误并设置内部 错误信息 fail:o failure o 调用回溯 finally/2 determ (,i) finally元谓词使应用程序保证清除代码 Final Predicates的 执行,即使当代码块Do_ Predicates的执行被中断。 Final_ Predicates在Do_ Predicates之后立刻执行,即使表 14-3 内部谓词简述 内部谓词及说明 * //2 乘法算术运算 + //2 加法算术运算 - //2 减法算术运算 / //2 除法算术运算 assert/1 procedure (i) 在匹配的内部事实数据库的底部插入指定事实 asserta/1 procedure (i) 在匹配的内部事实数据库的顶部插入事实 assertz/1 procedure (i) 在匹配的内部事实数据库的底部插入事实 bound/1 determ (i) 检查一指定变量是否绑定到某个值 class_Name : () -> ::string ClassName procedure (). 这一编译时间谓词返回字符串 ClassName，表示当前接口或类 的名称 convert//2 procedure (i,i) 有检查的项转换 digitsOf//1 procedure (i) 返回指定浮点数论域的精度 div//2 算术运算符，返回一整数除法的商 errorExi t : (::unsigned ErrorNumber) erroneous (i). 用指定返回代码 ErrorNumber 执行一次运行错误并设置内部 错误信息 fail : () failure (). 调用回溯 finally/2 determ (i,i) finally 元谓词使应用程序保证清除代码 Final_Predicates 的 执行，即使当代码块 Do_Predicates 的执行被中断。 Final_Predicates 在 Do_Predicates 之 后 立 刻 执 行 ， 即 使