Замечал, что ООП весьма похоже на логическое программирование.
Даже, помню, переписывал логические програмки на ООП. Забавно.
Согласно Сассману и Абельсону(SICP) пионером логической парадигмы является Карл Хьюитт. Он реализовал ее поверх своего языка Planner, который, вероятно следует считать первой реализацией ООП-парадигмы.
Это вылилось у него само-собой, одно породило другое.
Говорят, Ковальски отошел от первоначальной, правильной парадигмы, но я не вникал в это.
Теперь я кажется начинаю понимать, в чем тут дело.
Если в обычном ООП стиле мы именуем класс, и назначаем атрибуты, то логический стиль делает на той же основе(структуре) противоположное: по атрибутике он вычисляет имена. Вот это и есть основа, и в этом вся суть.
Конечно есть детали, но это уже пофиг
Офигеть как все просто оказалось.