Review of How Machines Think: A General Introduction to Artificial Intelligence Illustrated in Prolog