Prolog Programming for Artificial Intelligence (4th Edition) by Bratko, Ivan The content feels fresh because it was revised just last year by the author.
