Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  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
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
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