平成８年度　委託研究ソフトウェアの 成果ソフトウェア

(5) KL1 による PROGOL の並列化に関する研究

研究代表者：古川康一　教授
　　　　　　慶應義塾大学大学院政策・メディア研究科

MG-Progol

MGTPを用いたProgolのボトムアップ処理系

［機能・特徴］

MG-Progolは、Progol のアルゴリズムをもとに作成された実験的帰納論理プロ グラミングシステムです。オリジナルのProgolがPrologの技術を基に開発され ているのに対し、本ソフトウェアはMGTPの技術を利用して、ボトムアップ計算 による実装を行なっています。

［使用言語］

KLIC 2.002

［ファイル構成］ 

Readme-J			ファイル構成
Readme-E			Readme-Jの英語版
INSTALL				インストールガイド

source/				
source/progol.kl1		MG-Progol本体

source/trans/
source/trans/Makefile		トランスレータ用 Makefile
      /trans/bk2mg.kl1  	背景知識のMG-Clause変換器
      /trans/merc.kl1		MERC変換器
      /trans/mg2kl1.kl1		MG-ClauseのKL1プログラム変換器
      /trans/mode2mg.kl1	モード宣言のMG-Clause変換器
      /trans/pgl2kl1.kl1	トランスレータ本体
      /trans/util.kl1		ユーティリティモジュール
      /trans/w_kl1.kl1		出力モジュール

sample/	
sample/animals.pgl		動物分類問題
sample/train.pgl		Train 問題
sample/animals.kl1		animals.pglをkl1ファイルに変換したもの
sample/train.kl1		train.pglをkl1ファイルに変換したもの

doc/
doc/manual.tex			マニュアル

［ＦＴＰ］

www-admin@icot.or.jp