発端の>>834が言う 手続き型 関数型 論理型 どれにも該当しない言語って
自然言語かDSL(データ記述言語含む)しか無いだろうから
さらにプログラミング言語に絞るなら「無い」にしかならないと思う