Skip to main content
SpringerLink
Log in

CHIP and Propia

  • System Descriptions
  • Conference paper
  • First Online:
Logic Programming and Automated Reasoning (LPAR 1992)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 624))

  • 122 Accesses

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

References

  1. A. Aggoun and N. Beldiceanu. Overview of the CHIP Compiler System. In K. Furukuwa and P. Deransart, editors, Proceedings of the 8th International Conference on Logic Programming, pages 775–789, June 1991.

    Google Scholar 

  2. M. Dincbas, H. Simonis, and P. Van Hentenryck. Solving large combinatorial problems in logic programming. Journal of Logic Programming, 8:74–94, 1990.

    Google Scholar 

  3. J. Jaffar and J-L. Lassez. Constraint logic programming. In Proceedings of the 14th ACM POPL Symposium, Munich, West Germany, January 1987.

    Google Scholar 

  4. T. Le Provost and M. Wallace. Domain independent propagation. In Proc. FGCS'92, Tokyo, Japan, June 1992.

    Google Scholar 

  5. P. Van Hentenryck. Constraint Satisfaction in Logic Programming. Logic Programming Series. The MIT Press, 1989.

    Google Scholar 

  6. P. Van Hentenryck and M. Dincbas. Domains in logic programming. In Proceedings of the National Conference on Artificial Intelligence (AAAI-86), pages 759–765, Philadelphia, USA, August 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. European Computer-Industry Research Centre, Arabellastr 17, 8000, München 81, Germany

    Mark Wallace & Thierry Le Provost

Authors
  1. Mark Wallace
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thierry Le Provost
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andrei Voronkov

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wallace, M., Le Provost, T. (1992). CHIP and Propia. In: Voronkov, A. (eds) Logic Programming and Automated Reasoning. LPAR 1992. Lecture Notes in Computer Science, vol 624. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013103

Download citation

  • DOI: https://doi.org/10.1007/BFb0013103

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55727-2

  • Online ISBN: 978-3-540-47279-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation