- Тема: реализация алгоритмов логики предикатов на функциональном языке программирования Haskell.
- Раздел: программирование.
- Реализовано: алгоритм унификации
- Побочные задачи: JavaScript-реализация, сервер (взаимодействие с клиентом).
##Авторы
- Гараев Андрей
- Билькис Павел
- Угаров Антон