Smaus, Jan-Georg (1999) Proving Termination of Input-Consuming Logic Programs. In: De Schreye, Danny, ed. Proceedings of the 1999 International Conference on Logic Programming. Logic Programming . MIT Press, Cambridge, Massachusetts, USA, pp. 335-349. ISBN 0-262-54104-1. (KAR id:21745)
PDF
Language: English |
|
Download this file (PDF/258kB) |
![]() |
Request a format suitable for use with assistive technology e.g. a screenreader | |
Postscript
Language: English |
|
Download this file (Postscript/232kB) |
Preview |
Request a format suitable for use with assistive technology e.g. a screenreader |
Abstract
A class of predicates is identified for which termination does not depend on left-to-right execution. The only assumption about the selection rule is that derivations are input-consuming, that is, in each derivation step, the input arguments of the selected atom do not become instantiated. This assumption is a natural abstraction of previous work on programs with delay declarations. The method for showing that a predicate is in that class is based on level mappings, closely following the traditional approach for LD-derivations. Programs are assumed to be well and nicely moded, which are two widely used concepts for verification. Many predicates terminate under such weak assumptions. Knowing these predicates is useful even for programs where not all predicates have this property.
Item Type: | Book section |
---|---|
Additional information: | Proceedings Paper |
Uncontrolled keywords: | logic programming, termination, selection rule, mode, level mapping |
Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
Depositing User: | Mark Wheadon |
Date Deposited: | 05 Sep 2009 12:19 UTC |
Last Modified: | 16 Nov 2021 10:00 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/21745 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):