## Abstract

Generation of efficient code for constraint logic programming (CLP) languages poses new problems. It is not yet clear which techniques from Prolog compilation will be important nor what sort of domain specific techniques can be developed. As a case study, we describe and evaluate four global optimizations for use in the compilation of the language CLP (). The first three are variants of optimizations used in Prolog compilation. The fourth is novel, and is based on finding constraints which are “future redundant” in the sense that at some point in the future they will be implied by other constraints. Finally, we give evidence in the form of preliminary tests that these optimizations can significantly improve performance.

Constraint logic programming (CLP) languages [7] extend the power of logic programming languages, such as Prolog, by allowing computation over non-symbolic domains such as the real numbers. Compilation of CLP languages poses new problems, requiring techniques used in the compilation of Prolog as well as techniques from operations research for efficient constraint solving. It is yet not clear which optimizations used in Prolog compilation will be important nor what sort of domain specific techniques can be developed.

Constraint logic programming (CLP) languages [7] extend the power of logic programming languages, such as Prolog, by allowing computation over non-symbolic domains such as the real numbers. Compilation of CLP languages poses new problems, requiring techniques used in the compilation of Prolog as well as techniques from operations research for efficient constraint solving. It is yet not clear which optimizations used in Prolog compilation will be important nor what sort of domain specific techniques can be developed.

Originalsprog | Engelsk |
---|---|

Publikationsdato | okt. 1991 |

Antal sider | 15 |

Status | Udgivet - okt. 1991 |

Begivenhed | International Symposium on Logic Programming - San Diego, USA Varighed: 28 okt. 1991 → 1 nov. 1991 |

### Konference

Konference | International Symposium on Logic Programming |
---|---|

Land/Område | USA |

By | San Diego |

Periode | 28/10/1991 → 01/11/1991 |