Специалист
Сообщений: 8,170
Сказал(а) спасибо: 5
Поблагодарили 339 раз(а) в 338 сообщениях
Регистрация: 01.03.2003
Адрес: Краснодар
|

11.07.2012, 23:43
Цитата:
Сообщение от spirid
1. С какой частотой появляются новые версии VIP?
|
Несколько лет.
Цитата:
Сообщение от spirid
2. Не рассматривалась ли фирмой PDC возможность влиться в большую компанию, например Microsoft, в качестве подразделения по разработке версии Пролог, интегрированной например в Visual Studio и использующей всю мощь большой компании? В Microsoft в Visual Studio есть процедурные языки, появился функциональный язык F# и было бы здорово, чтобы в VS была бы такая мощная реализация Пролога, как VIP.
|
1. Visual Prolog это внутренний инструмент PDC, который ими сделан и используется для написания крупных проектов. Продажей именно этих проектов они и живут. Продажа же инструмента составляет малую толику их прибыли. Поэтому нет никакого смысла (на мой взгляд) сливаться с MS. Это компании разного направления деятельности. И насколько я понимаю, у датчан есть личные причины этого не делать. Было время когда Пролог (Турбо) разрабатывался Борландами, но при реорганизации отделилась группа разработчиков и впоследствии организовала PDC. Борланды назад к себе проложистов не зовут.
2. У MS есть свой Пролог, который они используют как вспомогательный инструмент при разработке своих продуктов. Да и при их штате сделать аналог Visual Prolog никакого труда не составит. Однако они этого не делают и не будут делать. Исторически сложилось так, что пиндосы, как очень патриотичная нация, при необходимости отдадут предпочтение свои пиндосовским языкам из любимого функционального класса, типа Лиспа или Лиспоподобных, но никак не европейским языкам типа Пролога.
Последний раз редактировалось Винитарх; 11.07.2012 в 23:47
|
|
|
Member
Сообщений: 48
Сказал(а) спасибо: 3
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 11.07.2012
|

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

12.07.2012, 11:33
Цитата:
Сообщение от Винитарх
1. Visual Prolog это внутренний инструмент PDC, который ими сделан и используется для написания крупных проектов.
|
Основное направление PDC - средства поддержки принятия решений в области планирования.
Цитата:
Сообщение от Винитарх
Это компании разного направления деятельности.
|
MS не гнушается ничем.
Цитата:
Сообщение от Винитарх
Было время когда Пролог (Турбо) разрабатывался Борландами, но при реорганизации отделилась группа разработчиков и впоследствии организовала PDC. Борланды назад к себе проложистов не зовут.
|
Неточно. Датчане сдалали свой Prolog и основали фирму PDC. Borland на волне всеобщего ажиотажа в части ИИ купила у них авторские права, обернула в форму Turbo силами самих разработчиков (продали около 300000 копий). Потом настроилась на борьбу с MS и убрала Prolog из своих планов. Разработчики выкупили свои права обратно, превратив Turbo в PDC-Prolog.
|
|
|
Флудер
Сообщений: 3,170
Сказал(а) спасибо: 6
Поблагодарили 16 раз(а) в 15 сообщениях
Регистрация: 28.02.2005
Адрес: Израиль
|

12.07.2012, 11:58
Цитата:
2. У MS есть свой Пролог, который они используют как вспомогательный инструмент при разработке своих продуктов.
|
Очень интересно. А есть какие-то источники?
Цитата:
Однако они этого не делают и не будут делать. Исторически сложилось так, что пиндосы, как очень патриотичная нация, при необходимости отдадут предпочтение свои пиндосовским языкам из любимого функционального класса, типа Лиспа или Лиспоподобных, но никак не европейским языкам типа Пролога.
|
Не думаю, что дело в патриотизме, F# вон вполне серьёзно разрабатывают, а он диалект ML, который вполне себе европейский (шотландский) язык. Просто в самой парадигме ЛП, мне кажется все слегка разочаровались.
Ну может не разочаровались, а просто считают что машина вывода - штука для определённых задач очень хорошая, но лучше её прицепить сбоку к существующим языкам, а не делать краеугольным камнем языка, вот и разрабатывают библиотеки для LP и CLP вместо создания полного аналога Пролога.
|
|
|
Специалист
Сообщений: 8,170
Сказал(а) спасибо: 5
Поблагодарили 339 раз(а) в 338 сообщениях
Регистрация: 01.03.2003
Адрес: Краснодар
|

