Abstract
This paper describes a parallel version of Progol based on MGTP which is a theorem prover employing bottom-up inference suitable for parallel implementation. Hypothesis formation in Progol, which is performed by top-down computation with Prolog in the sequential implementation, will be performed more efficiently by bottom-up computation with MGTP in the new implementation. For the Progol's generalto-specific search for hypotheses through the subsumption lattice, we developed a new way of calculating a heuristic function for the A*-like algorithm, which was also implemented with MGTP. Since MGTP already has very efficient parallel implementations on parallel inference machines, an efficient implementation of parallel-Progol will readily be realized as well.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Beeri, C. and Ramakrishnan, R.: On the Power of Magic. J. Logic Programming, Vol.10, (1991) 255–299
Fujita, H. and Hasegawa, R.: A Model Generation Theorem Prover in KL1 Using a Ramified-Stack Algorithm. Proc. of the 8th ICLP, (1991) 535–548
Manthey, R. and Bry, F.: SATCHMO: A theorem prover implemented in Prolog. Proc. of the 9th CADE, (1988) 415–434
Muggleton, S.: Inverse Entailment and Progol. New Generation Computing, Vol. 13, (1995) 245–286
Ueda, K. and Chikayama, T.: Design of the kernel language for the parallel inference machine. The Computer Journal, 33(6) (1990) 494–500
Yagi, N.: On the Construction of parallel ILP Model. Master's thesis, Keio University, (1996)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fujita, H., Yagi, N., Ozaki, T., Furukawa, K. (1997). A new design and implementation of progol by bottom-up computation. In: Muggleton, S. (eds) Inductive Logic Programming. ILP 1996. Lecture Notes in Computer Science, vol 1314. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63494-0_54
Download citation
DOI: https://doi.org/10.1007/3-540-63494-0_54
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63494-2
Online ISBN: 978-3-540-69583-7
eBook Packages: Springer Book Archive