Ни для чего, вместо него используют лисп(прологом я последний раз реально интересовался во время учебы лет так 7-8 назад) у них общая концепция, по большей части эти языки используют для написания "экспертных систем" или чего либо имитирующего искусственный интеллект, была даже игруля в вэбэ, там что-то типа джина который отгадывает слово которое ты задумал задавая наводящие вопросы, помнится мне года 2-3 назад весь пикабу там засел после какого-то поста про "О госпаде эта магия он угадывает что я загадал слово член, 10 из 10 лучшая игра года"
Да, он. Там что-то типа либы на лиспе вроде на бэкэ, точно не уверен спорить не буду, но я где-то натыкался на статьи разработчиков этой штуки, лисп там явно упоминался
Про акинатор не скажу, но мои старые лабы по лиспу напоминают мне, что он как-раз создан под эти цели. Вся концепция работы акинатора, очень похожа на лисп приложение
Не хочу никого расстраивать, но крайне маловероятно, что Акинатор написан на прологе. Его просто нет смысла писать на нем, и я поясню почему.
Пролог - язык логического программирования, основная его "фишка" в неявно производимом логическом выводе.
В основе же Акинатора, скорее всего, лежит вероятностная модель (насколько я знаю, достоверных данных о том, как он работает нет) и наблюдаемые закономерности подтверждают эту гипотезу.
Если кратко, то для определения условной вероятности выбора того или иного персонажа предсказуемо применяется теорема Байеса, а для выбора следующего ответа, выбирается тот, ответ на который максимально уменьшит энтропию (неопределенность).
Никакого логического вывода здесь нет, задача наиболее эффективно решается языками программирования общего назначения и я знаю о чем говорю, ибо писал аналог.
Лучшее описание, которое я встречал и которое, скорее всего, дает ответ на вопрос о том, что там под капотом:
А где я говорил о прологе? Я видел статью в которой разработчики акинатора описывали процесс разработки, и на сколько я помню, там явно упоминался лисп
Была уже глубокая ночь, так что извиняюсь за ошибку. Хотя сказанное отчасти справедливо и по отношению к Lisp. Использовать его тут, опять же, не было никого смысла; фичи функционального программирования здесь совсем не нужны.
Я не утверждаю с понтом на 100% правоту что это сделано на лиспе, я говорю что видел где-то статью с упоминанием о том что акинатор вроде как был на нем сделан
фичи функционального программирования здесь совсем не нужны.
Современные лиспы - языки мультипарадигменные.
DELETED
Грусть, когда мы проходим сейчас пролог (2 курс), а ещё на 4 будет лисп. Я и так догадывалась, что пролог донышко, но теперь это вообще никакого смысла не имеет.
Он имеет смысл только в том, чтобы показать вам что есть и другие подходы к программированию, кстати если у вас в группе есть девушки которые прогают, то им будет гораздо проще понять пролог чем мужской части группы, к них мозги работают по ебонутому, но если приглядется то они работают по декларативный модели с кучей вероятностных связей и с виду случайно выбранных правил. На сколько я знаю у пролога есть пара диалектов, и у одного даже есть OOП составляющая с вижуал композером для создания формочек, если вы поймёте парадигму этого языка(чистый декларативный подход) то возможно вы сделаете что-то интересное выйдя за рамки учебного курса, и потом вам не будут интересны слова 60 летнего препода с лысой бошкой: "о господи это турбо пролог который совместим с win32 и имеет ебонутейший интерфейс аля fat, чего вам ещё нужно щучьи дети"
Как говорил мой препод по прологу:"Я не люблю пролог. Все, что может пролог, намного удобнее написать на других языках. Но он есть у вас в программе, поэтому я преподам, а вы выучите."
На деле он вроде языка-инструкции для разработок ИИ по "научному" методу. Наверное, где-то в НИИ до сих пор используют.
Это чисто декларативный язык правил и вероятносных связей, говорят он ещё жив и даже где-то в России есть его клуб фанатов. По поводу реализации всех возможностей пролога на других языках это ваш преподаватель погарячился.. Делать предположения на основе некоторой базы знаний в адекватные сроки и с адекватным количеством кода может например лисп, но не как не любой яп
Ты не присылаешь ей план замка, а присылаешь все возможные правила его строения которые ты знаешь, учебник по физике, анатомию драконов, и возможные сценарии того что она могла бы сделать из того что косвенно могло бы повлиять на вашу встречу. Соблюдайте декларативный подход молодой человек, а то уж как-то прямо очень просто у вас получается)
В вашем примере открывается 3 скобки, а закрывается 6. Это как все современные новости пишутся: заголовок "Инопланетяне найдены!" А потом оказывается что не инопланетяне, и не найдены, и вообще новость не об этом.
Посмотрите код LISP целиком: количество повторяющихся друг за другом скобок в коде, написанном на нем, всегда значительно больше, чем в среднем для остальных языков; поэтому неудивительно возникновение такого юмористического взгляда на него.
Так что мой пример просто показателен, но ни в коем случае не некорректен.
И, да, тот код, на который ссылаюсь я - это учебный и в определенном смысле образцовый код, а тот код, на который ссылаетесь вы, наоборот критикуется автором, и в статье предлагаются подходы для его корректировки.
Просто в языках с "привычном" синтаксисом используются множество разделителей: скобочки, точки с запятой, запятые, точки. А в Lisp - только скобочки. Вот хороший пример когда сравнивается количество разделителей для функции с идентичным кодом на Javascript и на Clojure( лисп-подобный язык):
https://yadi.sk/i/sDluo_LZwdvqv
так что множество одинаковых скобок в лиспе просто бросается в глаза, а в других языках маскируется "разбавлением" разделителей разного типа и вроде не так страшно уже все :-)
Естественно, это особенность синтаксиса языка и, на мой взгляд, не самая удачная. В том же Haskell код выглядит более читаемым и красивым.
Плюс нельзя забывать тот факт, что в LISP повсеместно используется функциональный подход, в результате применения которого некоторые участки кода представляют собой просто последовательность вызовов различных функций и эта особенность поэтому проявляется наиболее ярко.
Вполне себе его юзают, но не для вещей которые пишут на аутсорсе... Это наверное единственный язык в своём роде, в нем можно реализовать как императивный так и декларативный подходы к программированию если вам это нужно, я не претендую на звание специалиста по этому языку, но говорить что он мёртв только потому что на нем не пишут сайтики на аутсорс это по меньшей мере глупо.
Не знаю ни единого человека, кто бы писал на лиспе. Может быть я ослеп и не вижу тонны вакансий по лиспу, дев контор, курсов и семинаров по этому языку?
Дык, "тонны вакансий, дев контор, курсов и семинаров" (закономерно) существуют только для мейнстримовых языков. Вот только между мейнстримом и мёртвыми языками есть и другие ниши: легаси, которое никто не будет переписывать и за поддержку которого платят неплохие деньги, всякие новые и просто менее популярные языки. Скажем, Scala, Haskell, Rust, Racket, Clojure (два последних, кстати, это лиспы) намного менее популярны чем C#, Java, C, C++ и прочие. Тем не менее, работу найти можно, есть литература, новые проекты и т.д.
В общем, учить лисп ради быстрого профита смысла нет. Для расширения кругозора или если душа к этому лежит, то почему бы и нет.
