of Technology, 1947年) カーネギーメロン大学 (英: Carnegie Mellon University) カリフォルニア工科大学(英: California Institute of Technology, 1891年) ケース・ウェスタン・リザーブ大学 (英: Case Western
Université de Liège, Belgique: "PROLOG, the first declarative language ^ CarnegieMellon University's AI Web Site: "Prolog was the most popular AI language