14

Долго кодил на java, страстно любя его ООП. Потом увидел prolog и тогда влюбился в логическое программирования. Теперь захотелось совместить.

Вопрос: есть ли такой замечательный язык, который бы совмещал обе парадигмы?

P. S. По моему такой язык был бы идеален для написания стратегий/мини искусственного интеллекта.

P. P. S. только что осознал, что хочу Джаву, в которую впихнули логическое. Хотя это в идеале.

17
  • 3
    @danpetruk что Вам такого плохого сделало функциональное программирование/программисты, что одно наличие ФП уже делает язык некошерным? И, как я понимаю, в Вашем чёрном списке не только python, scala, lisp'ы и f#, но и javascript, и perl, да и c# вроде. Тяжко Вам. Ну а что касается вашего вопрос -- гугл в помощь. google.com/…
    – alexlz
    15 янв 2014 в 0:29
  • 2
    @alexlz > haskell -- не язык логического программирования (т.е. сам уравнения не решает). Это Вам к wolframalpha.com - он решает. > что одно наличие ФП уже делает язык некошерным не все могут с наскока осилить ФП. По моему мнению ФП языки и обычные (С++/Java) это как русский и арабский. То есть, нужно немного сломать мозг.
    – KoVadim
    15 янв 2014 в 10:23
  • 3
    @KoVadim Императивное программирование -- программист задаёт последовательность действий, которые следует выполнить, чтобы получился нужный результат. ФП -- программист задаёт выражение (элементами первого порядка которого могут быть и функции), кот. вычисляет результат. ЛП -- программист задаёт систему логических уравнений, которые система должна решить, чтобы получить результат. Насчёт сломать мозг -- вспомните, как Вы учились программировать вычисление факториала. Из формулы n! = n*(n-1)! Надо было сломать мозг. Мозг был сломан. В ФП нужно восстановить исходное состояние. Это непросто
    – alexlz
    15 янв 2014 в 11:53
  • 2
    Для меня рекурсивное вычисление факториала было абсолютно нормальным и понятным. И мозг не ломал. В ФП подобное (рекурсия) используется на каждом шаге, так что после факториала ничего не нужно восстанавливать. Как по мне, то, судя с определения ФП и ЛП - ЛП частный случай ФП.
    – KoVadim
    15 янв 2014 в 12:05
  • 2
    @danpetruk, Prolog и AI (он же ИИ). Помните японский проект компьютеров 5-го поколения в конце 80-х? И где он сейчас? @VladD, прав. Все подобные штуки даже на современном уровне железа -- это просто игрушки. Они не могут "перемалывать" достаточные для практических целей массивы данных.
    – avp
    15 янв 2014 в 19:17

4 ответа 4

9

Почему бы не использовать реализации Prolog под Java?

10
  • 1
    @avp а ведь когда-то перл сильно обгонял питон по популярности. И питоновцы при каждом удобном и неудобном случае поминали MS Merchant Server, изначально написанный на питоне. Но это было в прошлом веке. А ООП, как мне кажется, пришлась очень впору для оправдания обильного перекармливания отрасли финансами. Пример процесса от Хазина -- yahoo, отношение капитализации к прибыли около 1000 в 90е (т.е. купив акцию, получишь дивиденды на сумму покупки за 1000 лет). Но это уже совсем другая история.
    – alexlz
    15 янв 2014 в 19:21
  • 1
    @alexlz (кончился лимит в той ветке, пишу здесь). Scala - cи синтаксис, поддержка java библиотек + исполняется в jvm, комьюнити, 95% языка - ооп
    – kandi
    15 янв 2014 в 19:29
  • 1
    @danpetruk про Scala -- откуда цитата? И всё-таки, как же с "языком mozart" и alice?
    – alexlz
    15 янв 2014 в 19:46
  • 2
    @danpetruk, про пятое поколение здесь. Вообще гугл на компьютеры пятого поколения япония дает много ссылок (думаю, на аналогичный English запрос их будет еще больше). И вот еще интересная статья в тему: Языки программирования через сто лет.
    – avp
    16 янв 2014 в 9:43
  • 1
    @avp Кто его знает, что будет через сто лет? В 2003 Грэм выражал сомнение в распространении параллелизма, чуть позже электроника упёрлась в барьер и ситуация изменилась, в будущем, возможно, барьер будет каким-то образом преодолён или обойдён...
    – alexlz
    16 янв 2014 в 10:02
