Данное пособие предназначено для студентов направления 010400 «Информационные технологии» и специальности 230102 «Автоматизированные системы обработки информации и управления», и может быть использовано при изучении дисциплин «Логическое программирование», «Интеллектуальные системы», «Системы искусственного интеллекта» и «Основы экспертных систем».