An improved non-termination criterion for binary constraint logic programs

Abstract : Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given class of queries, i.e. finiteness of all the possible derivations produced by a Prolog engine from any query in that class. In contrast, the study of the dual problem: nontermination w.r.t. the left selection rule i.e the existence of one query in a given class of queries which admits an infinite left derivation, has given rise to only a few papers. In this article, we study non-termination in the more general constraint logic programming framework. We rephrase our previous logic programming approach into this more abstract setting, which leads to a criterion expressed in a logical way and simpler proofs, as expected. Also, by reconsidering our previous work, we now prove that in some sense, we already had the best syntactic criterion for logic programming. Last but not least, we offer a set of correct algorithms for inferring non-termination for CLP.
Keywords : Logic programming
Document type :
Conference papers
Complete list of metadatas

Cited literature [1 references]  Display  Hide  Download

https://hal.univ-reunion.fr/hal-01915757
Contributor : Réunion Univ <>
Submitted on : Thursday, November 8, 2018 - 7:59:40 AM
Last modification on : Thursday, March 28, 2019 - 11:24:11 AM
Long-term archiving on : Saturday, February 9, 2019 - 12:51:09 PM

File

An_improved_non_termination_cr...
Explicit agreement for this submission

Identifiers

  • HAL Id : hal-01915757, version 1

Collections

Citation

Frédéric Mesnard, Etienne Payet. An improved non-termination criterion for binary constraint logic programs. 15th International Workshop on Logic Programming Environments (WLPE'05), Universidad Politécnica de Madrid; Technische Universiteit Eindhoven, Oct 2005, Barcelone, Spain. pp.46-60. ⟨hal-01915757⟩

Share

Metrics

Record views

18

Files downloads

6