7

@danpetruk, а Вам не кажется, что смешивать все (пусть некоторые) парадигмы в одном языке это не очень хорошо.

Если взглянуть на историю программирования, то можно обнаружить, что языки, в которые пытались впихнуть всего и побольше были (например PL/I, algol-68, да та же ada), но по сути умерли.

Вероятно наиболее правильным решением является написание разных частей системы (большой программы) на разных языках. Каждую часть на том, который лучше для этого подходит. Причем, можно попытаться построить реально распределенную систему. А самый сложный тут вопрос -- это связь между ними.

14
  • 1
    @avp а что, ada умер? И когда? Ариан он вроде взрывал, а вот что сам умер -- я не читал. Кстати, первый международно стандартизованный язык ООП.
    – alexlz
    15 янв 2014 в 0:22
  • 2
    @alexlz, восхищаюсь Вашей эрудицией! (это оно?) -- По поводу кончины. Не уверен, что это истина, но хоть какие-то цифры. Ну, прямо в стане бывшего потенциального противника, уверен, ситуация в корне другая. -- Кстати, много ли здесь людей, написавших хоть пару строк на Аде? Я не писал. Только один из моих знакомых, лет 25 назад, немного поигрался, а потом плевался. Сказал, язык не для написания, а для описания ПО.
    – avp
    15 янв 2014 в 7:48
  • 1
    @avp ну не настолько подробно. Мне уже трудно вспомнить, а в гугле я не нашёл такого места, но почему-то мне казалось, что вопрос обсуждался в comp.lang.ada в начале века (повторяю, гугл такого не нашёл). И причиной называли то, что программу взяли с Ариан4, но некоторые константы были в коде. А движки на Ариан5 мощнее. Но откуда это -- вспомнить не могу. А нвсчёт использования -- так загляните в эту группу. Ещё насчёт "25 лет назад". Было два стандарта, старый (ada83) и новый (ada95, если ещё новее не появилось). У сертификатов на трансляторы ada83 срок годности вышел ещё в прошлом веке.
    – alexlz
    15 янв 2014 в 9:38
  • 1
    @alexlz, в какую группу заглянуть? Что пентагоновский проект - я знаю. Думаю в Honeywell (и куче других фирм) на ней и сейчас пишут. Причем тут стандарты разных лет на компиляторы -- не понял. Суть языка и его окружения не изменилась. Да, сейчас в аду добавили ООП (если честно, то подробностями не имнтересовался). -- По поводу живой язык или нет, то мне так кажется. Если язык активно используется все новыми и новыми программистами, то он жив. А если на нем пишут 3-5 лет "старшие лейтенанты" после оплаченного универа, то скорее мертв.
    – avp
    15 янв 2014 в 9:55
  • 1
    @avp ньюсгруппа comp.lang.ada groups.google.com/forum/#!forum/comp.lang.ada По поводу сертификатов. Сейчас уже не помню, как оно называется, но компиляторы ada сертифицировались. Т.е. должны были пройти набор тестов на соответствие стандарту. Прошёл -- получи сертификат. Для ada83 срок действия кончался толи в 1998, толи в 1999 -- не помню. С ada95 несколько иначе -- есть ядро и есть набор дополнений -- annex'ов. Как оно сертифицируется -- что и знал, то забыл. Насчёт использования -- не знаю, смотрите сами. По траффику группы.
    – alexlz
    15 янв 2014 в 12:09
2

Если тебе хочется смешивать, есть такая тенденция как DSL. Ты можешь написать нужный функционал(чистый) специально под себя, вот Parus - отлично для констрейнтов, например, но можно сделать что угодно под себя. Небольшой доклад недавно слушал https://www.dropbox.com/s/nwe567bmj8lbqdr/TechTalk%2311%20-%20Demedetskiy%20-%20DSL%20creation.pdf?dl=0

0

Вопрос: есть ли такой замечательный язык, который бы совмещал обе парадигмы?

Вам понравился бы объектно-ориентированный язык Logtalk.

Он является надмножеством языка Prolog.

В настоящее время он реализован как препроцессор с использованием одной из версий Prolog как бэкенд-компилятора:

  • SWI Prolog
  • XSB-Prolog

  • YAP Prolog

  • GNU Prolog
  • JIProlog
  • Sictus Prolog

и другие, в т.ч. коммерческие версии Prolog.

Стоит взглянуть также на

http://plo.sourceforge.net/

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.