（７）MGTPを用いたPROGOLのボトムアップ
処理系(Prolog Version)

［機能・特徴］

本ソフトウェアは、PROGOLの並列化のために試作したPrologで記述された、実 験的帰納推論システムである。PROGOLの諸機能のうち、その中心的機能 であ る帰納推論部を実現している。オリジナルのPROGOLのトップダウン計算による 実装とは異なり、本ソフトウェアはボトムアップ計算による実装を行なってい る。その際特に、MGTP(Model Generation Theorem Prover)を直接用いて計算 を行なっている。

［使用言語］

SICStus Prolog 2.1

［ファイル構成］

	manual.tex 		ユーザマニュアル
	README			Readme
	advertise.txt		このファイル
	source/progol.pl	PProgol メイン モジュール
	source/bot.pl		Bottom 生成 モジュール
	source/magic.pl		magic 変換 モジュール
	source/search.pl	仮説束内サーチ モジュール
	source/m2pl.pl		MGTP to Prolog 変換 モジュール
	source/sample/rev.pgl	サンプルファイル

［ソースプログラムの分量］

約190K (ソースのみ)

［著作件者］

	古川 康一
	慶應義塾大学 大学院 政策・メディア研究科
	〒252 神奈川県 藤沢市 遠藤 5,322
	Tel     (0466) 47-5111 Ext 3235
	Fax     (0466) 47-5350
	e-mail  furukawa@sfc.keio.ac.jp

［ＦＴＰ］