てつづきがたげんご【手続き型言語】 手続きを記述することによってアルゴリズムを表現するプログラミング言語。それに対し，非手続き型言語では内容と関連付けて判断を進める方式や知識表現による推論をする。