The Role of Logic in Computer Science and Artificial Intelligence