...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Theory and Practice of Logic Programming >Non-termination analysis of logic programs with integer arithmetics
【24h】

Non-termination analysis of logic programs with integer arithmetics

机译：使用整数算术对逻辑程序进行非终止分析

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

摘要

In the past years, analyzers have been introduced to detect classes of non-terminating queries for definite logic programs. Although these non-termination analyzers have shown to be rather precise, their applicability on real-life Prolog programs is limited because most Prolog programs use non-logical features. As a first step towards the analysis of Prolog programs, this paper presents a non-termination condition for Logic Programs containing integer arithmetics. The analyzer is based on our non-termination analyzer presented at International Logic Programming Conference (ICLP) 2009. The analysis starts from a class of queries and infers a subclass of non-terminating ones. In first phase, we ignore the outcome (success or failure) of the arithmetic operations, assuming success of all arithmetic calls. In second phase, we characterize successful arithmetic calls as a constraint problem, the solution of which determines the non-terminating queries.
机译：在过去的几年中，引入了分析器来检测确定逻辑程序的非终止查询类。尽管这些非终止分析仪已经非常精确，但由于大多数Prolog程序使用非逻辑功能，因此它们在实际Prolog程序中的适用性受到限制。作为分析Prolog程序的第一步，本文介绍了包含整数算术的逻辑程序的非终止条件。该分析器基于我们在2009年国际逻辑编程大会（ICLP）上展示的非终止分析器。该分析从一类查询开始，并推断出一个非终止查询的子类。在第一阶段，假设所有算术调用均成功，我们将忽略算术运算的结果（成功或失败）。在第二阶段，我们将成功的算术调用定性为约束问题，其解决方案确定了非终止查询。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号