Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Submitted to the X10 Workshop Distributed deductive databases, declaratively

Summary: Submitted to the X10 Workshop
Distributed deductive databases, declaratively
The L10 logic programming language
Robert J. Simmons Bernardo Toninho Frank Pfenning
Carnegie Mellon University
We present the preliminary design of L10, a rich forward-chaining
(a.k.a. "bottom-up") logic programming language. L10 allows par-
allel computation to be explicitly specified through the use of
worlds, a logically-motivated concept that has been used to de-
scribe 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.
Categories and Subject Descriptors D.1.6 [Programming Tech-
niques]: Logic programming
General Terms Design, Languages
Keywords distributed programming, logic programming, X10


Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University
Pfenning, Frank - School of Computer Science, Carnegie Mellon University


Collections: Computer Technologies and Information Sciences; Mathematics