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