On the Unusual Effectiveness of Logic in Computer