В монографии изложены принципы создания экспертных систем, основы логического программирования и подходы, применяемые при разработке экспертных систем на языке программирования "Пролог". Рассмотрены методы организации базы данных экспертной системы. Дана сравнительная характеристика основных способов логического вывода, применяемых для решения задач. Изложено введение в клаузуальную форму логики предикатов первого порядка и в логическое программирование на языке этой логики.