《面向对象语言》课程教学资源（讲稿）表14-3内部谓词简述

表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 之 后 立 刻 执 行 ， 即 使

Do Predicates退出或失败。 findall/3 procedure (i,i, o 收集一个非确定性谓词返回的所有解的列表 free/1 determ (O 检查一变量是否是自由的 hasDomain/2 determ(,i procedure (,o 检查变量 Varia benAme是否有论域 domain Name lowerBound// 1 procedure (o 返回指定数字论域的低界 max Digits//1 procedure 检索与浮点指针论域 domain Name相应的基本论域的数字值 (精度) mod//2 算术运算符,返回整数除法的余数 lot/1 determ 对子目标的结果(成功/失败)求反 predicate_ fullname: o->: string Predicate FullName procedure o 这一编辑时间谓词返回字符串 Predicate Fu|Name,它表示子 句体中的 predicate_name得到调用的谓词名字。返回的谓词名用 一作用域加以限制。 predicate_name:(->: string Predicate Name procedure ) 这一编辑时间谓词返回字符串 Predicate FullName,它表示在 其子句体中 predicate_name得到调用的谓词名称 retract/1 nondeter nondeter(o) 从被匹配的内部事实数据库中除去一匹配的事实 retractal/ 1 procedure o 从被匹配的内部事实数据库中除去所有匹配的事实 retractal/2 procedure(, D 从被指定的内部事实数据库 Factssection Name中除去所有匹 配的事实 sizeBitsOf//1 procedure(i) 检索内存中被指定论域 Domain name的实体占用的位数 sizeof//1 procedure o 检索内存中被指定项占用的字节数 :ofDomain//1 procedure o 检索内存中被指定论域 Domainname的实体占用的字节数

Do_Predicates 退出或失败。 findall/3 procedure (i,i,o) 收集一个非确定性谓词返回的所有解的列表 free/1 determ (i) 检查一变量是否是自由的 hasDomain/2 determ (i,i) procedure (i,o) 检查变量 VariableName 是否有论域 domainName. lowerBound//1 procedure (i) 返回指定数字论域的低界 maxDigits//1 procedure (i) 检索与浮点指针论域 domainName 相应的基本论域的数字值 （精度） mod//2 算术运算符，返回整数除法的余数 not/1 determ (i) 对子目标的结果（成功／失败）求反 predicate_fullname : () -> ::string PredicateFullName procedure (). 这一编辑时间谓词返回字符串 PredicateFullName，它表示子 句体中的 predicate_name 得到调用的谓词名字。返回的谓词名用 一作用域加以限制。 predicate_name : () -> ::string PredicateName procedure (). 这一编辑时间谓词返回字符串 PredicateFullName，它表示在 其子句体中 predicate_name 得到调用的谓词名称. retract/1 nondeterm (i) nondeterm (o) 从被匹配的内部事实数据库中除去一匹配的事实. retractall/1 procedure (i) 从被匹配的内部事实数据库中除去所有匹配的事实. retractall/2 procedure (i,i) 从被指定的内部事实数据库FactsSectionName 中除去所有匹 配的事实. sizeBitsOf//1 procedure (i) 检索内存中被指定论域 DomainName 的实体占用的位数 sizeOf//1 procedure (i) 检索内存中被指定项占用的字节数 sizeOfDomain//1 procedure (i) 检索内存中被指定论域 DomainName 的实体占用的字节数

source File_LineNo:(->: unsigned procedure o. 返回在编译器中处理的源文件的当前行号 source File Name:->:: string procedure o 返回在编译器中处理的源文件的名称 source File_ TimeStamp: 0->: string procedure o 返回表示编译器处理的源文件的日期和时间的字符串 succeed/o 谓词 succeed/0总是成功 toBinary//1 procedure i 将指定项转换为 binary表示 to Boolean//1 procedure(o 这一元谓词的用途是将一确定性调用(谓词或事实)转换为一 返回布尔论域值的程序 toString//1 procedure (o 将指定的项转换成字符串表示 toTerm//1 procedure( 将指定项 SrcTerm的字符串/二进制表示转换成与返回值的 Prolog Term变量论域相应的表示 trap/3 determ(, o, D 在设陷阱的谓词中捕获退出、中断和运行错误 try Convert//2 determ i, D 检查输入项 InputTer是否能严格地转换成指定论域 return domain,并返回转换后的项 Return Term unchecked Convert//2 procedure i, i) 论域的无检查的转换 upperBound//1 procedure 返回指定数字论域的上界值

sourceFile_LineNo : () -> ::unsigned procedure (). 返回在编译器中处理的源文件的当前行号 sourceFile_Name : () -> ::string procedure (). 返回在编译器中处理的源文件的名称 sourceFile_TimeStamp : () -> ::string procedure (). 返回表示编译器处理的源文件的日期和时间的字符串 succeed/0 谓词 succeed/0 总是成功 toBinary//1 procedure (i) 将指定项转换为 binary 表示 toBoolean//1 procedure (i) 这一元谓词的用途是将一确定性调用（谓词或事实）转换为一 返回布尔论域值的程序 toString//1 procedure (i) 将指定的项转换成字符串表示 toTerm//1 procedure (i) 将指定项 SrcTerm 的字符串／二进制表示转换成与返回值的 PrologTerm 变量论域相应的表示 trap/3 determ (i,o,i) 在设陷阱的谓词中捕获退出、中断和运行错误 tryConvert//2 determ (i,i) 检查输入项 InputTerm 是否能严格地转换成指定论域 returnDomain，并返回转换后的项 ReturnTerm uncheckedConvert//2 procedure (i,i) 论域的无检查的转换 upperBound//1 procedure (i) 返回指定数字论域的上界值