Martin Grabmüller, Petra Hofstedt: Turtle: A Constraint Imperative Programming Language, Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, UK, number XX in Research and Development in Intelligent Systems, British Computer Society and Springer-Verlag, December 2003.
This paper was presented in a talk.
14 pages, letter format, English.
Ideally, in constraint programs, the solutions of problems are obtained by specifying their desired properties, whereas in imperative programs, the steps which lead to a solution must be defined explicitly, rather than being derived automatically. This paper describes the design and implementation of the programming language Turtle, which integrates declarative constraints and imperative language elements in order to combine their advantages and to form a more flexible programming paradigm suitable for solving a wide range of problems.
This article is available electronically: [ PDF ]
@InProceedings{GrabmuellerHofstedt2003Turtle,
author = {Martin Grabm{\"u}ller and Petra Hofstedt},
title = {{Turtle: A Constraint Imperative Programming Language}},
editor = {Frans Coenen and Alun Preece and Ann Macintosh},
booktitle = {Twenty-third SGAI International Conference on Innovative
Techniques and Applications of Artificial Intelligence},
year = {2003},
number = {XX},
series = {Research and Development in Intelligent Systems},
address = {Cambridge, UK},
month = {December},
organization = {British Computer Society},
publisher = {Springer-Verlag},
isbn = {1-85233-780-X},
abstract = {Ideally, in constraint programs, the solutions of problems
are obtained by specifying their desired properties, whereas
in imperative programs, the steps which lead to a solution
must be defined explicitly, rather than being derived
automatically. This paper describes the design and
implementation of the programming language Turtle, which
integrates declarative constraints and imperative language
elements in order to combine their advantages and to form a
more flexible programming paradigm suitable for solving a
wide range of problems.}
}