Функциональное и логическое программирование : метод. пособие для студентов специальности I-40 01 01 «Програм. обеспечение информ. технологий» : в 4 ч. Ч. 2 : Язык программирования Пролог