Learn Prolog now! - Blackburn, Patrick 1959-; Bos, Johan 1968-; Striegnitz, Kristina 1974- (Texts in computing, 2006)