Учебники к курсу

1. Шрайнер П.А.
   Основы программирования на языке Пролог
   Интернет-университет информационных технологий - ИНТУИТ.ру, 2005
2. Анисимов А.Е., Пупышев В.В.
   Сборник заданий по основаниям программирования
   БИНОМ. Лаборатория знаний, Интернет-университет информационных технологий - ИНТУИТ.ру, 2006
3. Непейвода Н.Н.
   Стили и методы программирования
   Интернет-университет информационных технологий - ИНТУИТ.ру, 2005
4. Терехов А.Н.
   Технология программирования
   БИНОМ. Лаборатория знаний, Интернет-университет информационных технологий - ИНТУИТ.ру, 2007

Список литературы

1. А.Н. Адаменко, А.М. Кучуков
   Логическое программирование и Visual Prolog
   СПб.: БХВ—Петербург, 2003
2. И. Братко
   Программирование на языке Пролог для искусственного интеллекта
   М.: Мир, 1990
3. Дж. Доорс, А. Рейблейн, С. Вадера
   Пролог — язык программирования будущего
   М.: Финансы и статистика, 1990
4. Гаврилов, Новицкая
   Основы программирования на Турбо Прологе
   Новосибирск: НГТУ,1993
5. Ц. Ин, Д. Соломон
   Использование Турбо-Пролога
   М.: Мир, 1993.
6. К. Кларк, Ф. Маккейб
   Введение в логическое программирование на микро-Прологе
   М.: Радио и связь, 1987
7. У. Клоксин, К. Меллиш
   Программирование на языке Пролог
   М.: Мир, 1987
8. Логическое программирование и Visual Prolog
   Санкт-Петербург: БХВ-Петербург, 2003
9. Дж. Малпас
   Реляционный язык Пролог и его применение
   M.: Наука, 1990
10. Д. Марселлус
    Программирование экспертных систем на Турбо-Прологе
    М.: Финансы и статистика, 1994
11. Л. Стерлинг, Э. Шапиро
    Искусство программирования на языке Пролог
    М.:Мир, 1990
12. Дж. Стобо
    Язык программирования Пролог
    М.: Радио и связь, 1993
13. К. Хоггер
    Введение в логическое программирование
    М.: Мир, 1988
14. Сост. Н.И. Ильинский
    Язык Пролог в пятом поколении ЭВМ: Сб. статей 1983—1986 гг.: Пер. с англ
    М.: Мир, 1990
15. А. Янсон
    Турбо-Пролог в сжатом изложении
    М.: Мир, 1991