A Portable and Efficient Implementation of Coinductive Logic Programming

Paulo Moura

January 2013

---

Abstract

We describe the portable and efficient implementation of coinductive logic programming found in Logtalk, discussing its features and limitations. As Logtalk uses as a back-end compiler a compatible Prolog system, we also discuss the status of key Prolog features for an efficient and usable implementation of coinduction.

Bibtex

@InProceedings{moura-padl13,
  author =    {P. Moura},
  title =     {{A Portable and Efficient Implementation of Coinductive Logic Programming}},
  booktitle = {Proceedings of the 15th International Symposium on Practical Aspects of Declarative 
               Languages (PADL 2013)},
  pages =     {77--92},
  number =    {7752},
  series =    {LNCS},
  publisher = {Springer},
  editor =    {K. Sagonas},
  month =     {January},
  year =      {2013},
  address =   {Rome, Italy},
}

Download Paper

PDF file
Springer