Loading...
Please wait, while we are loading the content...
Similar Documents
Non-termination analysis of logic programs with integer arithmetics
| Content Provider | Scilit |
|---|---|
| Author | Voets, Dean Schreye, Danny D. E. |
| Copyright Year | 2011 |
| Description | 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. |
| Related Links | http://arxiv.org/pdf/1109.3256 https://core.ac.uk/download/pdf/34503778.pdf https://www.cambridge.org/core/services/aop-cambridge-core/content/view/4E15EE1DC8711D8B7883C24C2ACAA57B/S1471068411000159a.pdf/div-class-title-non-termination-analysis-of-logic-programs-with-integer-arithmetics-div.pdf |
| Ending Page | 536 |
| Page Count | 16 |
| Starting Page | 521 |
| ISSN | 14710684 |
| e-ISSN | 14753081 |
| DOI | 10.1017/s1471068411000159 |
| Journal | Theory and Practice of Logic Programming |
| Issue Number | 4-5 |
| Volume Number | 11 |
| Language | English |
| Publisher | Cambridge University Press (CUP) |
| Publisher Date | 2011-07-01 |
| Access Restriction | Open |
| Subject Keyword | Theory and Practice of Logic Programming Hardware and Architecture termination Analysis Numerical Computation based Approach |
| Content Type | Text |
| Resource Type | Article |
| Subject | Artificial Intelligence Theoretical Computer Science Computational Theory and Mathematics Hardware and Architecture Software |
