Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Distributed deductive databases, declaratively The L10 logic programming language
 

Summary: 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 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 dis-
tributed 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
1. Introduction

  

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