Computational Logic and Human Thinking: How to be Artificially Intelligent