Prolog Programming for Artificial Intelligence. (2011)