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:
- README
- manual.tex
- advertise.txt
- Directory for Source Files:source
- source/progol.pl
- source/bot.pl
- source/magic.pl
- source/search.pl
- source/m2pl.pl
- source/sample/rev.pgl
[Others]
This Software is an 'experimental' system.
It is still under development.
[FTP]
- README
- Program and Documents in Japanese [37K]
www-admin@icot.or.jp