Литература. Функциональное и логическое программирование

### Список источников по дисциплине «Функциональное и логическое программирование»

### Список основной литературы

1. Шрайнер П.А. Основы программирования на языке Пролог [Электронный ресурс]/ Шрайнер П.А.— Электрон. текстовые данные.— М.: Интернет-Университет Информационных Технологий (ИНТУИТ), 2016.— 213 c.— Режим доступа: http://www.iprbookshop.ru/52194.— ЭБС «IPRbooks»
2. Рогозин О.В. Функциональное и рекурсивно-логическое программирование [Электронный ресурс]: учебное пособие/ Рогозин О.В.— Электрон. текстовые данные.— М.: Евразийский открытый институт, 2009.— 139 c.— Режим доступа: http://www.iprbookshop.ru/11119.— ЭБС «IPRbooks»

### Список дополнительной литературы

1. Ефимова Е.А. Основы программирования на языке Visual Prolog [Электронный ресурс]/ Ефимова Е.А.— Электрон. текстовые данные.— М.: Интернет-Университет Информационных Технологий (ИНТУИТ), 2016.— 265 c.— Режим доступа: http://www.iprbookshop.ru/39556.— ЭБС «IPRbooks»

### Информационное обеспечение (Интернет- ресурсы).

1. Документация по SWI-Prolog : http://www.swi-prolog.org.
2. Спецификация Clisp: http://iais.kemsu.ru:8080/odocs/lisp/spec/Front/index.htm.
3. Официальный сайт электронно-библиотечной системы «IPRbooks» –URL: http://www.iprbookshop.ru/.
4. Официальный сайт библиотеки СибГУТИ – URL: https://www.sibsutis.ru/lib/.