Skip to main content
SpringerLink
Log in
Book cover

International Conference on Applications of Declarative Programming and Knowledge Management

INAP 2005: Declarative Programming for Knowledge Management pp 12–24Cite as

TURTLE++ – A CIP-Library for C++

  • Conference paper

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

Abstract

This article introduces the turtle++ library which combines constraint-based and imperative paradigms and enables in this way constraint imperative programming (CIP) with c++. Integrating CIP into c++ allows to exploit the powerful expressiveness of the CIP paradigm within a language widely used and accepted in practice. We discuss the main concepts and implementation and illustrate programming with turtle++ by means of typical examples.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. TURTLEP++ (last visited 2006-08-14), http://people.freenet.de/turtle++/

  2. ILOG. ILOG Web Site (last visited 2006-08-14), http://www.ilog.com

  3. Koalog Constraint Solver (v3.0) Tutorial (2005) (last visited 2006-08-14), http://www.koalog.com/resources/doc/jcs-tutorial.pdf

  4. Freeman-Benson, B.N.: Constraint Imperative Programming. PhD thesis, University of Washington, Department of Computer Science and Engenieering, Technical Report 91-07-02 (1991)

    Google Scholar 

  5. Grabmüller, M., Hofstedt, P.: Turtle: A Constraint Imperative Programming Language. In: Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Research and Development in Intelligent Systems, vol. XX. Springer, Heidelberg (2003)

    Google Scholar 

  6. Hoche, M., Müller, H., Schlenker, H., Wolf, A.: Firstcs - A Pure Java Constraint Programming Engine. In: International Workshop on Multiparadigm Constraint Programming Languages – MultiCPL, Kinsale, Ireland (2003)

    Google Scholar 

  7. Krzikalla, O.: Constraint Imperative Programming with CPP. In: International Workshop on Multiparadigm Constraint Programming Languages – MultiCPL, Kinsale, Ireland (2003)

    Google Scholar 

  8. Lopez, G.: The Design and Implementation of Kaleidoscope, a Constraint Imperative Programming Language. PhD thesis, University of Washington (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technical University of Berlin,  

    Petra Hofstedt & Olaf Krzikalla

Authors
  1. Petra Hofstedt
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Olaf Krzikalla
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Graduate School of Computer Science and Systems Engineering, Kyushu Institute of Technology, Iizuka, Fukuoka, Japan

    Masanobu Umeda

  2. Fraunhofer FIRST, Kekuléstr. 7, D-12489, Berlin, Germany

    Armin Wolf

  3. IF Computer Japan, 5-28-2 Sendagi, Bunkyo-ku, 113-0022, Tokyo, Japan

    Oskar Bartenstein

  4. Fraunhofer FIRST, Berlin,  

    Ulrich Geske

  5. Universität Würzburg, Am Hubland, 97074, Würzburg, Germany

    Dietmar Seipel

  6. Graduate School of Computer Science and Systems Engineering,, Kyushu Institute of Technology, Iizuka, Fukuoka, Japan

    Osamu Takata

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hofstedt, P., Krzikalla, O. (2006). TURTLE++ – A CIP-Library for C++. In: Umeda, M., Wolf, A., Bartenstein, O., Geske, U., Seipel, D., Takata, O. (eds) Declarative Programming for Knowledge Management. INAP 2005. Lecture Notes in Computer Science(), vol 4369. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11963578_2

Download citation

  • DOI: https://doi.org/10.1007/11963578_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69233-1

  • Online ISBN: 978-3-540-69234-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation