Visual Prolog — это среда разработки и язык программирования, ориентированный на создание экспертных систем, искусственного интеллекта, систем поддержки принятия решений, а также сложных настольных, интернет и серверных приложений. Visual Prolog основан на языке логического программирования Пролог, но заметно расширяет его стандартные возможности, позволяя применять парадигму логического программирования в профессиональной разработке коммерческого софта под Windows.