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