Pdf A Computational Logic Handbook