Computational logic and human thinking : how to be artificially intelligentRobert A KowalskiEsaurito4,4Avvisami