Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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
{rjsimmon,btoninho,fp}@cs.cmu.edu
Abstract
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