>>580532
Ага, байтослесари пердолили процедурные портянки на недоязыках для животных C и C++, производя текущее, сегфолтающееся и имеющее кучу уязвимостей, несмотря на вьебанные over9000 часов в отладку и тестирование, нечто с блевотным нечеловеческим интерфейсом для бумеров. Ебать романтика. Но это были 80е.
А что у нас было в 90х? Многие корпорации захотели оптимизировать свои процессы и сделали ставку на автоматизацию с помощью новомодных IT технологий. Разумеется, уже упомянутый язык С, кое-как справляющийся с автоматизацией сливных бачков, не очень подходил для программирования энтерпрайз-приложений с замысловатыми пересечениями предметных областей и кучей бизнес-требований. Разработка на языке говно++, была слишком медленная, дорогая и нестабильная, а легендарный язык для brain-damaged people COBOL перестал справляться с ожидаемыми темпами и объемами разработки. Тут на помощь пришли инжинегры из Sun, оперативно ограбив постепенно впадавшего в маразм деда Вирта, спиздив его Oberon и сделав его ещё более быдло-ориентированным. В результате в свет вышел язык для brain damaged people v.2, иначе называемый джява. Это была находка для бизнеса: тупой и простой язык, однако, в отличие от предшественника, имеющий целое одно выразительное средство для повышения уровня абстракции, при этом почти полностью очищенный от байтосодомии и прочих позорных пресмыканий перед машиной. Толпы таксистов, операторов коллцентров и прочих хороших людей ломонулись пополнять ряды джяваиндусов, занимая места в кюбиклах, где они лампово наследовали KrokodilZalupaSir от HuiPizdaBean. «Вы ненастоящие программисты» - доносилось со стороны параши от очередного байтопетуха, ловящего сегфолт. Очень скоро многие из них окажутся ненужны. Джяваиндусы же ещё не раз удивят мир такими крутыми средствами разработки, как, например, Spring. А спустя десятки лет эволюции языка с его помощью даже стало возможным найти элемент в массиве.
Кстати, в 90х был создан целый ворох скриптовых говноязыков на динамической типизации. Тогда их никто особо не воспринимал как полноценные языки программирования и использовали только по назначению: для администва, или как встраиваемый для простейших сценариев. Это забавно, учитывая что уже спустя каких-то 10 лет самая хайповая область, остающаяся таковой и по сей день будет на 99% написана на этих огрызках от языков программирования. Произошло то же самое, что в 90х. В отличие от жырных корпораций, молодым и динамично развивающимся веб-энтузиастам нужно было двигаться быстрее, чем позволяла джява, да и порог вхождения в неё из-за всех понаписанных за 10 лет АбстрактПроксиСингтонов и других индусских чудес оказался слишком уж высок. Нужно было что-то ещё тупее, проще и дешевле, как например, такая классика гостевушного жанра как «язык» рнр. И конечно его неповторимый брат, язык джяваскрипт. Вот она первая половина нулевых во всей красе, криворукие вчерашние курьеры пишут башеподобную кашу, прикручивая голосовалку к форуму или добавляя анимацию снежинок на страничке. В принципе, позже был сформирован некий правильный набор стандартов для веба в виде RoR, а вместе с ним в айти появились первые хипстеры. Правда на элитных скриптодебилов никто тратиться особо тратиться не хотел, поэтому для обычных скриптодебилов были запилены рельсоподобные фреймворки. Во фронте ничего умного придумать не могли и в основном довольствовались жиквери, который никак проблему тотальной несонсистентности жс дрисни не решал, но хотя бы позволял писать меньше строк говнокода.

Вот собственно и весь ламповый олдскул о котором тут так любят позерски ныть местные лохопеты.

Вот вы говорите, что пролог нихуя не асинхронизируемый. Но ведь бектрекинг нихуя не противоречит распаралелливанию чуть пальцы не сломал, скорее наоборот!
Что такое бектрекинг? - перебор альтернатив.
Бектрекинг(Redo во время трейсинга) происходит в двух случаях - унификация head'ов, и оператор или(`;`). Так как разные точки возврата не связаны друг с другом X;X - здесь две разные переменные, то вообще ничто не мешает их распаралеллить. Вообще ничто. Они, по идее, паралелльными и должны быть. И даже если происходит ветвление в решении(а оно определенно происходит), все равно никаких проблем быть не должно - мы просто порождаем тред каждый раз, пока не достигнем(если вообще достигнем) некого предела процессора/ОС. Т.е выжмем из процессора максимум, ни разу не притронившись к всяким асинхронным фунциям/тредам.

Вот смотрите:
human(tom).
human(jack).
human(bob).

?- human(Who).

Вот блядь ничто не мешает процессору сравнить всех хуманнов одновременно, и выдать сразу все решения.

Вот пример с клаузами:
a :- b, c; d.

a - голова.
b,c - здесь код обязан быть синхронным. За счет ленивых вычеслений очень важно, верен ли b, перед тем как выполнить c.
(b,c);(d) - здесь работает асинхронность.
Оператору или совершенно плевать, является (b,c) ложным или верным, он выполнит d в любом случае. Потому мы можем безопасно запустить две ветки паралельно. Это создаст два решения. Если это нам не надо, то обрежем через кат(`!`):
a :- (b,c;d),!
(b,c;d) - выполнится асинхронно, но лишних решений создавать не будет.

Где я проебался?

Алсо, насчет двух других проблем.

Случайная левая рекурсия:
Программа в прологе может случайно взять и зависнуть в бесконечном цикле. Особенно это ебет в DCG. Причем сам компилятор в детект левой рекурсии не может. Это надо исправлять.

False, или как же он заебал:
Часто в программе может выйти false там где его и не ожидали. Потому в дебаг моде, среда сама должна показывать, где произошел фатальный фолз со всеми сопутствующими данными. Иначе заебешься trace'ить выслеживая ошибку. Это особенно касается DCG.