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

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

  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.