Основные языки логического программирования. Программирование на чистом Прологе. Проблема завершения программ, избыточные решения, порядок целей и правил. Языки логического программирования KL0 и "ShapeUp". Разработка и эффективность программ на Прологе.