Solving Large Combinatorial Problems in Logic Programming

Abstract Many problems in operations research and hardware design are combinatorial problems which can be seen as search problems with constraints. We present an application of CHIP ( C onstraint H andling I n P rolog) to large problems in disjunctive scheduling, graph coloring, and firmware design. chip is a constraint logic-programming language combining the declarative aspects of PROLOG with the efficiency of constraint-solving techniques. It is shown that it allows a natural expression of problems to be executed as efficiently as special-purpose programs written in procedural languages.

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

[2]  Larry Wos,et al.  What Is Automated Reasoning? , 1987, J. Autom. Reason..

[3]  Helmut Simonis,et al.  Extending Equation Solving and Constraint Handling in Logic Programming , 1989 .

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

[5]  Alain Colmerauer,et al.  Note sur Prolog III , 1986, SPLT.

[6]  Hervé Gallaire,et al.  Logic Programming: Further Developments , 1985, SLP.

[7]  J. C. Dodu,et al.  Sur le regroupement optimal des sommets dans un réseau électrique , 1969 .

[8]  Jean-Louis Laurière,et al.  A Language and a Program for Stating and Solving Combinatorial Problems , 1978, Artif. Intell..

[9]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[10]  F. Radermacher.  Scheduling of project networks , 1985 .

[11]  Robert M. Haralick,et al.  Increasing Tree Search Efficiency for Constraint Satisfaction Problems , 1979, Artif. Intell..

[12]  Michel Minoux,et al.  Graphs and Algorithms , 1984 .

[13]  Gerald Jay Sussman,et al.  CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions , 1980, Artif. Intell..

[14]  Eugene C. Freuder.  Synthesizing constraint expressions , 1978, CACM.

[15]  J. Laurière.  Intelligence artificielle : résolution de problèmes par l'homme et la machine , 1987 .

[16]  M. Dincbas.  Constraints, logic programming and deductive databases , 1988 .

[17]  Wolfram Büttner,et al.  Embedding Boolean Expressions into Logic Programming , 1987, J. Symb. Comput..

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