平成7年度 委託研究ソフトウェアの概要

(14) KLIC 上の MGTP 処理系に関する研究

研究代表者:長谷川 隆三 教授
      九州大学 工学部 電子工学科


本調査研究は、既にIFSとして登録されているKLIC版MGTPをより使いやすいシ ステムに成長させることを目標とする。具体的には、

(1)Prologで記述されている部分をKLICもしくはPerlで書き換え、
(2)ノンホーンマジックセット法に基づく変換システムを作成し、
(3)MGTPプログラミング環境及び推論記述言語としての機能に関する検討を行う。

また、KLIC上で有用なツールやライブラリ群の作成を行う。


www-admin@icot.or.jp