Computational logic and human thinking : How to be artificially intelligent - Kowalski, Robert (Cambridge Univ. Press, 2011)