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

Browse archivesActive forum topics 
Recent comments
16 hours 34 min ago
17 hours 6 min ago
17 hours 20 min ago
17 hours 38 min ago
18 hours 53 min ago
19 hours 2 sec ago
19 hours 20 min ago
19 hours 44 min ago
20 hours 54 min ago
22 hours 45 sec ago