Teach the importance of logic (programming) in Computer Science and why it is important

This paper supports the importance of teaching logic (and logic programming) in computer science degrees and discusses several proposals that can be included in current curricula without the need to adapt the academic guides. In addition, some practical examples are described and the tools used for their subsequent application are related.