Abstract: Linear constraint solving in Constraint Logic Programming languages rests on rewriting constraints under syntaxic forms. These syntaxic forms are generally called solved forms, since a satisfiable linear constraint system can be rewritten under one of these forms, and reciprocally, a linear constraint system of one of these forms is satisfiable. This paper aims to present three different solved forms two of which are used in the main CLP languages with linear constraints CHIP, CLP(R) and Prolog III. The third form was proposed by JL. Imbert and P. Van Hentenryck in 1991 [8]. We discuss the advantages and disadvantages of each and present the results of some comparative tests.
Publication Year: 1995
Publication Date: 1995-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
Cited By Count: 8
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot