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