Frank Pfenning, CMU (X10 team contact: Vijay Saraswat)

L10 is a platform for experimenting with the design of distributed and parallel logic programming. The "logic" in traditional logic programming is a minimal first-order logic, but the logic underlying L10 is a richer logic in which every fact or deduction has an intrinsic notion of location. A logic with locations is significant because it gives a logical justification for the use of (locally) stratified negation. In L10, we are also interested in exploring the use of location to express parallelism in a logic programming language by flexibly mapping locations in L10 to places in X10, a parallel programming language being developed by IBM Research.