Курс функционального и логического программирования (Prolog, Haskell)