Learn Prolog Now! by Jan Bos, P. Blackburn & K. Striegnitz