Язык логического программирования ПРОЛОГ. Бураков М.В.