Skip to main content
SpringerLink
Log in

A General Approach for Building Constraint Languages

  • Conference paper
  • First Online:
AI 2002: Advances in Artificial Intelligence (AI 2002)

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

Included in the following conference series:

Abstract

This paper describes a general approach for the integration of arbitrary declarative languages and constraint systems. The main idea is to consider declarative programs together with the language evaluation mechanisms as constraint solvers and to integrate them into an overall system of cooperating solvers. Exemplarily,w e present the integration of a logic language with a constraint system,and the extension of a functional logic language with constraints. The approach allows to build constraint languages according to current requirements and thus it enables comfortable modelling and solving of many problems.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming,19&20:583–628,1994.

    Article  MathSciNet  Google Scholar 

  2. P. Hofstedt. Better Communication for Tighter Cooperation. In First International Conference on Computational Logic, LNCS 1861,2000.

    Google Scholar 

  3. P. Hofstedt. Cooperation and Coordination of Constraint Solvers. PhD thesis, Dresden University of Technology, 2001.

    Google Scholar 

  4. H. Hong. Confluency of Cooperative Constraint Solvers. Technical Report 94-08, Research Institute for Symbolic Computation, Linz, Austria,1994.

    Google Scholar 

  5. J. Jaffar, M.J. Maher, K. Marriott,and P. Stuckey. The Semantics of Constraint Logic Programs. Journal of Logic Programming,37:1–46,1998.

    Article  MATH  MathSciNet  Google Scholar 

  6. M. Marin, T. Ida, and W. Schreiner. A Distributed System for Solving Equational Constraints Based on Lazy Narrowing Calculi. In JSSST Workshop on Programming and Programming Languages (PPL’99),1999.

    Google Scholar 

  7. E. Monfroy. Solver Collaboration for Constraint Logic Programming. PhD thesis,Centre de Recherche en Informatique de Nancy. INRIA,1996.

    Google Scholar 

  8. C. Palamidessi. Algebraic Properties of Idempotent Substitutions. In M.S. Paterson,editor, Automata, Languages and Programming-ICALP, LNCS 443,1990.

    Chapter  Google Scholar 

  9. M. Rueher. An Architecture for Cooperating Constraint Solvers on Reals. In A. Podelski,editor, Constraint Programming: Basics and Trends, LNCS 910,1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Berlin University of Technology, Berlin

    Petra Hofstedt

Authors
  1. Petra Hofstedt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Australian Defence Force Academy, University of New South Wales, ACT 2600, Canberra, Australia

    Bob McKay

  2. Computer Science Laboratory, Australian National University, RSISE Building, ACT 0200, Canberra, Australia

    John Slaney

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hofstedt, P. (2002). A General Approach for Building Constraint Languages. In: McKay, B., Slaney, J. (eds) AI 2002: Advances in Artificial Intelligence. AI 2002. Lecture Notes in Computer Science(), vol 2557. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36187-1_38

Download citation

  • DOI: https://doi.org/10.1007/3-540-36187-1_38

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00197-3

  • Online ISBN: 978-3-540-36187-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation