宣言型でも関数型でも論理型でもない、かつそこそこ実用的な言語ってない?