Programming Autonomous Robots in Curry

by Michael Hanus, Klaus Höppner

Electronic Notes in Theoretical Computer Science (Selected papers from WFLP 2002), Vol. 76, Also available from, 2002

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.

Preprint (PDF) BibTeX-Entry Online