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