Компьютерный форум
Правила
Вернуться   Компьютерный форум > Форум программистов > Языки программирования > Prolog
Перезагрузить страницу Visual Prolog <--> ISO-Prolog
Ответ
 
Опции темы Опции просмотра
  (#1 (permalink)) Старый
z556 z556 вне форума
Member
 
Сообщений: 123
Сказал(а) спасибо: 0
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 15.02.2007
По умолчанию 21.12.2009, 20:51

Цитата:
...Но некоторых возможностей из ISO-прологов нет.
Тем не менее, там столько удобств, что все это становится не важным. И гуишные проекты можно быстро делать. И вообще, чем сложнее задача, тем легче она на нем решается.
Извините, что встреваю, но... Особенно не согласен со словами: "И вообще, чем сложнее задача, тем легче она на нем (VIP7) решается." Мой опыт показал прямо противоположное. В книге Братко есть глава "Индуктивное логическое программирование". Там приводится пример программы Minihyper. Ее смысл: по набору фактов (как положительных, так и отрицательных) сформировать их объединяющий предикат (или набор предикатов). Иными словами, по приведенным примерам автоматически написать программу на Прологе. Я попробовал переписать эту прогу на семерке, и сходу не вышло!. На мой взгляд, именно из-за отсутствия ссылочных переменных. Проявив упрямство, и для того, чтобы довести дело до конца я раскурочил PIE, в которой этот тип переменных смоделирован, скомпилировал все это в один проект, и решил-таки пример из Братко! Но теперь сравните созданный мною "динозавр" и элегантный пример из Братко. Конечно, уперевшись рогом, и потратив море времени, я мог бы сам обойти проблемы (с очень низким качеством результата). Но зачем мне, простому инженеру, нужны эти сложности? Вывод: профессиональный программист может написать любую программу на ЛЮБОМ языке, но что делать остальным смертным? Я, например, использую VIP7, поэтому задачи типа Minihyper для меня недоступны из-за их чрезмерной сложности. (Если мне возразят, что VIP быстрее, чем SWI, то можно ответить, что есть языки и быстрее VIP).
Ответить с цитированием
  (#2 (permalink)) Старый
Грымзик Грымзик вне форума
Member
 
Сообщений: 273
Сказал(а) спасибо: 0
Поблагодарили 2 раз(а) в 2 сообщениях
Регистрация: 25.09.2009
По умолчанию 21.12.2009, 20:52

hasper, member это стандартный предикат, проверяющий является
ли данный элемент членом данного списка. color_list генерит список из
цветов волос, определенных предикатом color.
c not(uslovie53(Dami)) все абсолютно нормально. Условие53 выполняется
только если дамы не брюнетка и не рыжая соответственно, значит
not(условие53) будет выполняться во всех остальных случаях.
В логических выражениях скобки открываются так
НЕ(А И В)=(НЕ А) ИЛИ (НЕ В)
Ответить с цитированием
  (#3 (permalink)) Старый
Alison Alison вне форума
Member
 
Сообщений: 4,771
Сказал(а) спасибо: 0
Поблагодарили 119 раз(а) в 116 сообщениях
Регистрация: 17.11.2004
По умолчанию 21.12.2009, 21:05

Цитата:
Извините, что встреваю, но... Особенно не согласен со словами: "И вообще, чем сложнее задача, тем легче она на нем (VIP7) решается." Мой опыт показал прямо противоположное. В книге Братко есть глава "Индуктивное логическое программирование". Там приводится пример программы Minihyper. Ее смысл: по набору фактов (как положительных, так и отрицательных) сформировать их объединяющий предикат (или набор предикатов). Иными словами, по приведенным примерам автоматически написать программу на Прологе. Я попробовал переписать эту прогу на семерке, и сходу не вышло!. На мой взгляд, именно из-за отсутствия ссылочных переменных. Проявив упрямство, и для того, чтобы довести дело до конца я раскурочил PIE, в которой этот тип переменных смоделирован, скомпилировал все это в один проект, и решил-таки пример из Братко! Но теперь сравните созданный мною "динозавр" и элегантный пример из Братко. Конечно, уперевшись рогом, и потратив море времени, я мог бы сам обойти проблемы (с очень низким качеством результата). Но зачем мне, простому инженеру, нужны эти сложности? Вывод: профессиональный программист может написать любую программу на ЛЮБОМ языке, но что делать остальным смертным? Я, например, использую VIP7, поэтому задачи типа Minihyper для меня недоступны из-за их чрезмерной сложности. (Если мне возразят, что VIP быстрее, чем SWI, то можно ответить, что есть языки и быстрее VIP).
Возможно. Я не спорю, что есть задачи, которые проще решаются на SWI.
Насчет PIE - теперь же есть возможность использовать его в VIP. В смысле, в нем есть теперь класс такой. Я после конференции 2008 приводила здесь миниатюрный пример, чтобы посмотреть, что это такое, мне понравилось. Позже собираюсь посмотреть подробнее. Томас недавно привел пример с PIE на форуме PDС.

Я имела в виду другие проложные по сути задачи, связанные с большой вычислительной сложностью. Примеры решения некоторых я приводила на VIP 7.x в СКЯП. Вот другой пример - задача о ханойской башне. Всем известно, что если есть 3 стержня и 64 диска, то нужно, чтобы полностью переместить пирамиду с одного стержня на другой, сделать (2^64 - 1) шагов. А если есть 2 вспомогательных стержня, т.е. всего 4. Сколько шагов достаточно будет сделать для перемещения пирамиды из 64 дисков? Я не представляю, какой Пролог, кроме VIP 7.x (может, и конкретно 7.2) потянет такую задачу (не факт, конечно, что нельзя сделать проще, чем я придумала, но я не знаю как это может быть проще).
Ответить с цитированием
  (#4 (permalink)) Старый
Винитарх Винитарх вне форума
Специалист
 
Аватар для Винитарх
 
Сообщений: 7,910
Сказал(а) спасибо: 2
Поблагодарили 297 раз(а) в 297 сообщениях
Регистрация: 01.03.2003
Адрес: Краснодар
По умолчанию 21.12.2009, 21:17

Visual Prolog 7.2 и SWI нельзя сравнивать, они несравнимы
У них нет общих точек соприкосновения.
Кроме этого цели и задачи у них разные. SWI - академический, Visual Prolog 7.2 - прикладной, коммерческий.
Ответить с цитированием
  (#5 (permalink)) Старый
Alison Alison вне форума
Member
 
Сообщений: 4,771
Сказал(а) спасибо: 0
Поблагодарили 119 раз(а) в 116 сообщениях
Регистрация: 17.11.2004
По умолчанию 21.12.2009, 21:36

Выбор в вузах в любом случае стоит, что использовать, и не только в вузах. Так что люди сравнивают.
Ответить с цитированием
Ads.
  (#6 (permalink)) Старый
Винитарх Винитарх вне форума
Специалист
 
Аватар для Винитарх
 
Сообщений: 7,910
Сказал(а) спасибо: 2
Поблагодарили 297 раз(а) в 297 сообщениях
Регистрация: 01.03.2003
Адрес: Краснодар
По умолчанию 21.12.2009, 22:57

Ну преподаватели сравнивают, да.
А разработчики навряд ли.
Кто будет писать коммерческий проект на SWI или Arity???
Правда один уникум здесь встречался, который по его заявлениям писал на Arity анализатор смысла текстов, но потом исчез.
Ответить с цитированием
  (#7 (permalink)) Старый
Alison Alison вне форума
Member
 
Сообщений: 4,771
Сказал(а) спасибо: 0
Поблагодарили 119 раз(а) в 116 сообщениях
Регистрация: 17.11.2004
По умолчанию 22.12.2009, 09:55

Вполне допускаю, что SWI используют. Иначе бы в нем не было классных наворотов, и он бы так сильно не развивался.
В VIP 7.x тоже много классных наворотов, может и еще больше, но они другие, т.к. другие цели.
Ответить с цитированием
  (#8 (permalink)) Старый
z556 z556 вне форума
Member
 
Сообщений: 123
Сказал(а) спасибо: 0
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 15.02.2007
По умолчанию 22.12.2009, 19:23

Цитата:
Visual Prolog 7.2 и SWI нельзя сравнивать, они несравнимы
У них нет общих точек соприкосновения.
Кроме этого цели и задачи у них разные. SWI - академический, Visual Prolog 7.2 - прикладной, коммерческий.
Очень откровенные слова. Можно только добавить, что слово "prolog" в названии VIP7, превратилось в маркетинговый ход. Для профессионалов оно не имеет значения, а начинающих пользователей сбивает с толка.
Ответить с цитированием
  (#9 (permalink)) Старый
aag aag вне форума
А.А.Г.
 
Аватар для aag
 
Сообщений: 3,380
Сказал(а) спасибо: 0
Поблагодарили 82 раз(а) в 82 сообщениях
Регистрация: 29.11.2008
Адрес: Адмиралтейская)))
По умолчанию 22.12.2009, 19:45

Цитата:
Можно только добавить, что слово "prolog" в названии VIP7, превратилось в маркетинговый ход. Для профессионалов оно не имеет значения, а начинающих пользователей сбивает с толка.
Ну, не факт... Я лично только неделю как в VIP7 впервые заглянул. Все прологовские фишки там, вроде, в наличии. Плюс ещё чего вдогонку... Вот начинающим пользователям знакомится с Прологом по VIP7 я бы лично не советовал: мона прологовское по незнанию и не заметить... Как-то так вот, по-моему.
Ответить с цитированием
  (#10 (permalink)) Старый
Alison Alison вне форума
Member
 
Сообщений: 4,771
Сказал(а) спасибо: 0
Поблагодарили 119 раз(а) в 116 сообщениях
Регистрация: 17.11.2004
По умолчанию 22.12.2009, 20:17

Цитата:
Можно только добавить, что слово "prolog" в названии VIP7, превратилось в маркетинговый ход. Для профессионалов оно не имеет значения, а начинающих пользователей сбивает с толка.
Вы сами прекрасно понимаете, что это не так. Нет только того, что раньше можно было делать с помощью ссылочных доменов. Но их и раньше немногие использовали. Все остальное - есть.
Ответить с цитированием
  (#11 (permalink)) Старый
z556 z556 вне форума
Member
 
Сообщений: 123
Сказал(а) спасибо: 0
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 15.02.2007
По умолчанию 22.12.2009, 21:51

Цитата:
Вы сами прекрасно понимаете, что это не так. Нет только того, что раньше можно было делать с помощью ссылочных доменов. Но их и раньше немногие использовали. Все остальное - есть.
Да, конечно, Вы правы! Огромное большинство задач не требуют ссылочных переменных. Но, ведь они, эти задачи, и не требуют обязательного использования Пролога, да и не ради них создавался Пролог. Читая книги по iso Прологу видно, как сначала обсуждаются простые задачи, которые хорошо реализуются на любом языке (в т.ч. на VIP7). Но как только переходим к действительно интересным задачам, которые будят фантазию и желание сесть за комп, то VIP7 перестает работать. Винитарх прав - VIP7 не имеет общих точек соприкосновения с SWI. Я заранее прошу извинения, т.к. я - любитель, и могу ошибаться.
Ответить с цитированием
  (#12 (permalink)) Старый
aag aag вне форума
А.А.Г.
 
Аватар для aag
 
Сообщений: 3,380
Сказал(а) спасибо: 0
Поблагодарили 82 раз(а) в 82 сообщениях
Регистрация: 29.11.2008
Адрес: Адмиралтейская)))
По умолчанию 22.12.2009, 22:02

Цитата:
Читая книги по iso Прологу видно, как сначала обсуждаются простые задачи, которые хорошо реализуются на любом языке (в т.ч. на VIP7). Но как только переходим к действительно интересным задачам, которые будят фантазию и желание сесть за комп, то VIP7 перестает работать.
Гм... А пример из книг мона, когда перестаёт работать?! А то я тоже любитель...
Ответить с цитированием
Ads
  (#13 (permalink)) Старый
Винитарх Винитарх вне форума
Специалист
 
Аватар для Винитарх
 
Сообщений: 7,910
Сказал(а) спасибо: 2
Поблагодарили 297 раз(а) в 297 сообщениях
Регистрация: 01.03.2003
Адрес: Краснодар
По умолчанию 22.12.2009, 22:31

Цитата:
слово "prolog" в названии VIP7, превратилось в маркетинговый ход.
Интересно, а где грань за который язык перестаёт быть Прологом? Я считаю, что Пролог идентифицируется по признаку - наличие механизма логического вывода, основанного на унификации. ВСЁ.
Есть ссылочные домены или нет - это на любителя.
Есть бэктрекинг, или нет его - тоже, на вкус и цвет фломастеры разные.
Visual Prolog 7 имеет много ЯЗЫКОВЫХ наворотов, которые и не снились iso-Прологам, причём все они ФАКУЛЬТАТИВНЫ, т.е. не обязательны в использовании. А вот ISO-Прологи просто закостенели в жёстких рамках древнего стандарта. Нет развития именно языка.
Вон даже у С++ стандарт меняется, что-то там совершенствуют, беря кстати парадигмы из принципиально других языков.
Ответить с цитированием
  (#14 (permalink)) Старый
Alison Alison вне форума
Member
 
Сообщений: 4,771
Сказал(а) спасибо: 0
Поблагодарили 119 раз(а) в 116 сообщениях
Регистрация: 17.11.2004
По умолчанию 22.12.2009, 22:37

Цитата:
А вот ISO-Прологи просто закостенели в жёстких рамках древнего стандарта. Нет развития именно языка.
Уверена, что это неверно. Они тоже развиваются. Хороший пример - SWI, и не только.

VIP - это конечно одна из реализаций Пролога. Каждая реализация хороша чем-то своим. Это же все понимают. Чего из пустого в порожнее переливать?
Ответить с цитированием
  (#15 (permalink)) Старый
z556 z556 вне форума
Member
 
Сообщений: 123
Сказал(а) спасибо: 0
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 15.02.2007
По умолчанию 22.12.2009, 22:44

Цитата:
Гм... А пример из книг мона, когда перестаёт работать?! А то я тоже любитель...
Я имел ввиду minihyper из Братко (см.выше)
Ответить с цитированием
Ответ

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

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

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


Похожие темы
Тема Автор Раздел Ответов Последнее сообщение
Visual Prolog ikoryakin Prolog 12 25.05.2014 13:10
Перенос программ из {TurboProlog.....Visual Prolog 5.2} в Visual Prolog 7 imported_Jenny_ Prolog 30 25.03.2013 19:15
visual prolog 5.2 kamikadze0 Prolog 0 08.09.2011 15:11
visual prolog 5.2 andrey.tuzov Prolog 1 10.07.2011 02:31
код из turbo prolog в visual prolog posleg Prolog 4 13.06.2011 00:33
Экспертная система на pdc prolog или visual prolog Anton7 Prolog 8 12.05.2011 13:39
Visual Prolog 7-7.3 Светочка Prolog 9 11.05.2011 15:29
Помогите переделать задачу из Turbo Prolog в Visual Prolog 5 imported_Anneta Prolog 3 23.12.2010 22:59
Кто возьмется переписать маленькую программу с Turbo Prolog на Visual Prolog 5.0 (за плату) olik567 Prolog 4 07.10.2009 17:46
Кто возьмется переписать маленькую программу с Turbo Prolog на Visual Prolog 5.0 (за плату) Игоревна Задания за деньги 16 04.01.2008 17:20
Нет PIE в Visual Prolog 7.1 PE! Alison Prolog 4 23.08.2007 22:20
Visual Prolog 5 LPproger Prolog 1 06.02.2007 20:12



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