В настоящей главе рассматриваются основные отличия языка Visual
Prolog от реализаций языка Пролог, удовлетворяющих стандарту (т. н.
стандартного Пролога), связанные с унификацией термов. Кроме этого,
приводится пример использования интерпретатора PIE в программе на
языке Visual Prolog.