I have had 10 days to read up on Computational Logic but the books I am following are only succeeding in confusing me. I find most of text's ( Niehuys-Cheng & de Wolf 1997, De Raedt 2008, Lloyd 1987 ) very wordy. None of them provide will worked out examples for, say, SLD-resolution. So I was wondering if anyone knows of a good book with nice examples which explain first order logic in an intuitive manner ? Thanks in advance.