Programming Autonomous Robots in Curry
Michael D. Hanus, Klaus Höppner · Electronic Notes in Theoretical Computer Science · 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.