License
when quoting this document, please refer to the following
DOI: 10.4230/OASIcs.SLATE.2012.9
URN: urn:nbn:de:0030-drops-35113
URL: http://drops.dagstuhl.de/opus/volltexte/2012/3511/

Areias, Miguel ; Rocha, Ricardo

On Extending a Linear Tabling Framework to Support Batched Scheduling

pdf-format:
Dokument 1.pdf (398 KB)


Abstract

Tabled evaluation is a recognized and powerful technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redundant sub-computations. During tabled execution, several decisions have to be made. These are determined by the scheduling strategy. Whereas a strategy can achieve very good performance for certain applications, for others it might add overheads and even lead to unacceptable inefficiency. The two most successful tabling scheduling strategies are local scheduling and batched scheduling. In previous work, we have developed a framework, on top of the Yap system, that supports the combination of different linear tabling strategies for local scheduling. In this work, we propose the extension of our framework, to support batched scheduling. In particular, we are interested in the two most successful linear tabling strategies, the DRA and DRE strategies. To the best of our knowledge, no single tabling Prolog system supports both strategies simultaneously for batched scheduling.

BibTeX - Entry

@InProceedings{areias_et_al:OASIcs:2012:3511,
  author =	{Miguel Areias and Ricardo Rocha},
  title =	{{On Extending a Linear Tabling Framework to Support Batched Scheduling}},
  booktitle =	{1st Symposium on Languages, Applications and Technologies},
  pages =	{9--24},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-40-8},
  ISSN =	{2190-6807},
  year =	{2012},
  volume =	{21},
  editor =	{Alberto Sim{\~o}es and Ricardo Queir{\'o}s and Daniela da Cruz},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2012/3511},
  URN =		{urn:nbn:de:0030-drops-35113},
  doi =		{http://dx.doi.org/10.4230/OASIcs.SLATE.2012.9},
  annote =	{Keywords: Linear Tabling, Scheduling, Implementation}
}

Keywords: Linear Tabling, Scheduling, Implementation
Seminar: 1st Symposium on Languages, Applications and Technologies
Issue date: 2012
Date of publication: 21.06.2012


DROPS-Home | Fulltext Search | Imprint Published by LZI