愛媛県高等学校教育研究会数学部会誌 第35巻(1994年)

【特 別 寄 稿】

論理プログラミングと数学教育

愛媛大学  平田浩一

 コンピュータのプログラミング言語には様々なものがありますが、 その中で他とは著しく異なる言語として Prolog があります。

 Prolog は「論理プログラミング」を端的に実現したプログラミング言語で、 1972に生まれました。 1982年に発足した第5世代コンピュータ・プロジェクトに 「論理プログラミング」が基本言語として採用され、 それ以来世間の注目を浴びています。

 ここでは、Prolog を紹介するとともに、それがもたらした新しい概念 について解説したいと思います。 そのなかで数学教育への応用についても少し触れたいと思います。


follow link
hirata@ed.ehime-u.ac.jp