AITEC Contract Research Projects in FY1996 : Software

(5) Parallelization of PROGOL in KL1



MG-Progol

Bottom-up Progol by using MGTP

[Software Features]

This software is an empirical inductive logic programming system, which is based on Progol. Instead of Progol's original implementation based on Prolog technology, this software employs bottom-up inference system MGTP to construct hypotheses.

[Required Environment]

Any computer and any OS which supports KLIC ver. 2.002.

[File Configuration]

The expanded directory has the following files: 
Readme-J			Japanese version of Readme-E
Readme-E			File Configuration
INSTALL				Install guide

source/
source/progol.kl1		MG-Progol main inference engine

source/trans/
source/trans/Makefile		Makefile for Translator
      /trans/bk2mg.kl1  	Translator Background knowledge into MG-Clauses
      /trans/merc.kl1		Merc translator
      /trans/mg2kl1.kl1		Translator MG-Clause into KL1 Program
      /trans/mode2mg.kl1	Translator Mode Declarations into MG-Clauses
      /trans/pgl2kl1.kl1	Translator Main Module
      /trans/util.kl1		Utility Module
      /trans/w_kl1.kl1		Output Module

sample/
sample/animals.pgl		animals problem
sample/train.pgl		train problem
sample/animals.kl1		KL1 file of animals.pgl
sample/train.kl1		KL1 file of train.pgl

doc/
doc/manual.tex			manual

[FTP]

www-admin@icot.or.jp