Половикова, О. Н. Решение логических задач на языке Prolog / О. Н. Половикова, Л. Л. Смолякова. - С. 86–89 // Сборник трудов Всероссийской конференции по математике с международным участием "МАК-2019" / АлтГУ [и др.]. - Барнаул : Изд-во АлтГУ, 2019. - Библиогр. в конце ст.