OberonCore

Перебирал рабочие документы, наткнулся на свой неопубликованный препринт, с некоторой попыткой сравнительного анализа различных языков/парадигм в рамках введённой "системы координат".
Чётко прорисованы особенности модульных архитектур в сравнении с ООП-архитектурами, отличия между Модулой-1, Обероном и Адой, отличия между Оберонами, Дельфи и Явой, как следствие - выявлены направления максимальной эффективности для них.
Также в анализе присутствуют ФП-языки.

Мне кажется, не хватает существенного направления - логического программирования.

Ну, я не стал его затрагивать, т.к. кроме Пролога особенно с ним не знаком.
Я вроде на абсолютную полноту не претендовал

А почему Вы нехотите относить Пролог к сентенциальному программированию, также как и Непейвода?

Я просто об этом не задумывался... А статья писалась довольно давно.

Сентенциальное программирование лично я понимаю примерно так:
описывается некий шаблон на ситуацию (текст, например) - и соотв. ему трансформация ситуации (текста, например).
Таблицы решений я бы тоже отнёс к сентенциальному программированию.
Ассоциативный механизм, так сказать: узнавание и преобразование объекта как единого целого.

А,чем плохи многочисленные тома посвященные этому вопросу. Себесты и иже с ними...

Я как-то больше к Пратту-Зелковицу
Но у них европейская школа программирования вся побоку...