12.07.2012, 13:03
Цитата:
Сообщение от spirid
1. А разве у MS есть свой Пролог? Если это Net Prolog, который я пробовал, то он мне показался очень слабым по сравнению с VIP. Да и работал он как-то нестабильно. Или это другой Пролог, для внутреннего пользования? Где о нем можно прочитать?
|
Я попробую найти источник. Дело в том, что об этом я читал довольно давно, лет 5-8 назад, и сейчас не помню где.
Цитата:
Сообщение от spirid
3. В последнее время почему-то вырос интерес к функциональным языкам (Haskell, MS F#, Google Go и др). А интерес к декларативным языкам не возрос.
|
Неточно. И функциональные и логические языки принадлежат к классу декларативных. А интерес действительно сместился в сторону ФЯ, наверное потому, что появилось много интересных и мощных реализаций.
Цитата:
Сообщение от spirid
какие перспективы развития декларативных языков типа Пролог и в частности VIP в будущем.
|
На этот вопрос лучше ответят представители PDC-SPb.
Цитата:
Сообщение от spirid
Мне хотелось бы четко для себя уяснить, когда целесообразно использовать Пролог, а когда процедурные языки.
|
Вообще VIP стал универсальным языком. Но из-за встроенного недетерминизма этот язык удобно использовать в переборных задачах, которые имеют в своей постановке недетерминированные компоненты, много альтернатив на разных уровнях описания задачи. К таким задачам как правило относятся практически все классические задачи из области ИИ. Обработка ЕЯ-текстов и ИЯ-текстов, символьные вычисления, управление объектами и процессами с большим числом параметров и/или в сложной обстановке, логические игры, задачи на графах и деревьях, экспертные системы и всё, что может быть основано на технологии баз знаний, задачи с эвристиками для ограничения перебора или порождения перебора...
Цитата:
Сообщение от VictorY
Неточно. Датчане сдалали свой Prolog и основали фирму PDC. Borland на волне всеобщего ажиотажа в части ИИ купила у них авторские права, обернула в форму Turbo силами самих разработчиков (продали около 300000 копий). Потом настроилась на борьбу с MS и убрала Prolog из своих планов. Разработчики выкупили свои права обратно, превратив Turbo в PDC-Prolog.
|
Спасибо, буду знать.
Цитата:
Сообщение от gromozeka
Не думаю, что дело в патриотизме, F# вон вполне серьёзно разрабатывают, а он диалект ML, который вполне себе европейский (шотландский) язык. Просто в самой парадигме ЛП, мне кажется все слегка разочаровались.
Ну может не разочаровались, а просто считают что машина вывода - штука для определённых задач очень хорошая, но лучше её прицепить сбоку к существующим языкам, а не делать краеугольным камнем языка, вот и разрабатывают библиотеки для LP и CLP вместо создания полного аналога Пролога.
|
Может быть. Мотивы целесообразности также присущи пиндосам, наверное не в меньшей степени, чем патриотизм.
|
|
|
Member
Сообщений: 48
Сказал(а) спасибо: 3
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 11.07.2012
|

12.07.2012, 17:20
Цитата:
Сообщение от gromozeka
вот и разрабатывают библиотеки для LP и CLP
|
А какие библиотеки и для каких языков программирования? Как я понимаю, LP - это логическое программирования, а что такое CLP?
|
|
|
Member
Сообщений: 48
Сказал(а) спасибо: 3
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 11.07.2012
|

13.07.2012, 12:34
Нашел в википедии информацию по CLP. По моему мнению, VIP существенно мощнее. А какие библиотеки и для каких языков реализуют LP и CLP и в каких известных проектах они с успехом используются?
|
|
|
Member
Сообщений: 99
Сказал(а) спасибо: 9
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 17.04.2012
|

19.10.2012, 18:15
Когда выйдет версия 7.4 Visual Prolog?
|
|
|
Специалист
Сообщений: 8,170
Сказал(а) спасибо: 5
Поблагодарили 339 раз(а) в 338 сообщениях
Регистрация: 01.03.2003
Адрес: Краснодар
|

23.11.2012, 22:37
Вышел релиз 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.
:(
Последний раз редактировалось Винитарх; 23.11.2012 в 23:08
|
|
|
Member
Сообщений: 753
Сказал(а) спасибо: 17
Поблагодарили 65 раз(а) в 62 сообщениях
Регистрация: 28.03.2012
|

24.11.2012, 12:17
Цитата:
Сообщение от Винитарх
Поразило в самую душу сообщение при инсталляции Visual Prolog 7.4 PE:
Требуется Microsoft .NET Framework.
|
Отвечающий за сетап говорит, что такого быть не должно.
Можно подробней (можно в супорт)
1. какая система?
2. в какой момент был запрос?
|
|
|
Member
Сообщений: 4,798
Сказал(а) спасибо: 0
Поблагодарили 119 раз(а) в 116 сообщениях
Регистрация: 17.11.2004
|

24.11.2012, 20:01
У меня PE ничего не требует.
Подсветка кода стала гламурная, но у меня на компьютере бледноватая (комментарии светло-серые). Это наверное можно исправить? Я имею в виду яркость. Интересно, на нормальных компьютерах как теперь подсветка выглядит?
|
|
|
Member
Сообщений: 136
Сказал(а) спасибо: 6
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 04.02.2012
|

24.11.2012, 22:22
В какой-то ветке форума по Прологу была информация, что Alison близка к завершению пособия по VIP, которое будет отличаться от пособия VictorY. Можно ли поподробнее узнать у автора, когда планируется выход этого пособия? Язык и среда очень хорошие, а вот пособий хороших нет.
|
|
|
Member
Сообщений: 4,798
Сказал(а) спасибо: 0
Поблагодарили 119 раз(а) в 116 сообщениях
Регистрация: 17.11.2004
|

24.11.2012, 22:51
Сначала отредактирую книгу, на что может уйти не один месяц. Тем более, что надо проверить все примеры и обновить некоторые из них, т.е. переделать с учетом новых свойств. А потом начну работать с издательством, которое тоже еще предстоит найти. Издательство обычно готовит книгу к выходу довольно долго. Так что все вместе займет немало времени.
|
|
|
Member
Сообщений: 99
Сказал(а) спасибо: 9
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 17.04.2012
|

24.11.2012, 23:18
А может быть сделать так, как сделал VictorY? Я бы купил и не идеальный электронный вариант, по версии VIP 7.3, а потом бы купил "идеальный" бумажный вариант
|
|
|
Опции темы |
|
Опции просмотра |
Линейный вид
|
Ваши права в разделе
|
Вы не можете создавать новые темы
Вы не можете отвечать в темах
Вы не можете прикреплять вложения
Вы не можете редактировать свои сообщения
HTML код Выкл.
|
|
|
|