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.
Preview
Unable to display preview. Download preview PDF.
References
TURTLEP++ (last visited 2006-08-14), http://people.freenet.de/turtle++/
ILOG. ILOG Web Site (last visited 2006-08-14), http://www.ilog.com
Koalog Constraint Solver (v3.0) Tutorial (2005) (last visited 2006-08-14), http://www.koalog.com/resources/doc/jcs-tutorial.pdf
Freeman-Benson, B.N.: Constraint Imperative Programming. PhD thesis, University of Washington, Department of Computer Science and Engenieering, Technical Report 91-07-02 (1991)
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)
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)
Krzikalla, O.: Constraint Imperative Programming with CPP. In: International Workshop on Multiparadigm Constraint Programming Languages – MultiCPL, Kinsale, Ireland (2003)
Lopez, G.: The Design and Implementation of Kaleidoscope, a Constraint Imperative Programming Language. PhD thesis, University of Washington (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)