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 fromhttp://www.elsevier.nl/locate/entcs/volume76.html, 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