Visual Prolog - это язык программирования, в основании которого лежит язык предикатов. Понятиями в языке Prolog являются процедуры логического вывода и принятия решений. Лекции по Пролог.
Для изучения языка Prolog необходимо Скачать Пролог.