第2回 Prologをご存じですか？ | gihyo.jp

官民創生の人工知能研究はムダじゃなかった！ 今からおよそ30年も前の1982年。日本の通商産業省（現在の経済産業省）は、ICOT（財団法人 新世代コンピュータ開発機構）を設立し、世界に先駆けて人工知能（AI:Artificial Intelligence）を実現する第5世代コンピュータの開発を目標に掲げたプロジェクトを開始しました。 ICOTのプロジェクトは、第4世代コンピュータを一気に飛び越えて第5世代コンピュータ開発を行うという新奇性や、10年以内に人間の知能をコンピュータで実現するとした宣伝と、またこの時期は日本が半導体産業でトップに躍り出ていたことやIBMへの産業スパイ事件などの背景もあって世界的な注目を浴びました。 しかし、1992年。10年の歳月と570億円（一説には1000億）の国家予算をかけたプロジェクトは、人間の知能を実現することはおろか産業界にも何ら影響を与えず、期待は

[quick_past]

PrologでOSを作ることはできたらしいね。通産省もこの先進技術開発支援事業を、もっと続けてほしかった。

[kiyo_hiko]

昔本買って少し勉強したがProlog本体は挫折。カット難しかった。文法も衝撃だった（factorialなら「fact(0)=1;fact(N,Gt):=fact(N1,St),N1 is N-1,Gt=N*St.」「fact(6,X)?」とかだっけ）。ホーン節は他の言語で自前のvalidatorを書くとき活きた

[t_43z]

Prolog、大学でやったなー、懐かしい。