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