Statistics of From standard logic to logic programming: introducing a logic based approach to artificial intelligence