штучного інтелекту на мові PROLOG. М.: «³льямсВ», 2004. p>
3. Джексон П. Введення в експертні системи.-Москва, С. Петербург, Київ: Вид. дім "Вільямс", 2002
4. Дж. Доорс, А. Рейблейн, С. Вадера.Пролог - мова програмування майбутнього. М.: Фінанси і статистика, 1990
5. Дюбуа Д., Прад А. Теорія можливостей. Додатки до
поданням знань. -М.: Радіо і зв'язок, 1995
6. Корнєєв В.В., Гарєв А.Ф., Васюшін СВ., Райх В.В. Бази даних.
Інтелектуальна обробка інформації. - М.: Изд-во "Нолидж",
2000
7. Мендельсон Е. Введення в математичну логіку. М., 1976
8. Нечаєв В.В., Панченко В.М., Свиридов О.П. Дослідження операцій
і теорія систем. Основи статистичної динаміки знань. Навчальний
посібник.-М.: МІРЕА, 2000
9. Новіков П. С. Елементи математичної логіки. М., 1959
10. Попов Е.В. Експертні системи реального часу. В: Відкриті
системи, N2 (10), 1995
11. Хоггер К. Введення в логічне програмування М.: Мир, 1988
12. Черч А. Введення в математичну логіку, т. I. М. 1960
