Semerikov, S.O., Mintii, I.S. and Moiseienko, N.V., 2025. Teaching logic programming: a review. CTE Workshop Proceedings [Online], 12, pp.399–425. Available from: https://doi.org/10.55056/cte.838 [Accessed 30 April 2026].