Язык Пролог играет в логическом программировании примерно такую же (если не большую) роль, как C++ в объектно-ориентированном. Но только одна фирма — Prolog Development Center — развивает его на хорошем коммерческом уровне. В конце августа она анонсировала выход системы Visual Prolog 7.0. Как объявили разработчики, в новой версии сделан ещё больший уклон в сторону объектной ориентированности языка, например, введён параметрический полиморфизм. Целью разработчиков было такое усиление инструментария, которое позволило бы создавать с его помощью всё более сложные системы. Поэтому в Visual Prolog 7.0 появился более быстрый компилятор, контроль версий, улучшена среда разработки. В онлайновую систему помощи кроме описания всех предикатов теперь входят несколько объёмных англоязычных руководств: Fundamental Prolog, Fundamental Visual Prolog, Integrated Development Environment и статьи по отдельным возможностям системы. Некоторые руководства снабжены примерами проектов (их можно скачать с сайта компании).

Как и предыдущие версии Visual Prolog 7.0 появился в двух редакциях: Personal Edition и Commercial Edition. Первая из них предназначена для обучения и некоммерческого использования. Она доступна всем желающим и после регистрации может быть загружена с сайта. По заявлению фирмы, у пользователей уже более 160 тыс. копий этой версии пакета. Интересно, что в апреле этого года в Португалии прошла конференция по логическому программированию VIP-ALC'06 (её материалы тоже доступны на сайте). А весной следующего года эта конференция состоится в Санкт-Петербурге.

Версия для печати