Computational Logic and Human Thinking : How to Be Artificially Intelligent - Robert Kowalski (2011)