Abstract
We view logic programs as (first-order) axiomatisations, and deductive synthesis and transformation as operations on mathematical systems composed of axioms and “logical” systems such as SLD and SLDNF. In this framework, we distinguish between specification, deductive synthesis and transformation and discuss their inter-relationships.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Y. Deville. Logic Programming: Systematic Program Development. Addison-Wesley, 1990.
A. Eriksson, A.-L. Johansson and S.-A. Tärnlund. Towards a Derivation Editor. In M. van Caneghem and D.H.D. Warren, editors, Logic Programming and its Applications, pages 117–126. Ablex Publ. Co., 1986. 1990.
J.A. Goguen and J. Meseguer. Unifying functional, object-oriented and relational programming with logical semantics. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, pages 417–477. MIT Press, 1987. 283
Å. Hansson and S.-A. Tärnlund. A natural programming calculus. In Proc. IJCAI-79, pages 348–355, 1979.
C.J. Hogger. Derivation of logic programs. Journal of the ACM, 28, 372–392, 1981.
K.K. Lau and S.D. Prestwich. Top-down synthesis of recursive logic procedures from first-order logic specifications. In D.H.D. Warren and P. Szeredi, editors, Proc. 7th Int. Conf. on Logic Programming, pages 667–684. MIT Press, 1990.
K.K. Lau and M. Ornaghi. Towards a formal framework for deductive synthesis of logic programs. Technical Report UMCS–92–11–2, Department of Computer Science, University of Manchester, November 1992.
K.K. Lau and M. Ornaghi. An incompleteness result for deductive synthesis of logic programs. In D.S. Warren, editor, Proc. 10th Int. Conf. on Logic Programming, pages 456–477, MIT Press, 1993.
J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 2nd edition, 1987.
Z. Manna and R. Waldinger. A deductive approach to program synthesis. ACM TOPLAS, 2 (1): 90–121, Jan 1980.
J.C. Shepherdson. Negation in Logic Programming. in J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 19–88. Morgan Kaufmann, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 British Computer Society
About this paper
Cite this paper
Lau, KK., Ornaghi, M. (1994). A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs. In: Deville, Y. (eds) Logic Program Synthesis and Transformation. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3234-9_2
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3234-9_2
Publisher Name: Springer, London
Print ISBN: 978-3-540-19864-2
Online ISBN: 978-1-4471-3234-9
eBook Packages: Springer Book Archive