Programming Autonomous Robots in Curry

Michael Hanus, Klaus Höppner

Proc. of the 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002) , Research Report UDMI/18/2002/RR, Università degli Studi di Udine, pp. 89-102 , 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 by an example.

Available: PDF (233 KB) | Postscript (498 KB) | Postscript (gzipped) (217 KB) | BibTeX-Entry (1 KB)

Michael Hanus