Set comprehension is a mathematical notation for defining sets on the basis of a property of
their members. Although set comprehension is widely used in mathematics and some …

We extend the rule-based, multiset rewriting language CHR with multiset comprehension
patterns. Multiset comprehension provides the programmer with the ability to write multiset …

Comingle is a logic programming framework aimed at simplifying the development of
applications distributed over multiple mobile devices. Applications are written as a single …