Lecture notes in artificial intelligence Extensions of logic programming ;v 475