Advanced search
1 file | 375.26 KB

Tabling as a library with delimited control

Benoit Desouter (UGent) , Marko van Dooren (UGent) and Tom Schrijvers (UGent)
Author
Organization
Abstract
Tabling is probably the most widely studied extension of Prolog. But despite its importance and practicality, tabling is not implemented by most Prolog systems. Existing approaches require substantial changes to the Prolog engine, which is an investment out of reach of most systems. To enable more widespread adoption, we present a new implementation of tabling in under 600 lines of Prolog code. Our lightweight approach relies on delimited control and provides reasonable performance.
Keywords
IMPLEMENTATION, ARCHITECTURE, tabling, tabulation, Prolog, delimited continuations, logic programming, PROLOG

Downloads

  • main.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 375.26 KB

Citation

Please use this url to cite or link to this publication:

Chicago
Desouter, Benoit, Marko van Dooren, and Tom Schrijvers. 2015. “Tabling as a Library with Delimited Control.” Ed. Thomas Eiter and Francesca Toni. Theory and Practice of Logic Programming 15 (4-5): 419–433.
APA
Desouter, B., van Dooren, M., & Schrijvers, T. (2015). Tabling as a library with delimited control. (T. Eiter & F. Toni, Eds.)THEORY AND PRACTICE OF LOGIC PROGRAMMING, 15(4-5), 419–433. Presented at the 31st International conference on Logic Programming.
Vancouver
1.
Desouter B, van Dooren M, Schrijvers T. Tabling as a library with delimited control. Eiter T, Toni F, editors. THEORY AND PRACTICE OF LOGIC PROGRAMMING. 2015;15(4-5):419–33.
MLA
Desouter, Benoit, Marko van Dooren, and Tom Schrijvers. “Tabling as a Library with Delimited Control.” Ed. Thomas Eiter & Francesca Toni. THEORY AND PRACTICE OF LOGIC PROGRAMMING 15.4-5 (2015): 419–433. Print.
@article{6880648,
  abstract     = {Tabling is probably the most widely studied extension of Prolog. But despite its importance and practicality, tabling is not implemented by most Prolog systems. Existing approaches require substantial changes to the Prolog engine, which is an investment out of reach of most systems. To enable more widespread adoption, we present a new implementation of tabling in under 600 lines of Prolog code. Our lightweight approach relies on delimited control and provides reasonable performance.},
  author       = {Desouter, Benoit and van Dooren, Marko and Schrijvers, Tom},
  editor       = {Eiter, Thomas and Toni, Francesca},
  issn         = {1471-0684},
  journal      = {THEORY AND PRACTICE OF LOGIC PROGRAMMING},
  keyword      = {IMPLEMENTATION,ARCHITECTURE,tabling,tabulation,Prolog,delimited continuations,logic programming,PROLOG},
  language     = {eng},
  location     = {Cork, Ireland},
  number       = {4-5},
  pages        = {419--433},
  title        = {Tabling as a library with delimited control},
  url          = {http://dx.doi.org/10.1017/S1471068415000137},
  volume       = {15},
  year         = {2015},
}

Altmetric
View in Altmetric
Web of Science
Times cited: