Какие современные языки логического программирования существуют?
1) логическое программирование - достаточно нишевая вещь, имеет некоторый порог входа и потому, в отличие от фротэнд-разработки и JS, вы не будете встречать её каждый день;
2) те, кому это действительно нужно, вполне могут разрабатывать свои диалекты и даже свои языки с такой же концепцией, но более удобные для конкретных задач - эти языки также будут языками логического программирования, но вы не найдете их, гугля по слову "Prolog"; также следует отметить, что существуют менее мощные языки с несколько другой сферой применения, например Datalog - при правильном применении получаются очень интересные языковые альтернативы тому же SQL - есть даже целое исследовательское направление - дедуктивные базы данных;
3) вот довольно много ответов - stackoverflow.com/questions/130097/real-world-prol... - и вновь мы видим, что язык оказался полезен тем, кто сумел его применить, это к пункту 1. Как правило это какие-то средние и крупные системы, где Пролог был удобен в качестве DSL - им описывались какие-либо правила или логические заключения. Как и к любому DSL, к Прологу нужно придти - т.е. понять, что вам нужен именно он, или его подмножество.
4) гуглится не так уж сложно, если принять то, что язык (языки) скорее нишевый, нежели общего назначения;
5) вы же гуглите на английском языке? А то на русском вы скорее всего только перепечатки из учебников найдёте, т.к. свежая информация будет от тех людей, кто этим занимается, а у нас крупные информационные системы начали появляться лет 10 назад. На русском с таким же успехом лучше открыть какой-нибудь советский учебник - вы получите хорошую теорию в строгом и аккуратном изложении (хотя, я думаю вы и так уже это имеете).
будущий логический язык - это язык сильного ИИ
пролог не справился с задачей построения ИИ
логлан и ложбан тоже
у человечества нет модели языка
человеческий язык это логика
тупость-нелогичность-безумие.. нашей цивилизации лишний раз подтверждает что человек не владеет логикой, не понимает свой язык, не умеет думать и не может создать логический язык
то есть эволюция логического программирования остановилась где то на уровне пролога