Skip to main content
SpringerLink
Log in

Constraint-basierte Programmiersprachen

Von den Ursprüngen in der logischen Programmierung bis zu heutigen Anwendungen

  • Fachbeitrag
  • Published:
KI - Künstliche Intelligenz Aims and scope Submit manuscript

Zusammenfassung

Dieser Beitrag zeichnet zunächst kurz die in den logischen Sprachen begründete Geschichte der Constraint-Programmierung nach. Einige einführende Beispiele erläutern die Grundbegriffe und stellen den grundlegenden deklarativen Modellierungsansatz dar. Im Hauptteil des Beitrags werden einige moderne und verbreitete Systeme zur Constraint-basierten Programmierung vorgestellt – sowohl neue Programmiersprachen als auch Bibliotheken für existierende Sprachen. Ein durchgängiges Beispiel veranschaulicht dabei die Unterschiede und Vorzüge der verschiedenen Ansätze.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Listing 1
Listing 2
Listing 3
Listing 4
Listing 5
Listing 6
Listing 7

Literatur

  1. Apt KR, Schaerf A (1999) The alma project, or how first-order logic can help us in imperative programming. In: Olderog ER, Steffen B (Hrsg) Correct system design. Lecture notes in computer science, Bd 1710. Springer, Berlin, S 89–113

    Chapter  Google Scholar 

  2. Apt KR, Wallace M (2007) Constraint logic programming using eclipse. Cambridge University Press, Cambridge

    MATH  Google Scholar 

  3. Freuder EC (1997) In pursuit of the holy grail. Constraints 2(1):57–61

    Article  Google Scholar 

  4. Frühwirth T, Raiser F (eds) (2011) Constraint handling rules: compilation, execution, and analysis. Books on Demand, Stoughton

    Google Scholar 

  5. Gardner M (1979) Mathematical circus. Knopf, New York

    Google Scholar 

  6. Hanus M, Antoy S, Braßel B, Kuchen H, López-Fraguas FJ, Lux W, Moreno-Navarro JJ, Steiner F (2006) Curry. An integrated functional logic language. Version 0.8.2

  7. Hofstedt P (2010) Constraint-based object-oriented programming. IEEE Softw 27(5):53–56

    Article  Google Scholar 

  8. Hofstedt P (2011) Multiparadigm constraint programming languages. Springer, Berlin

    Book  MATH  Google Scholar 

  9. ILOG Solver 6.0. user’s manual. ILOG, 10/2003

  10. Jaffar J, Lassez JL (1987) Constraint logic programming. In: 14th ACM symposium on principles of programming languages (POPL), S 111–119

    Chapter  Google Scholar 

  11. Michalewicz Z, Fogel DB (2004) How to solve it: modern heuristics. Springer, Berlin

    MATH  Google Scholar 

  12. Michel L, Van Hentenryck P (2000) Localizer. Constraints 5:41–82

    Article  Google Scholar 

  13. Michel L, Van Hentenryck P (2003) Comet in context. In: Proceedings of the Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday: principles of computing & knowledge (PCK50). ACM, New York, S 95–107

    Chapter  Google Scholar 

  14. Rossi F, Van Beek P, Walsh T (Hrgs) (2006) Handbook of constraint programming. Foundations of artificial intelligence. Elsevier, Amsterdam

    MATH  Google Scholar 

  15. Saraswat VA (1993) Concurrent constraint programming. MIT Press, Cambridge

    Google Scholar 

  16. Schrijvers T, Stuckey P, Wadler P (2009) Monadic constraint programming. J Funct Program 19(6):663–697

    Article  MathSciNet  MATH  Google Scholar 

  17. Smolka G, Henz M, Würtz J (1995) Object-oriented concurrent constraint programming in Oz. In: Saraswat VA, Van Hentenryck P (eds) Principles and practice of constraint programming. MIT Press, Cambridge. Chap 2

    Google Scholar 

  18. Van Hentenryck P (1999) The OPL optimization programming language. MIT Press, Cambridge

    Google Scholar 

  19. Van Hentenryck P (2007) Constraint programming as declarative algorithmics. In: Benhamou F, Jussien N, O’Sullivan B (eds) Trends in constraint programming. ISTE, London, S 25–39. Chap 1

    Chapter  Google Scholar 

  20. Van Hentenryck P, Michel L (2005) Constraint-based local search. MIT Press, Cambridge

    Google Scholar 

  21. Wuille P, Schrijvers T (2009) Monadic constraint programming with gecode. In: Frisch AM, Lee J (Hrsg) 8th international workshop on constraint modelling and reformulation, S 171–185

    Google Scholar 

  22. Zweistein (2004) Logelei. In: Die Zeit, 31

  23. Chocosolver. http://www.emn.fr/z-info/choco-solver. Last visited 2011-11-02

  24. Dynadec: Constraint-based local search. http://dynadec.com/technology/constraint-based-local-search/. Last visited 2011-11-02

  25. A problem library for constraints. http://www.csplib.org/. Last visited 2011-11-02

  26. The ECLiPSe constraint programming system. http://eclipseclp.org/. Last visited 2011-11-02

  27. Gecode—generic constraint development environment. http://www.gecode.org/. Last visited 2011-11-02

  28. Global constraint catalog: global_cardinality. http://www.emn.fr/z-info/sdemasse/gccat/Cglobal_cardinality.html. Last visited 2011-11-02

  29. JaCoP—Java constraint programming solver. http://jacop.osolpro.com/. Last visited 2011-11-02

  30. SICStus prolog: combinatorial constraints. http://www.sics.se/sicstus/docs/latest4/html/sicstus.html/Combinatorial-Constraints.html. Last visited 2011-11-02

Download references

Author information

Authors and Affiliations

  1. Programming Languages and Compiler Construction, Brandenburg University of Technology Cottbus, Postfach 101344, 03013, Cottbus, Deutschland

    Thomas König & Petra Hofstedt

Authors
  1. Thomas König
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Petra Hofstedt
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Thomas König.

Anhang

Anhang

figure b
figure c
figure d

Rights and permissions

Reprints and permissions

About this article

Cite this article

König, T., Hofstedt, P. Constraint-basierte Programmiersprachen. Künstl Intell 26, 47–54 (2012). https://doi.org/10.1007/s13218-011-0153-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13218-011-0153-4

Schlüsselwörter

Search

Navigation