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