Programming Autonomous Robots in Curry

13 years 4 months ago

Download www.informatik.uni-kiel.de

In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming languages for the programming of embedded systems. Our programming model is based on a recent proposal to integrate a process-oriented specification language in Curry. We show the basic ideas of our framework and demonstrate its application to robot programming. 1 Motivation Although the advantage of declarative programming languages (e.g., functional, logic, or functional logic languages) for a high-level implementation of software systems is well known, the impact of such languages to many real world applications is quite limited. One reason for this might be the fact that many real-world applications have not only a logical (declarative) component but demand also for an appropriate modeling of the dynamic behavior of a system. For instance, embedded systems become more important applications in our daily ...

Michael Hanus, Klaus Höppner

Real-time Traffic