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

литература по 1-й части курса "Логическое программирование"

1. Адаменко А.Н., Кучуков А.М. Логическое программирование и Visual Prolog. СПб., БХВ-Петербург, 2003, с.992.
2. Стерлинг Л., Шапиро Э. Искусство программирования на Прологе. М.; Мир; 1990
3. Братко И. Алгоритмы искусственного интеллекта на языке Prolog. М., 2004, 640 с.
4. Люгер Дж.Ф. Искусственный интеллект. Стратегии и методы решения сложных задач.М.,2003, 864 с.
5. Набебин А.А. Логика и Пролог в дискретной математике. М.; изд. МЭИ; 1996
6. Ин Ц., Соломон Д. Использование Турбо Пролога М.;Мир;1993
7. Дж. Малпас. Реляционный язык Пролог и его применение. М.; Наука; 1990
8. Марселлус Д. Программирование экспертных систем на Турбо Прологе. М.; Ф.С.; 1994
9. Янсон А. Турбо-Пролог в сжатом изложении. М.; Мир; 1991.
10. Осуга С. Обработка знаний. М.; Мир; 1989.
11. Логический подход к искусственному интеллекту М.; Мир; 1990
12. Братко И. Программирование на языке Пролог для искусственного интеллекта. М.; Мир; 1990
13. Дехтяренко И.А. Программирование в повествовательном наклонении. 2003.
14. Эдуардо Коста. Visual Prolog 7.1 для начинающих. 2008.
15. Ефимова Е.А. Основы программирования на языке Visual Prolog. ИНТУИТ 2014
16. Б.Лю. Теория и практика неопределенного программирования. М.Бином, 2005
17. Л.В.Городняя. Парадигмы программирования. Новосибирск.2006


Интернет источники
1. http://www.visual-prolog.com/
2.http://wikiru.visual-prolog.com/index.php
3.http://256bit.ru/education/prolog/
4.http://ru.wikipedia.org/wiki/Prolog
5. www.swi-prolog.org. Официальный сайт разработчиков транслятора SWI-Prolog.
6.www.pdc.dk. Официальный сайт компании Prolog Development Center.

http://www.e-booksdirectory.com/programming.php
Содержит ссылки на:
184. Adventure in Prolog
Dennis Merritt | Springer
Published in 1990, 186 pages
185. Building Expert Systems in Prolog
Dennis Merritt | Amzi! inc.
Published in 2000, 358 pages
186. Logic, Programming and Prolog
Ulf Nilsson, Jan Mauszynski | John Wiley & Sons Inc
Published in 1995, 296 pages
187. Prolog and Natural-Language Analysis
Fernando C. N. Pereira, Stuart M. Shieber | Center for the Study of Language and Inf
Published in 2002, 204 pages
188. Prolog Experiments in Discrete Mathematics, Logic, and Computability
James Hein | Portland State University
Published in 2005, 160 pages
189. Prolog Programming: A First Course
Paul Brna |
Published in 1999, 197 pages
190. The First 10 Prolog Programming Contests
Bart Demoen, Phuong-Lan Nguyen, Tom Schrijvers, Remko Troncon |
Published in 2005, 161 pages