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

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

1. Братко И. Программирование на языке Пролог для искусственного интеллекта. – М.: Мир, 1990. – 560 с.
2. Братко И. Алгоритмы искусственного интеллекта на языке Пролог. – М.: Вильямс, 2004. – 640 с.
3. Адаменко А. Н., Кучуков А.М. Логическое программирование и Visual Prolog. – СПб.: БХВ-Петербург, 2003.
4. Клоксин У., Меллиш К. Программирование на языке Пролог. – М.: Мир, 1987.
5. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог. – М.: Мир, 2003
6. Коста Э. Visual Prolog 7.1 для начинающих.
7. Цуканова Н.И., Дмитриева Т.А. Логическое программирование на языке Visual Prolog. – 2008.
8. Хоггер К. Введение в логическое программирование. – М: Мир, 1988.
9. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. – М.: Наука. 1983.
10. Черри С., Готлоб Г., Танка Л. Логическое программирование и базы данных. – М.: Мир, 1992.
11. Сошников Д.В. Парадигма логического программирования.
12. Доорс Дж., Рейблен А.Р., Вадера С. Пролог — язык программирования будущего. – М.: Финансы и статистика, 2003.
13. Шрайнер П.А. Основы программирования на языке Пролог. – М., 2005. – 170 с.
14. Малпас Дж. Реляционный язык Пролог и его применение. – М.: Наука, 1990. – 464 с.
15. Набебин А.А. Логика и Пролог в дискретной математике. – М.: МЭИ, 1996. – 452 с.
16. Ездаков А.Л. Функциональное и логическое программирование. – М.: Бином, 2011.