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 的实体占用的字节数