termination prediction for general logic programs
文献类型：期刊论文
| 作者 | Shen Yi-Dong ; De Schreye Danny ; Voets Dean |
| 刊名 | THEORY AND PRACTICE OF LOGIC PROGRAMMING
 |
| 出版日期 | 2009 |
| 卷号 | 9期号:6页码:751-780 |
| 关键词 | Logic programming termination analysis loop checking moded queries termination prediction |
| ISSN号 | 1471-0684 |
| 学科主题 | Computer Science ; Software Engineering; Computer Science ; Theory & Methods |
| WOS记录号 | WOS:000271985400002 |
| 公开日期 | 2011-03-18 |
| 附注 | We present a heuristic framework for attacking the undecidable termination problem of logic programs, as an alternative to current termination/nontermination proof approaches. We introduce an idea of termination prediction, which predicts termination of a logic program in case that neither a termination nor a non-termination proof is applicable. We establish a necessary and sufficient characterization of infinite (generalized) SLDNF-derivations with arbitrary (concrete or moded) queries, and develop an algorithm that predicts termination of general logic programs with arbitrary nonfloundering queries. We have implemented a termination prediction tool and obtained quite satisfactory experimental results. Except for five programs which break the experiment time limit, Our prediction is 100% correct for all 296 benchmark programs of the Termination Competition 2007, of which 18 programs cannot be proved by any of the existing state-of-the-art analyzers like AProVE07, NTI, Polytool, and TALP. |
| 源URL | [http://124.16.136.157/handle/311060/7922]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
| 推荐引用方式 GB/T 7714 | Shen Yi-Dong,De Schreye Danny,Voets Dean. termination prediction for general logic programs[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING,2009,9(6):751-780. |
| APA | Shen Yi-Dong,De Schreye Danny,&Voets Dean.(2009).termination prediction for general logic programs.THEORY AND PRACTICE OF LOGIC PROGRAMMING,9(6),751-780. |
| MLA | Shen Yi-Dong,et al."termination prediction for general logic programs".THEORY AND PRACTICE OF LOGIC PROGRAMMING 9.6(2009):751-780. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。