Abstract
In this work we define a schematic language to concisely describe classes of logic programs. We show how our proposed formalism can be profitably employed to represent opportunities for program optimisation: we schematically specify commonly occurring inefficient portions of code and how these can be altered to improve the performance of programs. We have defined a fully automated approach to exploit these opportunities for the analysis and transformation of logic programs.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Aït-Kaci, H.: Warren’s Abstract Machine. MIT Press, USA (1991)
Krzysztof, R.: Apt. From Logic Programming to Prolog. Prentice-Hall, U.K. (1997)
Chasseur, E., Deville, Y.: Logic Program Schemas, Constraints and Semi- Unification. In: Fuchs, N.E. (ed.) LOPSTR 1997. LNCS, vol. 1463, p. 69. Springer, Heidelberg (1998)
Fuchs, N.E., Fromherz, M.P.J.: Schema-Based Transformations of Logic Programs. In: Proc. of LoPSTr 1991, Springer, Heidelberg (1992)
Huet, G., Lang, B.: Proving and Applying Program Transformations Expressed with Second-Order Patterns. Acta Informatica 11, 31–55 (1978)
Nielson, F.: Perspectives on Program Analysis. ACM Comp. Surv. 28(4es) (1996)
Paige, R.: Future Directions in Program Transformation. ACM Comp. Surv. 28(4es) (1996)
Proietti, M., Pettorossi, A.: Transformations of Logic Programs: Foundations and Techniques. J. Logic Progr. 19(20), 261–320 (1994)
Richardson, J.D.C., Fuchs, N.E.: Development of correct transformation schemata for prolog programs. In: Fuchs, N.E. (ed.) LOPSTR 1997. LNCS, vol. 1463, p. 263. Springer, Heidelberg (1998)
Sterling, L., Shapiro, E.: The Art of Prolog. MIT Press, Cambridge (1986)
Vasconcelos, W.W., Aragão, M.A., Fuchs, N.E.: Automatic Bottom-Up Analysis and Transformation of Logic Programs. In: Borges, D.L., Kaestner, C.A.A. (eds.) SBIA 1996. LNCS (LNAI), vol. 1159, Springer, Heidelberg (1996)
Vasconcelos, W.W., Aragão, M.A.T.: Automatic Extraction of Logic Program Transformations from Examples. Tech. Rep., Available upon request (1999)
Vasconcelos, W.W., Fuchs, N.E.: An Opportunistic Approach for Logic Program Analysis and Optimisation using Enhanced Schema-Based Transformations. In: Proietti, M. (ed.) LOPSTR 1995. LNCS, vol. 1048. Springer, Heidelberg (1996)
Zanutto, J.: Term Rewriting Systems: Theory and an Application. MSc Diss., IME. São Paulo Univ., Brazil(May 1999) (in Portuguese)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weber-Vasconcelos, W., Xavier Meneses, E. (2000). A Practical Approach for Logic Program Analysis and Transformation. In: Cairó, O., Sucar, L.E., Cantu, F.J. (eds) MICAI 2000: Advances in Artificial Intelligence. MICAI 2000. Lecture Notes in Computer Science(), vol 1793. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10720076_8
Download citation
DOI: https://doi.org/10.1007/10720076_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67354-5
Online ISBN: 978-3-540-45562-2
eBook Packages: Springer Book Archive