Coinductive Logic Programming in Logtalk

Paulo Moura

September 2012

---

Abstract

We describe the 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 discuss the status of key Prolog features for an efficient and usable implementation of coinduction.

Bibtex

@InProceedings{moura-colp12,
  author =    {P. Moura},
  title =     {{Coinductive Logic Programming in Logtalk}},
  booktitle = {Proceedings of the 1st Workshop on Coinductive Logic Programming (Co-LP 2012)},
  pages =     {1--14},
  editor =    {N. Saeedloei},
  month =     {September},
  year =      {2012},
  address =   {Budapest, Hungary},
}

Download Paper

PDF file