Computational logic and human thinking : how to be artificially intelligentRobert A KowalskiÉpuisé4,4Prévenez-moi