Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

article · 2011

Distributed deductive databases, declaratively

Robert J. Simmons, Bernardo Toninho, Frank Pfenning

Cited by 3Abstract and details only

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

Cite this paper

APA 7

Simmons, R. J., Toninho, B., & Pfenning, F. (2011). Distributed deductive databases, declaratively. https://doi.org/10.1145/2212736.2212742

MLA 9

Simmons, Robert J., et al. “Distributed deductive databases, declaratively.” 2011, pp. 1–6, https://doi.org/10.1145/2212736.2212742.

Chicago

Simmons, Robert J., Bernardo Toninho, and Frank Pfenning. 2011. “Distributed deductive databases, declaratively.” https://doi.org/10.1145/2212736.2212742.

Harvard

Simmons, R.J., Toninho, B. and Pfenning, F. (2011) ‘Distributed deductive databases, declaratively’. Available at: https://doi.org/10.1145/2212736.2212742.

BibTeX
@article{simmons2011distributed,
  title = {{Distributed deductive databases, declaratively}},
  author = {Simmons, Robert J. and Toninho, Bernardo and Pfenning, Frank},
  pages = {1--6},
  year = {2011},
  doi = {10.1145/2212736.2212742}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.

Related papers