Abstract
We discuss the Model Inference System of E.Y.Shapiro, giving particular attention to the refinement operator which is used during the synthesis of new Prolog clauses. An improved refinement operator which has been found in practice to reduce synthesis times by up to a factor of five is introduced.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
M.R.Kennett. Towards Program Synthesis and Debugging. MTR 84/109. 1984. G.E.C. Marconi Research Centre, Chelmsford, U.K.
R.C. Waters. The Programmer's Apprentice: knowledge based program editing. IEEE Trans. Soft. Eng. SE-8, 1 pp.1–13. 1982.
C. Rich. Inspection in Programming. TR-604, Artificial Intelligence Laboratory, M.I.T. 1981.
D. Shaw, W. Swartout C. Green. Inferring Lisp programs from example problems. In Proceedings of the fourth International Joint Conference on Artificial Intelligence. IJCAI 1975.
E.Y.Shapiro. Algorithmic Program Debugging. M.I.T. Press 1982.
D.H.D.Warren. Implementing Prolog — Compiling Predicate Logic Programs. D.A.I. Research reports Nos.39,40. University of Edinburgh 1977.
M.M.Huntbach. Program synthesis by inductive inference. European Conference on Artificial Intelligence ECAI 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Huntbach, M.M. (1986). An improved version of Shapiro's model inference system. In: Shapiro, E. (eds) Third International Conference on Logic Programming. ICLP 1986. Lecture Notes in Computer Science, vol 225. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16492-8_74
Download citation
DOI: https://doi.org/10.1007/3-540-16492-8_74
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16492-0
Online ISBN: 978-3-540-39831-8
eBook Packages: Springer Book Archive