AITEC Contract Research Projects in FY1995 : Software
(7) Parallelization of PROGOL in KL1
Dr. Koichi Furukawa, Professor, Keio University
Bottom-up Progol Processor using MGTP (Prolog version)
by
Prof. Koichi Furukawa at Keio University
[Features of the Software]
This software is an experimental system for inductive inference
written in Prolog. It was developed for the purpose of parallelizing
Progol.
Instead of original Progol's top-down computation,
we employ bottom-up computation to construct hypotheses.
MGTP (Model Generation Theorem Prover) is used directly in this task.
[Required Environment]
SICStus Prolog 2.1
[File Configuration]
Expanded directory has the following directories and files:
