In this paper, we introduce a method for proving universal termination of constraint logic programs by strictly extending the approach of Apt and Pedreschi [1]. Taking into account a generic constraint domain instead of the standard Herbrand univers, acceptable (CLP) programs are defined. We prove correctness and completeness of the method w.r.t. the leftmost selection rule for the class of ideal constraint systems, including CLP(R lin ), CLP(RT), and CLP(FT) among the others. Moreover, we investigate the problems arising in extending those results to non-ideal constraint system, by specifically designing sufficient conditions for termination of CLP(R) programs.
Titolo: | Termination of Constraint Logic Programs |
Autori interni: | |
Anno del prodotto: | 1997 |
Rivista: | |
Abstract: | In this paper, we introduce a method for proving universal termination of constraint logic programs by strictly extending the approach of Apt and Pedreschi [1]. Taking into account a generic constraint domain instead of the standard Herbrand univers, acceptable (CLP) programs are defined. We prove correctness and completeness of the method w.r.t. the leftmost selection rule for the class of ideal constraint systems, including CLP(R lin ), CLP(RT), and CLP(FT) among the others. Moreover, we investigate the problems arising in extending those results to non-ideal constraint system, by specifically designing sufficient conditions for termination of CLP(R) programs. |
Handle: | http://hdl.handle.net/11568/49409 |
ISBN: | 9783540631651 |
Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |