Несколько лет.
1. Visual Prolog это внутренний инструмент PDC, который ими сделан и используется для написания крупных проектов. Продажей именно этих проектов они и живут. Продажа же инструмента составляет малую толику их прибыли. Поэтому нет никакого смысла (на мой взгляд) сливаться с MS. Это компании разного направления деятельности. И насколько я понимаю, у датчан есть личные причины этого не делать. Было время когда Пролог (Турбо) разрабатывался Борландами, но при реорганизации отделилась группа разработчиков и впоследствии организовала PDC. Борланды назад к себе проложистов не зовут.
2. У MS есть свой Пролог, который они используют как вспомогательный инструмент при разработке своих продуктов. Да и при их штате сделать аналог Visual Prolog никакого труда не составит. Однако они этого не делают и не будут делать. Исторически сложилось так, что пиндосы, как очень патриотичная нация, при необходимости отдадут предпочтение свои пиндосовским языкам из любимого функционального класса, типа Лиспа или Лиспоподобных, но никак не европейским языкам типа Пролога.

Спасибо за ответы. Прошу прощения, но они вызвали следующие вопросы:
1. А разве у MS есть свой Пролог? Если это Net Prolog, который я пробовал, то он мне показался очень слабым по сравнению с VIP. Да и работал он как-то нестабильно. Или это другой Пролог, для внутреннего пользования? Где о нем можно прочитать?
2. Неужели патриотизм у американцев помешает им развивать и использовать декларативные языки типа Пролог? Может быть они просто не видят в их развития смысла?
3. В последнее время почему-то вырос интерес к функциональным языкам (Haskell, MS F#, Google Go и др). А интерес к декларативным языкам не возрос. Хотелось бы узнать мнение специалистов по Пролог, почему в настоящее время такой интерес вызывают функциональные языки и какие перспективы развития декларативных языков типа Пролог и в частности VIP в будущем.
4. Правильно ли я понимаю, что область применения Пролога - это решение задач с многими параметрами и условиями, когда механизм вывода Пролога позволяет найти решение (решения) этих задач за приемлемое время, а у человека бы крышу снесло от необходимости учета всех факторов, ограничений и условий. Решение этих задач на процедурных языках заняло бы много времени и потребовало бы большое количество кода. Мне хотелось бы четко для себя уяснить, когда целесообразно использовать Пролог, а когда процедурные языки.

Основное направление PDC - средства поддержки принятия решений в области планирования.

MS не гнушается ничем.

Неточно. Датчане сдалали свой Prolog и основали фирму PDC. Borland на волне всеобщего ажиотажа в части ИИ купила у них авторские права, обернула в форму Turbo силами самих разработчиков (продали около 300000 копий). Потом настроилась на борьбу с MS и убрала Prolog из своих планов. Разработчики выкупили свои права обратно, превратив Turbo в PDC-Prolog.

Очень интересно. А есть какие-то источники?
Не думаю, что дело в патриотизме, F# вон вполне серьёзно разрабатывают, а он диалект ML, который вполне себе европейский (шотландский) язык. Просто в самой парадигме ЛП, мне кажется все слегка разочаровались.
Ну может не разочаровались, а просто считают что машина вывода - штука для определённых задач очень хорошая, но лучше её прицепить сбоку к существующим языкам, а не делать краеугольным камнем языка, вот и разрабатывают библиотеки для LP и CLP вместо создания полного аналога Пролога.

Я попробую найти источник. Дело в том, что об этом я читал довольно давно, лет 5-8 назад, и сейчас не помню где.
Неточно. И функциональные и логические языки принадлежат к классу декларативных. А интерес действительно сместился в сторону ФЯ, наверное потому, что появилось много интересных и мощных реализаций.
На этот вопрос лучше ответят представители PDC-SPb.
Вообще VIP стал универсальным языком. Но из-за встроенного недетерминизма этот язык удобно использовать в переборных задачах, которые имеют в своей постановке недетерминированные компоненты, много альтернатив на разных уровнях описания задачи. К таким задачам как правило относятся практически все классические задачи из области ИИ. Обработка ЕЯ-текстов и ИЯ-текстов, символьные вычисления, управление объектами и процессами с большим числом параметров и/или в сложной обстановке, логические игры, задачи на графах и деревьях, экспертные системы и всё, что может быть основано на технологии баз знаний, задачи с эвристиками для ограничения перебора или порождения перебора...
Спасибо, буду знать.
Может быть. Мотивы целесообразности также присущи пиндосам, наверное не в меньшей степени, чем патриотизм.

А какие библиотеки и для каких языков программирования? Как я понимаю, LP - это логическое программирования, а что такое CLP?

Нашел в википедии информацию по CLP. По моему мнению, VIP существенно мощнее. А какие библиотеки и для каких языков реализуют LP и CLP и в каких известных проектах они с успехом используются?

Когда выйдет версия 7.4 Visual Prolog?

Описание новых фич Visual Prolog 7.4, который должен вскоре выйти в свет:
New Features in Visual Prolog 7.4 - wiki.visual-prolog.com

Вышел релиз Visual Prolog 7.4:
discuss.visual-prolog.com :: View topic - Visual Prolog 7.4 Release
Там же можно посмотреть новые фичи. Среди них есть такие вкусности (для меня) как:
- массивы на основе указателей (не binary), высокая скорость обработки;
- компактные однобитные булевские массивы;
- двумерные массивы;
- xmlReader & xmlWriter;
- dragNdrop;
и др.

Поразило в самую душу сообщение при инсталляции Visual Prolog 7.4 PE:
Требуется Microsoft .NET Framework.
:(

Отвечающий за сетап говорит, что такого быть не должно.

Можно подробней (можно в супорт)
1. какая система?
2. в какой момент был запрос?

У меня PE ничего не требует.
Подсветка кода стала гламурная, но у меня на компьютере бледноватая (комментарии светло-серые). Это наверное можно исправить? Я имею в виду яркость. Интересно, на нормальных компьютерах как теперь подсветка выглядит?

В какой-то ветке форума по Прологу была информация, что Alison близка к завершению пособия по VIP, которое будет отличаться от пособия VictorY. Можно ли поподробнее узнать у автора, когда планируется выход этого пособия? Язык и среда очень хорошие, а вот пособий хороших нет.

Сначала отредактирую книгу, на что может уйти не один месяц. Тем более, что надо проверить все примеры и обновить некоторые из них, т.е. переделать с учетом новых свойств. А потом начну работать с издательством, которое тоже еще предстоит найти. Издательство обычно готовит книгу к выходу довольно долго. Так что все вместе займет немало времени.

А может быть сделать так, как сделал VictorY? Я бы купил и не идеальный электронный вариант, по версии VIP 7.3, а потом бы купил "идеальный" бумажный вариант