Meld: A declarative approach to programming ensembles

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 netw...

Full description

Saved in:
Bibliographic Details
Published in:2007 IEEE/RSJ International Conference on Intelligent Robots and Systems pp. 2794 - 2800
Main Authors: Ashley-Rollman, M.P., Goldstein, S.C., Lee, P., Mowry, T.C., Pillai, P.
Format: Conference Proceeding
Language:English
Published: IEEE 01.10.2007
Subjects:
Computer languages
Distributed computing
Dynamic programming
Intelligent robots
Logic programming
Orbital robotics
Programming profession
Robot programming
Robot sensing systems
USA Councils
ISBN:9781424409112, 142440911X
ISSN:2153-0858
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
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.
AbstractList 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.
Author Goldstein, S.C.
Lee, P.
Pillai, P.
Ashley-Rollman, M.P.
Mowry, T.C.
Author_xml – sequence: 1
  givenname: M.P.
  surname: Ashley-Rollman
  fullname: Ashley-Rollman, M.P.
  organization: Carnegie Mellon Univ., Pittsburgh
– sequence: 2
  givenname: S.C.
  surname: Goldstein
  fullname: Goldstein, S.C.
  organization: Carnegie Mellon Univ., Pittsburgh
– sequence: 3
  givenname: P.
  surname: Lee
  fullname: Lee, P.
  organization: Carnegie Mellon Univ., Pittsburgh
– sequence: 4
  givenname: T.C.
  surname: Mowry
  fullname: Mowry, T.C.
  organization: Carnegie Mellon Univ., Pittsburgh
– sequence: 5
  givenname: P.
  surname: Pillai
  fullname: Pillai, P.
BookMark eNo1UNlKw0AUHbEFm5oPEF_mBxLvLJnFt1KsFioF7XuZmdypkSwlCYJ_b8T6dM7lLHBPQmZt1yIhdwxyxsA-bN_27zkH0LkU1koDVyRhkksJlnFzTVKrzf_N-IwsOCtEBqYwc5L85pSdJHVD0mH4BACmlQTGF6R4xbp8pCtaYqhd78bqC6k7n_vOhQ86dnRip941TdWeKLYDNr7G4ZbMo6sHTC-4JIfN02H9ku32z9v1apdVFsYMtQRZxiCCj1YE4XWJjFsQsVQclAdULnqhreOiCNKDnnwsTg8Yr8TkW5L7v9oKEY_nvmpc_328LCB-ABQnS7s
ContentType Conference Proceeding
DBID 6IE
6IH
CBEJK
RIE
RIO
DOI 10.1109/IROS.2007.4399480
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan (POP) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP) 1998-present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EISBN 1424409128
9781424409129
EndPage 2800
ExternalDocumentID 4399480
Genre orig-research
GroupedDBID 6IE
6IF
6IH
6IK
6IL
6IN
AAJGR
AARBI
AAWTH
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
IERZE
OCL
RIE
RIL
RIO
ID FETCH-LOGICAL-i90t-e7404dfc3cbf93c3b7de12903fd6206b0e6afb379a235c4b07bf91f1128b63903
IEDL.DBID RIE
ISBN 9781424409112
142440911X
ISSN 2153-0858
IngestDate Wed Aug 27 02:21:10 EDT 2025
IsPeerReviewed false
IsScholarly true
LCCN 2007694096
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i90t-e7404dfc3cbf93c3b7de12903fd6206b0e6afb379a235c4b07bf91f1128b63903
PageCount 7
ParticipantIDs ieee_primary_4399480
PublicationCentury 2000
PublicationDate 2007-Oct.
PublicationDateYYYYMMDD 2007-10-01
PublicationDate_xml – month: 10
  year: 2007
  text: 2007-Oct.
PublicationDecade 2000
PublicationTitle 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems
PublicationTitleAbbrev IROS
PublicationYear 2007
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0001764012
ssj0001079896
Score 1.9818041
Snippet This paper presents Meld, a programming language for modular robots, i.e., for independently executing robots where inter-robot communication is limited to...
SourceID ieee
SourceType Publisher
StartPage 2794
SubjectTerms Computer languages
Distributed computing
Dynamic programming
Intelligent robots
Logic programming
Orbital robotics
Programming profession
Robot programming
Robot sensing systems
USA Councils
Title Meld: A declarative approach to programming ensembles
URI https://ieeexplore.ieee.org/document/4399480
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV25TgMxELVCRAENR4K45YISE-_a64MOISIoCBGkSBet7bEUKQfKwffjdZwEJBo62xrJVzHz5niD0E1mSk8LlxOhM0Z4KRxR3DDirfRM6GBxGBObTchOR_X7ultDt5taGACIyWdwVw1jLN9N7bJylbUq25mrANB3pBSrWq2tP4VKrRJ1XJxLEaBDFUQISo2RYFmodV1XUJFZf033lOZ5inhmVLde3t8-VuSGacNfnVei4mkf_O_Ih6i5reDD3Y1uOkI1mByj_R_kgw1UvMLI3eMH7MCOEgE4XlOM48UUp9StcZDGAezC2Ixg3kS99lPv8ZmkJgpkqOmCgOSUO2-ZNV4zy4x0ULmemHcip8JQEKU3TOoyZ4Xlhsogl_nwIMoE44WyE1SfTCdwirDiqjB54QKQNbyQASpR4JkshfEsIN3iDDWq-w8-VzQZg3T187-XL9BedJPGvLhLVF_MlnCFdu3XYjifXce__QYlMpuh
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1JTwIxFG4ImqgXFzDu9uDRSme6ezNGAhGQKAduZDptExIWw-Lvt1MKaOLFW9u8pNvhve8t3wPgLtGZw8ykiKuEIJpxgyTVBLlcOMKVtzi0Ds0mRKcj-33VLYH7TS2MtTYkn9mHYhhi-WaaLwtXWa2wnan0AH2HUZriVbXW1qOChZKRPC7MBffgoQgjeLVGkLct5LqyyyvJpL8mfIrzNMY8E6xqzfe3jxW9YdzyV--VoHrqh_879BGobmv4YHejnY5ByU5OwMEP-sEKYG07Mo_wCRqbjyIFOFyTjMPFFMbkrbGXhh7u2rEe2XkV9OovvecGim0U0FDhBbKCYmpcTnLtFMmJFsYWzifiDE8x19jyzGkiVJYSllONhZdLnH8Qqb35gskpKE-mE3sGoKSS6ZQZD2U1ZcKDJWxpIjKuHfFYl52DSnH_weeKKGMQr37x9_It2Gv02q1Bq9l5vQT7wWkasuSuQHkxW9prsJt_LYbz2U345294mJ7o
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2007+IEEE%2FRSJ+International+Conference+on+Intelligent+Robots+and+Systems&rft.atitle=Meld%3A+A+declarative+approach+to+programming+ensembles&rft.au=Ashley-Rollman%2C+M.P.&rft.au=Goldstein%2C+S.C.&rft.au=Lee%2C+P.&rft.au=Mowry%2C+T.C.&rft.date=2007-10-01&rft.pub=IEEE&rft.isbn=9781424409112&rft.issn=2153-0858&rft.spage=2794&rft.epage=2800&rft_id=info:doi/10.1109%2FIROS.2007.4399480&rft.externalDocID=4399480
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2153-0858&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2153-0858&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2153-0858&client=summon