Semerikov SO, Mintii IS, Moiseienko NV. Teaching logic programming: a review. CTE Workshop Proc. [Internet]. 2025 Mar. 21 [cited 2026 Apr. 30];12:399-425. Available from: https://acnsci.org/journal/index.php/cte/article/view/838