Хабр Курсы для всех
РЕКЛАМА
Практикум, Хекслет, SkyPro, авторские курсы — собрали всех и попросили скидки. Осталось выбрать!
Хабр доступен 24/7 благодаря поддержке друзей
Комментарии 106
Незнаю кто но меня в свое время он точно убил.
На курсе Пролога помнится после ООП перестраиваться конечно очень сложно было. Мозг взрывался.
У нас в ТулГУ в приложении к курсу «Экспертные Системы» тоже учили Prolog и даже лабы делали. А вот где реально мозг перестраивать надо — так это GPSS ;)
Было, было… Не к ночи он будет помянут :)
Когда у меня был курс GPSS — я тогда писал какое-то многопоточное приложение на работе. И все в голове уклалось как нужно: есть конвеер на который поступаю разные объекты и из них нужно было сделать нужную процукцию:) Ну а на языке GPSS уже это всё описать.
Кстати, никогда бы не подумал изучая GPSS, что может когда-то пригодится… Позднее автоматизировали производственный процесс и встала задача моделирования технологического пути прохождения деталей по станкам. Система обслуживающих аппаратов, транзакций и очередей «один в один» как в GPSS. Правда реализовали все это на Delphi, но работало на «ура».
Да уж :) У нас в институте был Пролог, да и GPSS тоже изучали. Слегка трудновато после многолетнего изучения С++ было понять язык логического программирования, но зато серьезно тренирует разум. И не прав тот, кто говорит, что в России нет высшего образования, оно есть ;)
аналогично. Меня наша преподавательница «похвалила», сказав что она первый раз видит, чтобы на прологе кто-то написал бы программу на Си (мой моск к тому моменту был уже необратимо поврежден).
Помню у нас в библиотеке, на очень видном месте гордо стояла книга «Пролог — язык программирования будущего», года 90го выпуска.
Цитата из вики в статье о Prolog:
«Перспектива развития всемирной Сети, известной как проект Веб 3.0 поддерживает особый интерес к семантике распределенных данных и их обработке декларативными методами. В связи с этим появились концепции языка OWL, основанного на концепции First-Order Logic (FOL)[2], реализацию которой, в свою очередь, можно рассматривать как значительно более расширенную технику классического Prolog.»
так что вроде жив язык.
«Перспектива развития всемирной Сети, известной как проект Веб 3.0 поддерживает особый интерес к семантике распределенных данных и их обработке декларативными методами. В связи с этим появились концепции языка OWL, основанного на концепции First-Order Logic (FOL)[2], реализацию которой, в свою очередь, можно рассматривать как значительно более расширенную технику классического Prolog.»
так что вроде жив язык.
скорее оживает — параллельные вычисления, а с ними и логическое программирование, возвращается
потолок частотного ускорения слишком близок
потолок частотного ускорения слишком близок
OWL критикуют за излишнюю сложность, его лет пять назад на руках носили, говорили, что вот-вот OWL, RDF и прочие захватят мир. Не захватили.
В процессе захвата, посмотрите сайт bbc.co.uk — он вполне использует уже семантические фишки (дублин коре, запросы к dbpedia.org и прочее)
Просто RDF оказался неудобен, а вот RDFa в сочетании с HTML5 может оживить семантическую паутину.
Просто RDF оказался неудобен, а вот RDFa в сочетании с HTML5 может оживить семантическую паутину.
Проблема RDF и прочего подобного исключительно психологическая: люди не хотят, не умеют и не будут заполнять метаданные. Что-то можно, конечно, вытащить автоматом, но это эмпирические данные, от них никакой семантики толком. Так что я не верю в светлое семантическое будущее.
Посмотрим, на самом деле здесь не только психологический барьер, а так же еще банальный — технический (сделать апдейт в графе не такая и простая задача, даже Oracle не сделал еще полную поддержку SPARQL, хотя сделал уже большой шаг к этому), практическое применение получить от семантической паутины не так и просто, для компаний это очень серьезный шаг.
Полагаю, нас просто с детства учили читать неструктурированный негипертекстовый текст. Поэтому и к метаданным такое отношение.
Вот когда учебник литературы будет содержать не тексты произведений, а семантические графы, тогда и к метаданным отношение другое будет.
Вот когда учебник литературы будет содержать не тексты произведений, а семантические графы, тогда и к метаданным отношение другое будет.
И как он дублин коре использует? И что у DBPedia запрашивает? Можно поподробнее и с примерами?
В общем-то, вы можете просто посмотреть исходных код их страниц и увидеть метаданные.
Запросы к dbpedia они делают для получения данных в своих раздела, например, можете открыть раздел о животных (http://www.bbc.co.uk/nature/animals/) — там берутся энциклопедические данные, а в качестве контекста уже подаются их программы на эту тему.
Боюсь если я начну расписывать все это — будет очень много текста и не думаю что это совсем к месту.
Запросы к dbpedia они делают для получения данных в своих раздела, например, можете открыть раздел о животных (http://www.bbc.co.uk/nature/animals/) — там берутся энциклопедические данные, а в качестве контекста уже подаются их программы на эту тему.
Боюсь если я начну расписывать все это — будет очень много текста и не думаю что это совсем к месту.
Вы забыли, что SQL с каждой новой версией семантически приближается к Prolog. Даже группа по развитию SQL, собираясь каждые 10 лет обязательно упоминает об этом.
жив, то жив но на последнем исдыхании. Хотя в ВУЗЕ где учусь, перваки изучают его немного.
Угу, у нас тоже изучают, курсе на втором, в одном предмете в Лиспом. А мне в свое время довелось и нечто вроде базы знаний на нем писать в курсовой. Не очень я его полюбила после этого.
Нам тоже пролог преподавали пару месяцев. Ничего оттуда не запомнил, в языке особо не разобрался. Разбираться сейчас в прологе никакого желания нет из-за того, что применять его все равно негде. Уж лучше бы лисп преподавали, функциональщина везде используется и на практике полезна.
> Разбираться сейчас в прологе никакого желания нет из-за того, что применять его все равно негде.
Зря вы так резко. Проблема не в языке, а в отсутствии раскрученных инструментов разработки. На прологе очень красивые системы бухучета могут получиться, например. Системы компьютерной алгебры, системы принятия решений, системы семантического поиска в Web 3.0
Зря вы так резко. Проблема не в языке, а в отсутствии раскрученных инструментов разработки. На прологе очень красивые системы бухучета могут получиться, например. Системы компьютерной алгебры, системы принятия решений, системы семантического поиска в Web 3.0
Могут, но не получаются. Вообще, декларативный ли, функциональный, асинхронный язык — не важно — без возможности написания на нём нормальных императивных программ они — бессмысленный пустой звук (тот же лисп — не вполне функциональный, в частности, благодаря макросам).
Хм, не уловил, а как макросы ломают функциональность? Лисп даëт возможность писать программы имеративно с помощью присваивания (setq, etc), а макросы тут не при чëм, или я что-то упускаю?
Насколько я понял, некоторые общеупотребимые лисперами макросы (loop, например) вкупе с кейвордами «лёгким движением руки» добавляют во вполне себе функциональный Лисп программирование в императивном стиле (точнее, они добавляют императивные DSL). Можно даже (о ужас) программировать в стиле tagbody/go.
Вместе с возможностью доступа в глобальную таблицу символов (насколько я понял, из любой части программы), в принципе, это делает Лисп таким же «функциональным», как Perl, Python или Javascript.
Вместе с возможностью доступа в глобальную таблицу символов (насколько я понял, из любой части программы), в принципе, это делает Лисп таким же «функциональным», как Perl, Python или Javascript.
А, как-то я с этой стороны не посмотрел. Ну, возможность писать императивно не исключает возможность писать функционально. И это на лиспе всë-таки делать проще, чем на перле, питоне или жаваскрипте.
У Лиспа есть одно важное достоинство перед перечисленными: возможность программным образом обрабатывать исходные формы программы и писать эти самые макросы. А в остальном, «функциональность» в смысле возможности написания программ с подавлением возможных сайд-эффектов — такая же, как у перечисленных языков, просто вместо зоопарка скобочек и прочих лексических/синтаксических средств структурирования программ есть очень ограниченный набор правил.
классный язык
у них есть множество приемников
У них есть множество преемников.
А «приёмники» — это которые с антеннами и батарейками.
Мы тоже его изучали. И на вопросы о применении нам тупо отвечали:«ИИ и системы экспертной оценки». При этом никто из кафедры не смог привести пример ни одной реально работающей и востребованной ИС, написанной на прологе. ИМХО, пролог можно зарывать.
дело не в практике, дело в обучении логическому мышлению, думаю.
честно говоря, я так и не уловил различия в областях применения Пролога и Лиспа
хотя у меня были отдельные курсы по ним
и в том, и в другом определенный круг задач решается одинаково легко
хотя у меня были отдельные курсы по ним
и в том, и в другом определенный круг задач решается одинаково легко
Так ведь вся борьба между этими языками — борьба между технологиями Европы и Америки.
Пролог — Лисп
Паскаль — Си
И то что победили вторые не заслуга самих языков, а грамотный маркетинг, затем инерционность мышления пользователей (влом переучиваться) и в конце уже мегааргумент — библиотек и инструментов больше для Лисп и Си. Но по вначале мегааргумента не было, а был только маркетинг.
Пролог — Лисп
Паскаль — Си
И то что победили вторые не заслуга самих языков, а грамотный маркетинг, затем инерционность мышления пользователей (влом переучиваться) и в конце уже мегааргумент — библиотек и инструментов больше для Лисп и Си. Но по вначале мегааргумента не было, а был только маркетинг.
еще в тему «невидимой» борьбы (из нижних комментов)
Симула (Новегия 1967) — SmallTalk (США 1972)
Симула (Новегия 1967) — SmallTalk (США 1972)
вы не поверите (в следующей статье есть об этом) — первые версии пролога были сделаны в Стэндфорде в лабораториях Роберта Ковальски, а вот ускорение и известность ему принесли уже Фурукава и проект пятого поколения
писал и работало… давно это было)
Вы в университете учились или ПТУ? Вас не должны интересовать реально работающие и востребованные применения технологий. Вас учат думать своей головой, а не статистикой, и самостоятельно принимать решения.
объектно-ориентированные (1972, SmallTalk);
Симула была раньше. В 1967
автор из штатов, а за их пределами развитого мира нет, как известно :)
кому какое дело, что там сказочной стране Норвегия в 67 изобрели
кому какое дело, что там сказочной стране Норвегия в 67 изобрели
Симула не была чистым объектно-ориентированным языком.
Тогда уж впишите лисп везде — на нём впервые варианты систем на логических формулах и передаче сообщений делались.
Тогда уж впишите лисп везде — на нём впервые варианты систем на логических формулах и передаче сообщений делались.
С нетерпением жду продолжения.
Может быть, если бы была приличная реализация пролога, многие бы его применяли. Наверняка многие его используют, не зная об этом, и создавая свои версии — когда пишут микро-экспертные системы.
Проблема курицы и яйца.
Да. Именно для этого в ВУЗах откапывают древние технологии. Потому что ru.wikipedia.org/wiki/Десятое_правило_Гринспена
Только в некоторых задачах вместо CL выходит Prolog. :)
Только в некоторых задачах вместо CL выходит Prolog. :)
> Кто хочет похоливарить на этот счет, пусть вначале напишет алгоритм бинарного поиска в массиве на Си, хаскеле, прологе — в любом из трех случаев придется писать программу «на Си»
Зачем же писать и холиварить? До нас уже всё написали и доказали, что ваше мнение не верно.
rosettacode.org/wiki/Sorting_algorithms/Quicksort#C
rosettacode.org/wiki/Sorting_algorithms/Quicksort#Haskell
rosettacode.org/wiki/Sorting_algorithms/Quicksort#Prolog
Как говорится, найдите десять отличий. Даже немного смешно, что вы могли такое мнение высказать. Похоже, вам со школы внушали, что кроме императивной парадигмы ничего не существует.
Зачем же писать и холиварить? До нас уже всё написали и доказали, что ваше мнение не верно.
rosettacode.org/wiki/Sorting_algorithms/Quicksort#C
rosettacode.org/wiki/Sorting_algorithms/Quicksort#Haskell
rosettacode.org/wiki/Sorting_algorithms/Quicksort#Prolog
Как говорится, найдите десять отличий. Даже немного смешно, что вы могли такое мнение высказать. Похоже, вам со школы внушали, что кроме императивной парадигмы ничего не существует.
Бывает. Люди вон «вырастают» и понимают что им линукс даже серверах не нужен. Мало ли чего может с человеком произойти.
Позвольте уточнить. С каким именно лиспом вы знакомились в контексте декларативных языков? Просто ни одного современного декларативного языка этого семейства не припомню, кроме Scheme.
Среди лисперов бытует мнение, что Scheme — идеальный язык, пока не пытаешься написать на нём что-то полезное. :) Мой опыт это мнение подтверждает.
Так же мой опыт подтверждает мнение, что чисто декларативные языки (например, erlang, синтаксис которого — prolog процентов на 80) нужны только в сильно многопоточных приложениях. Иначе идеальны мультипарадигменные вроде Common Lisp или (внезапно) ещё шевелящегося D. Или Python. Или C++, если бы не его многочисленные другие недостатки.
Потому что почти в любой задаче есть и императивные и декларативные куски. А императивные иногда легко описываются как набор объектов, а иногда — как набор процедур.
Так же мой опыт подтверждает мнение, что чисто декларативные языки (например, erlang, синтаксис которого — prolog процентов на 80) нужны только в сильно многопоточных приложениях. Иначе идеальны мультипарадигменные вроде Common Lisp или (внезапно) ещё шевелящегося D. Или Python. Или C++, если бы не его многочисленные другие недостатки.
Потому что почти в любой задаче есть и императивные и декларативные куски. А императивные иногда легко описываются как набор объектов, а иногда — как набор процедур.
Для Питера Норвига это задача на пол часа :D
norvig.com/paip/prolog.lisp
norvig.com/paip/prolog.lisp
Я мож чего не понял, но понятие «алгоритм» — сугубо императивное. Как можно вообще просить сделать «алгоритм» на Прологе?
раз на нем никто не пишет, значит плохой язык был, независимо от того, что сделали японцы
то что многие пишут на PHP не хороший, так и prolog не плохой потому что никто не пишет — причины какие-то другие. Одна из них — в эпоху его распространения он требовал памяти больше чем было в системе.
ну, а сейчас почему на него не переходят? потому что он не приспособлен к реальным задачам. я считаю так.
гм… про паровозы тоже говорили «кто на этом железном взрывоопасном чудовище поедет?»
на мой взгляд, критическая масса еще не набралась — пока с коммерческой точки зрения пролог невыгоден
хотя может и не наберется никогда — конкуренты есть и тоже развиваются
на мой взгляд, критическая масса еще не набралась — пока с коммерческой точки зрения пролог невыгоден
хотя может и не наберется никогда — конкуренты есть и тоже развиваются
А вот вам другой пример: многие в том числе и Intel прекрасно знает, что x86 архитектура тяжела и неповоротлива сегодня, с огромным количеством ошибок и костылей, даже были попытки со стороны той же Intel представить что-то принципиально новое, но почему-то мы до сих пор сидим на этой x86 архитектуре… Интересно почему?
Или вот пример из прошлого: Симула была первым ООП, но было не её время и проект и сам подход себя тогда изжил. Сейчас какой вид программирования доминирующий?
Порой наработанные привычки и инерционный подход и потребление не позволяют чему-то принципиально новому придти сделать качественный скачок вперёд. Что-то новое, пусть и хорошо забытое старое, вылезает в условиях той современной конкуренции подходов только если в наиболее популярных сегодня подходах накопится критическая масса неудобства, ошибок, противоречий и сложности.
Или вот пример из прошлого: Симула была первым ООП, но было не её время и проект и сам подход себя тогда изжил. Сейчас какой вид программирования доминирующий?
Порой наработанные привычки и инерционный подход и потребление не позволяют чему-то принципиально новому придти сделать качественный скачок вперёд. Что-то новое, пусть и хорошо забытое старое, вылезает в условиях той современной конкуренции подходов только если в наиболее популярных сегодня подходах накопится критическая масса неудобства, ошибок, противоречий и сложности.
Реальным задачам это к каким? Web? А в какой-нибудь системе определения атак или неполадок вполне можно было бы использовать пролог, мне кажется.
Далее, где этот пролог? Я могу из перла эффективно использовать программу на прологе, или из каких-то других языков? Есть реализации, но пролог написанный на perl — это диковато, там структуры данных развесистые, надо память экономить.
А во-вторых сейчас программирование забито сильно программированием сайтов, остальные направления массовому программисту просто не видны, хотя они и есть. Думаю, что и на прологоподобных языках пишут, задачи искусственного интеллекта типа распознавания чего-то ведь никуда не делись.
Далее, где этот пролог? Я могу из перла эффективно использовать программу на прологе, или из каких-то других языков? Есть реализации, но пролог написанный на perl — это диковато, там структуры данных развесистые, надо память экономить.
А во-вторых сейчас программирование забито сильно программированием сайтов, остальные направления массовому программисту просто не видны, хотя они и есть. Думаю, что и на прологоподобных языках пишут, задачи искусственного интеллекта типа распознавания чего-то ведь никуда не делись.
stackoverflow.com/questions/1817010/embedded-prolog-interpreter-compiler-for-java да вот хотя бы. На словосочетание embedded prolog Google выдаёт кучу ссылок.
Так вроде Erlang жив, а он и пролог — почти одно и то же.
из похожего — только схожий синтаксис, а так все разное
Есть несколько общих идей, например, паттерн матчинг и там и там можно применять где угодно, а не в строго обозначенных синтаксисом местах, как в большинстве других языков где он есть, синтаксис похож.
Модель вычислений разная. Функциональная и логическая соответственно. Обе декларативные.
Модель вычислений разная. Функциональная и логическая соответственно. Обе декларативные.
Ну автор прочел пару «бестселлеров» и убежден, что схватил ту эпоху целиком, хотя кажется и близко не подошел…
и ничего о Рейгане.
и ничего о Рейгане.
У нас его в школе в 10 классе целых две четверти преподавали. Никто так и не понял что это и для чего. На неокрепшие мозги без какого-то бекграунда не ложатся такие абстракции…
Предлагаю ограничиться четырьмя ветвями на верхнем уровне. Я привязал каждую ветвь к языку, который был первым в своем семействе в хронологическом порядке:Все хорошо, но это Simula 67 — первый ОО язык.
…
* объектно-ориентированные (1972, SmallTalk);
The Vietnam War was still a page-4 item; barricades had not yet sprung up in the streets of Paris; a mini-skirt could still cause a stir: away by the Northern shores of the Baltic a few fortunate software developers led by a handful of visionaries were already profiting from the power of classes, inheritance, polymorphism, dynamic binding and most of the other marvels of object orientation.Газеты обсуждали войну во Вьетнаме, Париж пока еще не зарос баррикадами, миниюбка могла вызвать переполох, а счастливчики с северного побережья Балтики уже использовали классы, наследование, полиморфизм, динамическое связывание и другие вкусности ОО.
Интересное мнение о «Конец истории...» Фукуямы. Такое ощущение что автор не читал работу, а просто что-то слышал о ней.
«Prolog is similar to Lisp on the main points.» — Norvig, PAIP, p. 381
Да ну. Дело совсем не в этом, как мне кажется. Ну не получилось у японцев с Пролгом, почему это должно означать смерть языку? У многих современных стартапов, разрабатывающих процессоры с новыми микроархитектурами, не получается с Си. Си от этого слабее не становится.
IMHO, дело в самом Прологе. Просто на практике умение пролога строить логические выводы от одного набора предикатов к другому не так уж и востребовано. Для человечества гораздо важнее хранить большие объёмы данных, кодировать и декодировать сигналы, проводить инженерные расчёты. Пролог (в чистом виде) для всех этих целей совсем не подходит. Будь он даже в 100 раз параллельнее ФОРТРАНА. Ну не для этого он (как и LISP) был предназначен. Поэтому, как бы, и кажется, что на фоне других языков Пролог не успешен.
Вот. Но, IMHO, Пролог (да у меня странный стиль переключения раскладок :) в своей нише живее всех живых. И последователи у него есть, при чём весьма продвинутые. Взять тот же Oz. Плюс алгоритмы, на которых Prolog построен, широко используются в других проектах, в символьной математике, например, которая широко используется в пакетах для расчётов.
И т.д. и т.п. Так что, говорить, что Пролог — штука не успешная, вряд ли оправдано. Хороший язык, хорошая концепция для определённого класса задач, успешно всё это развивается и используется. Просто круг задач не такой широкий.
IMHO, дело в самом Прологе. Просто на практике умение пролога строить логические выводы от одного набора предикатов к другому не так уж и востребовано. Для человечества гораздо важнее хранить большие объёмы данных, кодировать и декодировать сигналы, проводить инженерные расчёты. Пролог (в чистом виде) для всех этих целей совсем не подходит. Будь он даже в 100 раз параллельнее ФОРТРАНА. Ну не для этого он (как и LISP) был предназначен. Поэтому, как бы, и кажется, что на фоне других языков Пролог не успешен.
Вот. Но, IMHO, Пролог (да у меня странный стиль переключения раскладок :) в своей нише живее всех живых. И последователи у него есть, при чём весьма продвинутые. Взять тот же Oz. Плюс алгоритмы, на которых Prolog построен, широко используются в других проектах, в символьной математике, например, которая широко используется в пакетах для расчётов.
И т.д. и т.п. Так что, говорить, что Пролог — штука не успешная, вряд ли оправдано. Хороший язык, хорошая концепция для определённого класса задач, успешно всё это развивается и используется. Просто круг задач не такой широкий.
Раньше и трава зеленее была…
Спасибо за интересную статью.
Изучал и Lisp и Prolog, поэтому будет очень интересно узнать о них побольше.
Если с примерами будет, то вообще замечательно. :)
Изучал и Lisp и Prolog, поэтому будет очень интересно узнать о них побольше.
Если с примерами будет, то вообще замечательно. :)
На самом деле пролог живет и сейчас как средство прототипирования алгоритмов… Занимался в свое время, писал на ECLiPSe строил динамические модифицируемые сети решений уравнений в ограничениях с условие веса каждого из уровнений…
ECLiPSe кстати это уже не стандартный пролог, а пролог с механизмом «отложенного выполнения целей», к нему кстати и gtk прикручивается :) можно GUI делать. Дык вот программка у меня была где-то на 400 строк (без GUI)… Конечно работало это не шустро, но я потом прикинул сколько бы у меня такая-же программка занимала на с++ и получилось что не меньше 3500 тыс. строк :) тобишь в 7 раз больше…
То что пролог выворачивает мозг и чтобы на нем программировать надо забыть о функциональном программировании это точно :) но надо сказать что когда привыкаешь, то просто «подсаживаешься» на этот «кайф» :) начинаешь просто думать на нем ;)
Вобщем имхо для науки, когда хочется быстро запрототипировать какой-нить довольно сложный алгоритм на графах, пролог очень даже само то…
ECLiPSe кстати это уже не стандартный пролог, а пролог с механизмом «отложенного выполнения целей», к нему кстати и gtk прикручивается :) можно GUI делать. Дык вот программка у меня была где-то на 400 строк (без GUI)… Конечно работало это не шустро, но я потом прикинул сколько бы у меня такая-же программка занимала на с++ и получилось что не меньше 3500 тыс. строк :) тобишь в 7 раз больше…
То что пролог выворачивает мозг и чтобы на нем программировать надо забыть о функциональном программировании это точно :) но надо сказать что когда привыкаешь, то просто «подсаживаешься» на этот «кайф» :) начинаешь просто думать на нем ;)
Вобщем имхо для науки, когда хочется быстро запрототипировать какой-нить довольно сложный алгоритм на графах, пролог очень даже само то…
Пролог не убил, а улучшил SQL (как правильно написано выше).
А следующим этапом должно быть QBE с учетом возможных вопросов к БД.
А следующим этапом должно быть QBE с учетом возможных вопросов к БД.
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Кто убил пролог?