"Learn Prolog Now" - читать интересную книгу автора (Patrick Blackburn, Johan Bos, Kristina Striegnitz)