Компьютерный форум
Правила
Вернуться   Компьютерный форум > Форум программистов > Языки программирования > Prolog
Перезагрузить страницу Новости из мира Пролога!
Ответ
 
Опции темы Опции просмотра
  (#61 (permalink)) Старый
Винитарх Винитарх вне форума
Специалист
 
Аватар для Винитарх
 
Сообщений: 7,956
Сказал(а) спасибо: 2
Поблагодарили 303 раз(а) в 303 сообщениях
Регистрация: 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
Ответить с цитированием
  (#62 (permalink)) Старый
spirid spirid вне форума
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. Правильно ли я понимаю, что область применения Пролога - это решение задач с многими параметрами и условиями, когда механизм вывода Пролога позволяет найти решение (решения) этих задач за приемлемое время, а у человека бы крышу снесло от необходимости учета всех факторов, ограничений и условий. Решение этих задач на процедурных языках заняло бы много времени и потребовало бы большое количество кода. Мне хотелось бы четко для себя уяснить, когда целесообразно использовать Пролог, а когда процедурные языки.
Ответить с цитированием
  (#63 (permalink)) Старый
VictorY VictorY вне форума
Member
 
Аватар для VictorY
 
Сообщений: 986
Сказал(а) спасибо: 0
Поблагодарили 43 раз(а) в 43 сообщениях
Регистрация: 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.
Ответить с цитированием
  (#64 (permalink)) Старый
gromozeka gromozeka вне форума
Флудер
 
Аватар для gromozeka
 
Сообщений: 3,170
Сказал(а) спасибо: 6
Поблагодарили 16 раз(а) в 15 сообщениях
Регистрация: 28.02.2005
Адрес: Израиль
По умолчанию 12.07.2012, 11:58

Цитата:
2. У MS есть свой Пролог, который они используют как вспомогательный инструмент при разработке своих продуктов.
Очень интересно. А есть какие-то источники?
Цитата:
Однако они этого не делают и не будут делать. Исторически сложилось так, что пиндосы, как очень патриотичная нация, при необходимости отдадут предпочтение свои пиндосовским языкам из любимого функционального класса, типа Лиспа или Лиспоподобных, но никак не европейским языкам типа Пролога.
Не думаю, что дело в патриотизме, F# вон вполне серьёзно разрабатывают, а он диалект ML, который вполне себе европейский (шотландский) язык. Просто в самой парадигме ЛП, мне кажется все слегка разочаровались.
Ну может не разочаровались, а просто считают что машина вывода - штука для определённых задач очень хорошая, но лучше её прицепить сбоку к существующим языкам, а не делать краеугольным камнем языка, вот и разрабатывают библиотеки для LP и CLP вместо создания полного аналога Пролога.
Ответить с цитированием
  (#65 (permalink)) Старый
Винитарх Винитарх вне форума
Специалист
 
Аватар для Винитарх
 
Сообщений: 7,956
Сказал(а) спасибо: 2
Поблагодарили 303 раз(а) в 303 сообщениях
Регистрация: 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 вместо создания полного аналога Пролога.
Может быть. Мотивы целесообразности также присущи пиндосам, наверное не в меньшей степени, чем патриотизм.
Ответить с цитированием
Ads.
  (#66 (permalink)) Старый
spirid spirid вне форума
Member
 
Сообщений: 48
Сказал(а) спасибо: 3
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 11.07.2012
По умолчанию 12.07.2012, 17:20

Цитата:
Сообщение от gromozeka Посмотреть сообщение
вот и разрабатывают библиотеки для LP и CLP
А какие библиотеки и для каких языков программирования? Как я понимаю, LP - это логическое программирования, а что такое CLP?
Ответить с цитированием
  (#67 (permalink)) Старый
spirid spirid вне форума
Member
 
Сообщений: 48
Сказал(а) спасибо: 3
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 11.07.2012
По умолчанию 13.07.2012, 12:34

Нашел в википедии информацию по CLP. По моему мнению, VIP существенно мощнее. А какие библиотеки и для каких языков реализуют LP и CLP и в каких известных проектах они с успехом используются?
Ответить с цитированием
  (#68 (permalink)) Старый
tychalex tychalex вне форума
Member
 
Сообщений: 94
Сказал(а) спасибо: 8
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 17.04.2012
По умолчанию 19.10.2012, 18:15

Когда выйдет версия 7.4 Visual Prolog?
Ответить с цитированием
  (#69 (permalink)) Старый
Винитарх Винитарх вне форума
Специалист
 
Аватар для Винитарх
 
Сообщений: 7,956
Сказал(а) спасибо: 2
Поблагодарили 303 раз(а) в 303 сообщениях
Регистрация: 01.03.2003
Адрес: Краснодар
По умолчанию 11.11.2012, 16:49

Описание новых фич Visual Prolog 7.4, который должен вскоре выйти в свет:
New Features in Visual Prolog 7.4 - wiki.visual-prolog.com
Ответить с цитированием
  (#70 (permalink)) Старый
Винитарх Винитарх вне форума
Специалист
 
Аватар для Винитарх
 
Сообщений: 7,956
Сказал(а) спасибо: 2
Поблагодарили 303 раз(а) в 303 сообщениях
Регистрация: 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
Ответить с цитированием
  (#71 (permalink)) Старый
SergeMukhin78 SergeMukhin78 вне форума
Member
 
Сообщений: 559
Сказал(а) спасибо: 17
Поблагодарили 35 раз(а) в 35 сообщениях
Регистрация: 28.03.2012
По умолчанию 24.11.2012, 12:17

Цитата:
Сообщение от Винитарх Посмотреть сообщение
Поразило в самую душу сообщение при инсталляции Visual Prolog 7.4 PE:
Требуется Microsoft .NET Framework.
Отвечающий за сетап говорит, что такого быть не должно.

Можно подробней (можно в супорт)
1. какая система?
2. в какой момент был запрос?
Ответить с цитированием
  (#72 (permalink)) Старый
Alison Alison вне форума
Member
 
Сообщений: 4,781
Сказал(а) спасибо: 0
Поблагодарили 119 раз(а) в 116 сообщениях
Регистрация: 17.11.2004
По умолчанию 24.11.2012, 20:01

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

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

Сначала отредактирую книгу, на что может уйти не один месяц. Тем более, что надо проверить все примеры и обновить некоторые из них, т.е. переделать с учетом новых свойств. А потом начну работать с издательством, которое тоже еще предстоит найти. Издательство обычно готовит книгу к выходу довольно долго. Так что все вместе займет немало времени.
Ответить с цитированием
  (#75 (permalink)) Старый
tychalex tychalex вне форума
Member
 
Сообщений: 94
Сказал(а) спасибо: 8
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 17.04.2012
По умолчанию 24.11.2012, 23:18

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

Опции темы
Опции просмотра

Ваши права в разделе
Вы не можете создавать новые темы
Вы не можете отвечать в темах
Вы не можете прикреплять вложения
Вы не можете редактировать свои сообщения

BB коды Вкл.
Смайлы Вкл.
[IMG] код Вкл.
HTML код Выкл.
Trackbacks are Вкл.
Pingbacks are Вкл.
Refbacks are Выкл.


Похожие темы
Тема Автор Раздел Ответов Последнее сообщение
j2me, jsr-184, m3g. Как передавать обьекты с одного мира в другой? Димтрий Java 0 31.08.2011 18:36
Последние судьбы России и мира boiyko Общетематический 4 01.05.2011 12:30
Машины мира......... Матрикс Авто и мото 66 15.02.2011 12:57
Возможно найти базу данных стран мира с его городами и школ Aram .NET 3 18.10.2008 06:22
просто новости Cerber86 Общетематический 2 17.09.2008 12:48
Монстры из мира блоков питания VipeR Новости 2 15.06.2007 06:50
Как создать карты мира Fat-Zer Алгоритмы 1 17.04.2007 20:12
Новости культуры SH@DOW Юмор 1 14.09.2006 21:35
Аномальные новости лисс Офтопик 31 22.02.2005 18:12
Требуются программеры для проекта виртуального мира swd Некоммерческие проекты 1 15.02.2004 03:42



Powered by vBulletin® Version 3.8.7
Copyright ©2000 - 2018, Jelsoft Enterprises Ltd.
Нardforum.ru - компьютерный форум и программирование, форум программистов