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) 返回指定数字论域的上界值