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