Meld: A declarative approach to programming ensembles
Authors:
- 1 October 2007
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 21530858,p. 2794-2800
Abstract
This paper presents Meld, a programming language for modular robots, i.e., for independently executing robots where inter-robot communication is limited to immediate neighbors. Meld is a declarative language, based on P2, a logic- programming language originally designed for programming overlay networks. By using logic programming, the code for an ensemble of robots can be written from a global perspective, as opposed to a large collection of independent robot views. This greatly simplifies the thought process needed for programming large ensembles. Initial experience shows that this also leads to a considerable reduction in code size and complexity. An initial implementation of Meld has been completed and has been used to demonstrate its effectiveness in the Claytronics simulator. Early results indicate that Meld programs are considerably more concise (more than 20times shorter) than programs written in C++, while running nearly as efficiently.Keywords
This publication has 7 references indexed in Scilit:
- The regiment macroprogramming system2007
- A 3D Fax Machine based on Claytronics2006
- Declarative networking2006
- Infrastructure for Engineered Emergence on Sensor/Actuator NetworksIEEE Intelligent Systems, 2006
- TinyDB: an acquisitional query processing system for sensor networksACM Transactions on Database Systems, 2005
- Hood2004
- Linear logicTheoretical Computer Science, 1987