Элементы дедуктивного языка программирования и их реализациядипломная работа (Бакалавр)