正文
爱德华·费根鲍姆
1981年在日本信息处理开发中心（JIPDEC）召开了第一届第五代计算机会议，对外公布
元岡達委员会的报告
。会议邀请了外籍嘉宾，其中有专家系统鼻祖、斯坦福大学的费根鲍姆和机器定理证明元老、德国人沃尔夫冈
•
白贝尔（Bibel）。
知识与逻辑：欧美两条路线斗争
费根鲍姆的特约演讲强调了知识重于推理的理念，他还是念念不忘他的老师司马贺和定理证明中逻辑派结下的梁子。而白贝尔自然还是在强调逻辑的重要性。这俩人基本是各说各话，但费根鲍姆的关键词“知识”，和白贝尔的关键词“逻辑”都是日本人最想听到的，他们倒并不太关心欧美之间的两条路线斗争。
关于“知识”和“逻辑”的更加公正的说法是语义和语法之争，知识是语义，而逻辑是语法。定理证明是纯粹依靠语法之力，但加入语义确实会提高效率。
相比于新的逻辑程序语言Prolog，LISP是更成熟的函数式编程语言，也是美国人工智能研究者的标准语言。日本电讯NTT的武藏野实验室（Musashino Lab，相当于美国的贝尔实验室），也更倾向于LISP。
最后的决定权落在野心勃勃的渕一博（ Kazuhiro Fuchi）手中，他是即将成立的第五代计算机研究所（Institute of New Generation Computer Technology,简称ICOT)的所长。他在会议上发表的论文明确强调了逻辑程序和Prolog的重要性。
日本人选择Prolog语言，就像今日中国通信业非得搞TD一样
英国人沃伦（David Warren）1982年在
AI Magazine
上发表的论文分析了渕一博为什么选择了Prolog：在五代机的所有应用中，Prolog能覆盖的面最广。五代机的终极目标是知识信息处理，在当时的语境下特指专家系统和自然语言理解。
那时的自然语言理解还是规则为王的时代。Prolog很明显比LISP更适合这些应用。而且在小规模数据的基准测试中，Prolog作为数据库查询语言甚至不输关系代数。
当然，Prolog不是美国人发明的，这也是一个重要因素，这让日本人更有机会掌控并占据领先地位。日本人的民族自信在这里起着隐形的左右，这有点像中国人在移动通信行业里非要搞自己的TD。
八十年代
自然语言理解还是规则为王的时代
日本人是何时最早接触Prolog的也是很有意思的故事。古川康一（Koichi Furukara）被派到美国斯坦福研究所（SRI）作访问学者，他在那里的指导老师是巴罗（Harry Barrow）。
