Skip to Main content Skip to Navigation
Conference papers

Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles

Abstract : Comingle is a logic programming framework aimed at simplifying the development of applications distributed over multiple mobile devices. Applications are written as a single declarative program (in a system-centric way) rather than in the traditional node-centric manner, where separate communicating code is written for each participating node. Comingle is based on committed-choice multiset rewriting and is founded on linear logic. We describe a prototype targeting the Android operating system and illustrate how Comingle is used to program distributed mobile applications. As a proof of concept, we discuss several such applications orchestrated using Comingle.
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Hal Ifip <>
Submitted on : Tuesday, April 24, 2018 - 10:54:19 AM
Last modification on : Tuesday, April 24, 2018 - 11:20:06 AM
Long-term archiving on: : Wednesday, September 19, 2018 - 9:16:28 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Edmund Lam, Iliano Cervesato, Nabeeha Fatima. Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles. 17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.51-66, ⟨10.1007/978-3-319-19282-6_4⟩. ⟨hal-01774944⟩



Record views


Files downloads