Learn Prolog Now!

Patrick Blackburn , Johan Bos , Kristina Striegnitz