Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles

Edmund Lam
  • Function : Author
  • PersonId : 1031332
Iliano Cervesato
  • Function : Author
  • PersonId : 972450
Nabeeha Fatima
  • Function : Author
  • PersonId : 1031333


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.
Fichier principal
Vignette du fichier
978-3-319-19282-6_4_Chapter.pdf (834.45 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01774944 , version 1 (24-04-2018)





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⟩
140 View
113 Download



Gmail Facebook X LinkedIn More