Bratko, Ivan Prolog Programming for Artificial Intelligence (0321417461)
This edition has been updated to include key developments in the field. Divided into two parts, the first part of the book introduces the programming language Prolog, while the second part teaches artificial intelligence using Prolog.