Application development with the CHIP system | SpringerLink
Skip to main content
Springer Nature Link
Log in

Application development with the CHIP system

  • Conference paper
  • First Online:
Constraint Databases and Application (CDB 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1034))

Included in the following conference series:

  • 159 Accesses

Abstract

In this paper we give an overview of industrial application development with the CHIP system. CHIP is a constraint logic programming language which can solve complex decision making problems. It combines declarative logic programming with techniques from Artificial Intelligence, Operations Research and discrete mathematics. Large scale combinatorial problems can be easily expressed and efficiently solved, minimising programming effort while providing flexibility in expressing constraints and assignment strategies. We present examples from many different application areas and present an analysis of advantages and problems of this approach.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. A. Aggoun, N. Beldiceanu Extending CHIP in Order to Solve Complex Scheduling Problems Journal of Mathematical and Computer Modelling, Vol. 17, No. 7, pages 57–73 Pergamon Press, 1993

    Google Scholar 

  2. G. Baues, P. Kay, P. Charlier Constraint Based Resource Allocation for Airline Crew Management ATTIS 94, Paris, April 1994

    Google Scholar 

  3. N. Beldiceanu, E. Contejean Introducing Global Constraints in CHIP Journal of Mathematical and Computer Modelling, Vol 20, No 12, pp 97–123, 1994

    Google Scholar 

  4. J. Bellone, A. Chamard, C. Pradelles PLANE-An Evolutive Planning System for Aircraft Production. First International Conference on the Practical Application of Prolog. 1–3 April 1992, London.

    Google Scholar 

  5. F. Berthier Solving Financial Decision Problems with CHIP Proc 2nd Conf Economics and AI, Paris 223–238, June 1990

    Google Scholar 

  6. R. Bisdorff, S. Laurent, E. Pichon Knowledge Engineering with CHIP — Application to a Production Scheduling Problem in the Wire-Drawing Industry PAP95, Paris, April 1995

    Google Scholar 

  7. P. Bouzimault, Y. Delon, L. Peridy Planning Exams Using Constraint Logic Programming 2nd Conf Practical Applications of Prolog, London, April 1994

    Google Scholar 

  8. A. Chamard, F. Deces, A. Fischler A Workshop Scheduler System written in CHIP 2nd Conf Practical Applications of Prolog, London, April 1994

    Google Scholar 

  9. C. Chiopris, M. Fabris Optimal Management of a Large Computer Network with CHIP 2nd Conf Practical Applications of Prolog, London, April 1994

    Google Scholar 

  10. T. Creemers, L. R. Giralt, J. Riera, C. Ferrarons, J. Rocca, X. Corbella Constrained-Based Maintenance Scheduling on an Electric Power-Distribution Network PAP95, Paris, April 1995

    Google Scholar 

  11. A. Colmerauer An Introduction to Prolog III CACM 33(7), 52–68, July 1990

    Google Scholar 

  12. M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf and F. Berthier. The Constraint Logic Programming Language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS'88), pages 693–702, Tokyo, 1988.

    Google Scholar 

  13. M. Dincbas, H. Simonis, P. Van Hentenryck. Extending Equation Solving and Constraint Handling in Logic Programming, In Colloquium on Resolution of Equations in Algebraic Structures (CREAS), Texas, May 1987.

    Google Scholar 

  14. M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun and T. Graf. Applications of CHIP to industrial and engineering problems. In First International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Tullahoma, Tennessee, USA, June 1988.

    Google Scholar 

  15. M. Dincbas, H. Simonis and P. Van Hentenryck. Solving Large Combinatorial Problems in Logic Programming, Journal of Logic Programming — 8, pages 75–93, 1990.

    Google Scholar 

  16. M. Dincbas, H. Simonis APACHE — A Constraint Based, Automated Stand Allocation System Proc. of Advanced Software Technology in Air Transport (ASTAIR'91) Royal Aeronautical Society, London, UK, 23–24 October 1991, pages 267–282

    Google Scholar 

  17. M. Dincbas, H. Simonis, P. Van Hentenryck Solving a Cutting-Stock Problem with the Constraint Logic Programming Language CHIP Journal of Mathematical and Computer Modelling, Vol. 16, No. 1, pp. 95–105, Pergamon Press, 1992

    Google Scholar 

  18. M. Dincbas, H. Simonis, P. Van Hentenryck. Solving the Car Sequencing Problem in Constraint Logic Programming. In European Conference on Artificial Intelligence (ECAI-88), Munich, W. Germany, August 1988.

    Google Scholar 

  19. T. Fruewirth, A. Herold, V. Kuchenhoff, T. Le Provost, P. Lim, M. Wallace Constraint Logic Programming — An Informal Introduction In Logic Programming in Action LNCS 636, 3–35, 1992

    Google Scholar 

  20. T. Graf, P. Van Hentenryck, C. Pradelles, L. Zimmer Simulation of Hybrid Circuits in Constraint Logic Programming IJCAI, Detroit, August 1989

    Google Scholar 

  21. J. Jaffar, J.L. Lassez Constraint Logic Programming Proc. 14th POPL, Munich, 1987

    Google Scholar 

  22. J. Jaffar M. Maher Constraint Logic Programming: A Survey Journal of Logic Programming, 19/20:503–581, 1994

    Google Scholar 

  23. P. Kay, H. Simonis Building Industrial CHIP Applications from Reusable Software Components PAP95, Paris, April 1995

    Google Scholar 

  24. T. Nipkow, U. Martin Boolean Unification — The Story so far Journal of Symbolic Computation, 7:275–293, 1989

    Google Scholar 

  25. H. Simonis, N. Nguyen, M. Dincbas Verification of Digital Circuits using CHIP In G. Milne (Ed.), The Fusion of Hardware Design and Verification, pages 421–442, North Holland, Amsterdam, 1988

    Google Scholar 

  26. H. Simonis, M. Dincbas Prepositional Calculus Problems in CHIP In A. Colmerauer and F. Benhamou, Editors, Constraint Logic Programming — Selected Research, pages 269–285, MIT Press, 1993

    Google Scholar 

  27. H. Simonis, T. Cornelissens Modelling Producer/Consumer Constraints Proc. Principles and Practice of Constraint Programming, Cassis, France, September 1995

    Google Scholar 

  28. P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Boston, Ma, 1989.

    Google Scholar 

  29. P. Van Hentenryck, H. Simonis, M. Dincbas Constraint Satisfaction using Constraint Logic Programming Journal of Artificial Intelligence, Vol. 58, No.1–3,pp. 113–161, USA, 1992

    Google Scholar 

  30. P. Van Hentenryck, J-P. Carillon. Generality versus Specificity: an Experience with AI and OR Techniques, In American Association for Artificial Intelligence (AAAI-88), St. Paul, Mi, August 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. COSYTEC SA, 4, rue Jean Rostand, F-91893, Orsay Cedex, France

    Helmut Simonis

Authors
  1. Helmut Simonis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gabriel Kuper Mark Wallace

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Simonis, H. (1996). Application development with the CHIP system. In: Kuper, G., Wallace, M. (eds) Constraint Databases and Application. CDB 1995. Lecture Notes in Computer Science, vol 1034. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60794-3_11

Download citation

  • DOI: https://doi.org/10.1007/3-540-60794-3_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60794-6

  • Online ISBN: 978-3-540-49456-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation