KL1によって、帰納論理プログラミングシステムを実装し、その並列化を図 る。具体的には、帰納論理プログラミングシステムの中で、機能的にも効率的 にも最も優れているPROGOLを取り上げて並列化を図る。また、その並列 PROGOLを用いて、機械学習の各種のベンチマーク問題を初め、データベー スからの知識発見や、プログラムの自動合成、技能獲得などの問題の解決を試 み、並列PROGOLの有効性を実証する。