Computational Logic and Human Thinking