Constraint Logic Programming - An Overview

In tros report we give an overview of Constraint Logic Programming based on the available work as mentioned in the bibliography. Constraint logic progra.mming languages are a new, powerful class of programming languages based on mathematicallogic which are extended in a logically sound way by constraint solving techniques. The result are highly declara.- tive and flexible languages, which are weIl suited fur combinatorical search problems and linear arithmetic equation solving, features useful in appli- cation areas like planning and scheduling, circuit design and operations' research. After introducing the basic computation domains, na.mely num- berg and boolean values, we discuss current constraint logic progra.mming languages in detail. In this way an overview of the state-of-art in con- straint logic progra.mming is given and its potential applications are out- lined through examples.

[1]  Pascal Van Hentenryck,et al.  The Constraint Logic Programming Language CHIP , 1988, FGCS.

[2]  Akira Aiba,et al.  Introduction to CAL (Extended Abstract) , 1800 .

[3]  Hassan Aït-Kaci,et al.  LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..

[4]  Joxan Jaffar,et al.  Methodology and Implementation of a CLP System , 1987, ICLP.

[5]  Pascal Van Hentenryck,et al.  Solving a Cutting-Stock Problem in Constraint Logic Programming , 1988, ICLP/SLP.

[6]  William Leler,et al.  Constraint programming languages: their specification and generation , 1988 .

[7]  Fumio Mizoguchi,et al.  CS-Prolog: A Generalized Unification Based Constraint Solver , 1987, LP.

[8]  Joxan Jaffar,et al.  Constraint logic programming , 1987, POPL '87.

[9]  Vijay A. Saraswat,et al.  Concurrent constraint programming , 1989, POPL '90.

[10]  Jean-Louis Lassez,et al.  Simplification and Elimination of Redundant Linear Arithmetic Constraints , 1989, NACLP.

[11]  Alain Colmerauer,et al.  Opening the Prolog III universe , 1987 .

[12]  Pascal Van Hentenryck.  A Theoretical Framework for Consistency Techniques in Logic Programming , 1987, IJCAI.

[13]  Catherine Lassez,et al.  A CLP(R) Options Trading Analysis System , 1988, ICLP/SLP.

[14]  Ramachandran Bharath,et al.  An introduction to Prolog , 1986 .

[15]  Roland H. C. Yap,et al.  Constraint Logic Programming and Option Trading , 1987, IEEE Expert.

[16]  Michael J. Maher.  Complete axiomatizations of the algebras of finite, rational and infinite trees , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[17]  Michael J. Maher,et al.  Constraint Hierarchies and Logic Programming , 1989, ICLP.

[18]  Clifford Walinsky,et al.  CLP(Sigma*): Constraint Logic Programming with Regular Sets , 1989, ICLP.

[19]  Pascal Van Hentenryck.  Constraint satisfaction in logic programming , 1989, Logic programming.

[20]  Gert Smolka.  Logic Programming over Polymorphically Order-Sorted Types , 1989 .

[21]  Michael J. Maher,et al.  Reactive Behaviour Semantics for Concurrent Constraint Logic Programs , 1989, NACLP.

[22]  Pascal Van Hentenryck,et al.  Solving the Car-Sequencing Problem in Constraint Logic Programming , 1988, ECAI.

[23]  Jean-Louis Lassez.  Parametric queries, linear constraints and variable elimination , 1990, DISCO.

[24]  Pascal Van Hentenryck,et al.  Simulation of Hybrid Circuits in Constraint Logic Programming , 1989, IJCAI.

[25]  Joxan Jaffar,et al.  From Unification to Constraints , 1987, LP.

[26]  Jean-Louis Lassez,et al.  Applications of a Canonical Form of Gerneralized Linear Constraints , 1988, FGCS.

[27]  Pascal Van Hentenryck,et al.  Forward Checking in Logic Programming , 1987, ICLP.

[28]  Bjørn N. Freeman-Benson,et al.  An incremental constraint solver , 1990, CACM.

[29]  Guy L. Steele,et al.  The definition and implementation of a computer programming language based on constraints , 1980 .