Computational Logic - Logic Programming And Beyond door A.C. Kakas & F. Sadri