Логическое программирование в среде Visual Prolog

Представление знаний было и остается одной из основных проблем при реализации систем искусственного интеллекта. Одним из мощных средств для описания предметной области в виде набора фактов и правил является язык логического программирования Prolog, основанный на теории предикатов первого порядка. Декларативная семантика языка Prolog позволяет использовать его для создания компьютерных программ в различных человеческих областях: экспертные системы, системы администрирования, системы информационной безопасности, экономические информационные системы, интеллектуальные системы, в том числе искусственные нейронные сети и системы нечеткой логики и во многих других. В работе представлен практикум по логическому программированию в среде Visual Prolog версии 5.2 и версии 7.3 для начинающих. Предназначено для студентов высших учебных заведений, изучающих логическое программирование.