go top

occurs check 添加释义

网络释义英英释义

  现检查

在很多现代 Prolog 方言和一阶逻辑演算中,变量不能合一于包含它的项;这叫做出现检查(occurs check)。

基于1个网页-相关网页

Occurs check

  • abstract: In computer science, the occurs check is a part of algorithms for syntactic unification. It causes unification of a variable V and a structure S to fail if S contains V.

以上来源于: WordNet

双语例句原声例句权威例句

  • The reason is simply that there is still a need to check the shelves within the store to refill before an out-of-stock situation occurs.

    原因在于,为了在库存耗尽现象发生之前补充产品,仍然需要及时检查仓库中的存货

    youdao

  • File checking occurs in the check function and simply looks for files ending with a tilde (~) or pound sign (#), beginning with a pound sign, or ending with the extension .pyc.

    文件检查发生 check 函数中,仅简单地检查波浪号(~)或者井号(#)结束文件,以井号后开始扩展名 .pyc 结束文件

    youdao

  • If an exception occurs at this point, check to make sure that the correct version of the JLAagent is being used.

    如果此时出现异常,请进行检查确保使用正确JLAagent版本

    youdao

更多双语例句
  • And then it occurs to you that in the next room there's a healthy guy who came in for a check-up.

    然后你突然想起,在隔壁病房,有个来做体检的健康人。

    耶鲁公开课 - 公正课程节选

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定