Цитата(Винитарх @ 17.2.2010, 00:23  ) | | На нашем форуме проводились сравнения VIP vs SWI. Ест-но не в пользу SWI. SWI не только уступил в скорости на порядки, он просто глючил на тех исходных данных, на каких VIP прекрасно работал. А вычисляли мы функцию Аккермана. |
А это разве задача для декларативного языка? Хотя бы для функционального - да. VIP действительно в этом отношении более универсален, но мы так и не определились, почему это следует считать достоинством. А на "родных" для Пролога задачах разница в быстродействии, пожалуй, невелика (хотя она, не буду возражать, действительно в пользу VIP).
Заодно, кстати, не дадите ссылку на сравнение? Не поймите превратно, мне просто интересно посмотреть на более детальное описание результатов.
| Цитата(Винитарх @ 17.2.2010, 00:23 ) | | В строгой типизации. Львиная доля ошибок вылавливается на этапе компиляции. В SWI ест-но типизации нет и на этапе проектирования нельзя проверить надёжность программы, только на этапе исполнения путём тестирования. Но кто ж проводит ПОЛНОЕ тестирование? Да никто! |
Да, пожалуй, тут соглашусь. Хотя та же типизация (она в VIP, кстати, не слишком уж строгая, до какой-нибудь Ады ему очень далеко) - это существенно противоречащее исходной идее свойство. Получившийся результат, возможно, и лучше, но он не является Прологом. Скорее он заполняет экологическую нишу Хаскеля и т.п., но при этом, пожалуй, излишне громоздок.
| Цитата(Винитарх @ 17.2.2010, 00:23 ) | | Это всё слова. Напишите на SWI к примеру СУБД для внутренней БД и прочуствуйте разницу во времени и затраченных усилиях между SWI и VIP. |
А зачем? Это просто еще одна задача, которую не надо решать на Прологе. Да, если хочется все сразу сделать на одном языке, то в случае SWI это будет посложнее, но подобное желание не вполне естественно.
| Цитата(Винитарх @ 17.2.2010, 00:23 ) | | Это большое достоинство. Потому что эти возможности факультативны. Не нравится - не используйте. Оставайтесь в рамках синтаксиса Турбо Пролога, который, как я увидел по Вашему форуму, Вы знаете. Никто, как говорится не принуждает. |
Кхм... а что понимается под "моим форумом"?
Знаете, то, что в языке есть нечто, чем я не хочу пользоваться, для меня не является достоинством.  Правда, я не предпочитаю Turbo/PDC VIP'у, к первому все сказанное ранее относится примерно в той же степени, что и ко второму. Турбо Пролог я действительно знаю - точнее, знал лет 15-20 назад, а сейчас уже многое успел забыть (к VIP, впрочем, относится то же самое, только воспоминания посвежее). Однако уже лет десять как минимум я попросту не вижу задач, к которым их можно было бы приспособить. Попытки писать все на Прологе явно нелепы - проще собрать гетерогенный проект, написав все, кроме системы логического вывода, на чем-нибудь другом. Собственно прологовские задачи пишутся на SWI быстрее и эффективнее (а скорость разработки в этих случаях, как правило, ценнее скорости выполнения), стыковать их с чем-то другим проще. Ну и закладываться на Windows и коммерческий компилятор с особенностями, меняющимися от версии к версии, я не хочу даже бесплатно.
| Цитата(Винитарх @ 17.2.2010, 00:23 ) | Да переносимости в VIP7 нет. Она осталась только в VIP5. Но всё же это уже не пятый, а шестой пункт, в котором VIP уступает SWI.
Итого счёт 5:1 в пользу Visual Prolog7.2. |
Я бы сказал, что он не шестой, а нулевой. Допустим, написал я некую программу на VIP в 1999 году (пример, кстати, совершенно реальный), и что я с ней сейчас буду делать? Инструмент импорта старых проектов, конечно, есть, но он, мягко говоря, кривоват. На нынешних версиях Windows все это дай бог если вообще как-то запустится. А программа и сейчас представляет ценность, причем вариант "выкинуть и написать заново" не стоит рассматривать - слишком сложно.
В реальности, правда, и пришлось переписывать. Но в расчете на SWI и под Linux, с другими обертками. Но то, что получилось, и сейчас успешно крутится на разных платформах, и я не думаю о том, что завтра разработчик компилятора еще что-то поменяет и мне придется лихорадочно думать, что и где в коде более чем десятилетней давности при этом отвалится.
| Цитата(Винитарх @ 17.2.2010, 00:23 ) | | Дык в том то и дело, что в VIP7.2 можно писать по старинке, как писали в Турбо Прологе, без всяких изысков. Никто же Вас не заставляет! Однако иметь прямой доступ, например, к данным в Oracle без обращения к чужим библиотекам, это - заманчиво. |
Ну совсем уж по старинке не получится. А заманчивости неиспользования сторонних библиотек (если они есть и достаточно хорошо сделаны) я, откровенно говоря, не понимаю. Помимо всяких частных соображений, есть одно стандартное общее - универсальный комбайн умеет делать все, но, как правило, каждую конкретную вещь он делает хуже, чем специализированный инструмент. |
Это тоже есть.