ア　オブジェクト指向言語であるSmalltalk-80では、すべてのデータはオブジェクトであり、また、すべての計算はオブジェクトにメッセージを送ることによって行われる。

イ　関数形言語であるLispでは、逆向き推論や、バックトラックというすべての処理の組合せを漏れなく実行するための機能が用意されている。

ウ　手続き型言語であるPascalでは、リストや２分木などの再帰的データ構造を直接的に定義する仕組みが用意されていて、自分自身のプログラムもリストで表現される。

エ　論理形言語であるPrologでは、基本的命令を単純に逐次的に実行するだけでなく、現在の変数の値に従って、命令の実行の仕方を変化させることができる。