Artificial Intelligence P by Donald Gillies