Концепты, техники и модели компьютерного программирования
В рамках международного учебного проека Mozart/Oz была проделана определенная работа и написан замечательный обзор, который наряду с учебником отвечает на массу вопросов в отношении современного программирования распределенных вычислительных систем. Это не закрывает вопрос в отношении оптимизации низкоуровневых языков (почему и продолжаются возникать новые проекты типа Rust или Go) и тем более языков предметной области, но явно демонстрирует основные тренды, которые следует учитывать при развитии индустриальных компьютерных языков и, в частности, стандарта ECMAScript. То есть вопрос для выбора языка потенциальной экспертной системы не стоит - это очевидно Nodejs/JS при всём уважении к замечательным языкам типа Clojure или Erlang. Это замечание к теме анализа компьютерных языков, экспертной системы и ответа на вопрос предыдущего поста.
Что касается развития концепций ПРОЛОГа и их потенциальных реализаций в том же JS, в связи с указанным текстом обратил внимание на тему RPL (частный случай которой SQL). Кстати, Datalog и например язык CELL, опять же только как концептуальные источники, кое-что дают для понимания с точки зрения реализации общей идеи «упорядоченных пар» (отношений).
Архитектура семантического портала
Тематические каталоги википедии
DSpace и СОЦИОНЕТ