論理型言語

事実と規則を述語論理の形で記述し、処理系がそれらから推論して問いに対する答えを導くプログラミングの方式。処理の手順を書く手続型と違い、何が成り立つかを書く。Prologが代表的な言語で、エキスパートシステムなどの人工知能の分野で使われてきた。

処理の手順を逐次的に記述するプログラミング言語の分類。命令の実行順序に従ってプログラムが動作する。C言語、COBOL、Fortranなどが代表的。

数学的な関数の適用と合成を基本とするプログラミング言語の分類。副作用を避け、参照透過性を重視する。Haskell、Lispなどが代表的で、並行処理との親和性が高い。

データとそれに対する操作をオブジェクトとしてまとめ、カプセル化・継承・ポリモーフィズムの概念を持つプログラミング言語の分類。Java、C++、Pythonなどが代表的。

原始プログラムと機械語の中間に位置する、処理系内部で使われる形式。Javaのバイトコードが代表例で、中間言語まで変換しておけば実行環境ごとの差を吸収でき、同じプログラムを複数の環境で動かせる。

オブジェクト指向のプログラム言語。JVM（Java Virtual Machine）上で動作するため、プラットフォームに依存しない実行が可能。企業システムやAndroidアプリの開発に広く使用される。

手続型のプログラム言語で、OSやシステムソフトウェアの開発に広く使用される。ポインタによるメモリ操作が可能で、ハードウェアに近い低レベルな処理が記述できる。高い実行速度が特徴。