...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Theory and Practice of Logic Programming >A non-termination criterion for binary constraint logic programs
【24h】

A non-termination criterion for binary constraint logic programs

机译：二进制约束逻辑程序的非终止准则

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

On the one hand, termination analysis of logic programs is now a fairly established research topic within the logic programming community. On the other hand, non-termination analysis seems to remain a much less attractive subject. If we divide this line of research into two kinds of approaches, dynamic versus static analysis, this paper belongs to the latter. It proposes a criterion for detecting non-terminating atomic queries with respect to binary constraint logic programming (CLP) rules, which strictly generalizes our previous works on this subject. We give a generic operational definition and an implemented logical form of this criterion. Then we show that the logical form is correct and complete with respect to the operational definition.
机译：一方面，逻辑程序的终止分析现在是逻辑编程社区中一个相当成熟的研究主题。另一方面，非终止分析似乎仍然没有那么吸引人。如果我们把这条研究线分为动态分析和静态分析两种方法，则本文属于后者。它提出了一种针对二进制约束逻辑编程（CLP）规则检测非终止原子查询的标准，该标准严格概括了我们先前在该主题上的工作。我们给出了此准则的一般操作定义和实现的逻辑形式。然后，我们证明逻辑形式相对于操作定义是正确且完整的。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号