Coinductive logic programming

Resources on coinductive logic programming, which apparently can be implemented on top of tabling in a straightforward way.

Papers:

(Co)recursion in Logic Programming: Lazy vs Eager Jónathan Heras, Ekaterina Komendantskaya, Martin Schmidt http://arxiv.org/abs/1402.3690

Coalgebraic logic programming: from Semantics to Implementation
Ekaterina Komendantskaya, John Power, Martin Schmidt
http://logcom.oxfordjournals.org/content/early/2014/05/28/logcom.exu026.refs

Coinductive Constraint Logic Programming,Neda Saeedloei and Gopal Gupta, FLOPS 2012
http://www.utdallas.edu/~gupta/flops2012.pdf

Coinductive Logic Programming and Its Applications
Gopal Gupta, Ajay Bansal, Richard Min, Luke Simon, Ajay Mallya
http://link.springer.com/chapter/10.1007%2F978-3-540-74610-2_4

Other papers, slides, and software related to coinductive logic programming can be found on Gopal Gupta's website:
http://www.utdallas.edu/~gupta/

Workshops:

Co-LP 2012 - A workshop on Coinductive Logic Programming
https://contraintes.inria.fr/~saeedloe/