Distributed deductive databases, declaratively
Robert J. Simmons, Bernardo Toninho, Frank Pfenning · 2011
We present the design of L10, a rich forward-chaining (a.k.a. "bottom-up") logic programming language. L10 allows parallel computation to be explicitly specified through the use of worlds, a logically-motivated concept that has been used to describe distributed functional programming. An interpreter for L10 runs these logic programs on top of the infrastructure of the X10 programming language, and is responsible for mapping between L10's worlds and places, the related X10 construct for describing distributed computation.