このことから宣言型はwhat a program accomplishes(なにを果たすか)と形容される。