Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski. - Kakas, Antonis C.; Sadri, Fariba (Lecture notes in computer science, 2002)