1. И.Соммервилл Инженерное програаммное обеспечениея. – М.: «Виль-ямс», 2002. 624 с.
2. Г. Буч Объектно-ориентированный анализ и проектирование с примерами приложений на C++, 2-е изд./Пер. с англ. М.: Издательство Бином, СПб: Невский диалект, 1998
3. Стерлинг Л. Шапиро Э. Искусство программирования на языке Пролог /Пер. с англ. М.: Мир, 1990
4. Братко,Иван Алгоритмы искусственного интеллекта на языке PROLOG;пер.с англ.:. / Иван Братко - М.: Вильямс, 2004
5. Логическое программирование. Сборник статей. / Под ред. В.Н. Агафоно-ва. М.: Мир, 1988
6. Язык Пролог в пятом поколении ЭВМ. / Сост. Н.И. Ильинский М.: Мир, 1988
7. Хоггер К. Введение в логическое программирование. М.: Мир, 1988
8. Клоксин У. Программирование на языке Пролог. / Меллиш К. М.: Мир, 1987
9. Малпас Дж Реляционный язык Пролог и его применение. М.: Наука, 1990
10. Братко И. Программирование на языке Пролог для искусственного ин-теллекта. М.: Мир, 1990
11. Набебин А.А. Логика и Пролог в дискретной математике. М.: Издатель-ство МЭИ, 1996
12. Чень Ч. Математическая логика и автоматическое доказательство теорем . / Ли Р М.: Наука, 1983
13. Hassan Ait-Kaci Warren s Abstract Machine: A Tutorial Reconstruction. MIT Press, 1991
14. K. Apt Logic Programming // J. van Leeuwen (Ed.) Handbook of Theoretical Computer Science. MIT Press, 1990
|