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  10215 reads

Browse archivesActive forum topics 
Recent comments
1 hour 33 min ago
1 hour 47 min ago
2 hours 4 min ago
2 hours 41 min ago
2 hours 48 min ago
9 hours 50 min ago
20 hours 13 min ago
20 hours 27 min ago
1 day 4 hours ago
1 day 19 hours ago