Computational Logic in the First Semester of Computer Science: An Experience Report