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

Browse archivesActive forum topics
New forum topics

Recent comments
2 hours 23 min ago
3 hours 20 min ago
1 day 2 hours ago
1 day 3 hours ago
3 days 11 hours ago
3 days 16 hours ago
4 days 1 hour ago
4 days 9 hours ago
4 days 17 hours ago
5 days 12 hours ago