Без заголовка

функционально-декларативное программирование изобретено в ЕЯ, но не присутствует в должном объеме ни в одном языке программирования. а именно: если в ЕЯ мы говорим фразу напр. P.A = X.B, то структура концептов A, B, P, X дальше сама трансформирует это в вычислимое или точнее сказать формализованное по вычислимости напр. P.N.A = value.X.B, где N - подобъект А, к которому относится P, а value - операция вычисления на множестве деклативных утверждений, относящихся к X.B. аспекты, контракты, обязательства, это частные случаи A, B, .. , которые фундаментального значения, по моим представлениям, не имеют.