A Portable and Efficient Implementation of Coinductive Logic Programming
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.
Keywordslogic programming coinduction objects implementation portability
Unable to display preview. Download preview PDF.
- 2.Saeedloei, N.: Modeling and Verification of Real-Time and Cyber-Physical Systems. PhD thesis, University of Texas at Dallas, Richardson, Texas (2011)Google Scholar
- 5.Simon, L.: Coinductive Logic Programming. PhD thesis, University of Texas at Dallas, Richardson, Texas (2006)Google Scholar
- 7.Moura, P.: Logtalk - Design of an Object-Oriented Logic Programming Language. PhD thesis, Department of Computer Science, University of Beira Interior, Portugal (September 2003)Google Scholar
- 8.Kluźniak, F.: Metainterpreter supporting tabling (DRA) and coinduction with applications to LTL model checking, http://www.utdallas.edu/~gupta/meta.html
- 9.Ancona, D.: Regular corecursion in Prolog. In: Ossowski, S., Lecca, P. (eds.) SAC, pp. 1897–1902. ACM (2012)Google Scholar
- 10.ISO/IEC: International Standard ISO/IEC 13211-1 Information Technology — Programming Languages — Prolog — Part I: General core, Corrigenda 2. ISO/IEC (2012)Google Scholar