{Prolog Programming for Artificial Intelligence}