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.
Cite
CITATION STYLE
Lam, E. S. L., Cervesato, I., & Fatima, N. (2015). Comingle: Distributed logic programming for decentralized mobile ensembles. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9037, pp. 51–66). Springer Verlag. https://doi.org/10.1007/978-3-319-19282-6_4
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
