License: Creative Commons Attribution-NoDerivs 3.0 Unported license (CC BY-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ICLP.2012.334
URN: urn:nbn:de:0030-drops-36345
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2012/3634/
Go to the corresponding LIPIcs Volume Portal

Gallego Arias, Emilio Jesús ; B. Lipton, James

Logic Programming in Tabular Allegories

pdf-format:
32.pdf (0.4 MB)

Abstract

We develop a compilation scheme and categorical abstract machine for execution of logic programs based on allegories, the categorical version of the calculus of relations. Operational and denotational semantics are developed using the same formalism, and query execution is performed using algebraic reasoning. Our work serves two purposes: achieving a formal model of a logic programming compiler and efficient runtime; building the base for incorporating features typical of functional programming in a declarative way, while maintaining 100% compatibility with existing Prolog programs.

BibTeX - Entry

@InProceedings{gallegoarias_et_al:LIPIcs:2012:3634,
  author =	{Emilio Jes{\'u}s Gallego Arias and James B. Lipton},
  title =	{{Logic Programming in Tabular Allegories}},
  booktitle =	{Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
  pages =	{334--347},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-43-9},
  ISSN =	{1868-8969},
  year =	{2012},
  volume =	{17},
  editor =	{Agostino Dovier and V{\'i}tor Santos Costa},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2012/3634},
  URN =		{urn:nbn:de:0030-drops-36345},
  doi =		{10.4230/LIPIcs.ICLP.2012.334},
  annote =	{Keywords: Category Theory, Logic Programming, Lawvere Categories, Programming Language Semantics, Declarative Programming}
}

Keywords: Category Theory, Logic Programming, Lawvere Categories, Programming Language Semantics, Declarative Programming
Collection: Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)
Issue Date: 2012
Date of publication: 05.09.2012

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI