User loginNavigation 
CoLogic ProgrammingLuke Simon, Ajay Bansal, Ajay Mallya and Gopal Gupta CoLogic Programming: Extending Logic Programming with Coinduction 2007
It is nice to see that coinduction is making its way into Logic Programming. I couldn't find a free link to this paper [Edit: The link now points directly to the paper], but I found the following useful slides on Gopal Gupta's webpage. Slides from ICLP'07 By Gavin MendelGleason at 20071025 09:06  LtU Forum  previous forum topic  next forum topic  other blogs  9183 reads

Browse archivesActive forum topics 
Recent comments
1 hour 32 min ago
1 hour 50 min ago
2 hours 7 min ago
2 hours 56 min ago
7 hours 12 min ago
7 hours 16 min ago
21 hours 38 min ago
21 hours 53 min ago
1 day 1 hour ago
1 day 2 hours ago