Semerikov, S.O. et al. 2025. Teaching logic programming: a review. CTE Workshop Proceedings. 12, (Mar. 2025), 399–425. DOI:https://doi.org/10.55056/cte.838.