導出木からのループ検出による論理プログラムの非停止性証明法
Bibliographic Information
- Other Title
-
- ドウシュツギ カラノ ループ ケンシュツ ニ ヨル ロンリ プログラム ノ ヒテイシセイ ショウメイホウ
- Proving Non-termination of Logic Programs by Detecting Loops in Derivation Trees
Search this article
Abstract
In this paper, we present a method for automatically proving non-termination of logic programs. Given a program and a question pattern, the method proves non-termination by detecting a loop in the derivation tree constructed from the question that represents an arbitrary questions for the question pattern. For soundness, we distinguish variables given as arguments of predicates, and we keep the distinction in the derivation. We also report an implementation of the method, and compare it with other tools by applying it to programs in LP category of Termination Competition 2007.
Journal
-
- 電子情報通信学会技術研究報告SS, ソフトウェアサイエンス
-
電子情報通信学会技術研究報告SS, ソフトウェアサイエンス 107 (275), 1-6, 2007-10
一般社団法人電子情報通信学会
- Tweet
Details 詳細情報について
-
- CRID
- 1050001338803490688
-
- NII Article ID
- 110006451859
- 120005527802
-
- NII Book ID
- AA1123312X
-
- HANDLE
- 2237/21100
-
- NDL BIB ID
- 9257452
-
- ISSN
- 09135685
-
- Text Lang
- ja
-
- Article Type
- journal article
-
- Data Source
-
- IRDB
- NDL
- CiNii Articles