Abstract
Many of the systems which we, and those who have worked with us, have built were intended to make it easier for people with particular backgrounds to construct and understand logic programs. A major issue when designing this sort of system is pragmatics: from the many logically equivalent ways of describing a program we must identify styles of description which make particular tasks easier to support. The first half of this paper describes three ways in which we have attempted to understand the pragmatics of particular domains using well known methods from computational logic. These are: design using parameterisable components; synthesis by incremental addition of program slices; and meta-interpretation. These are helpful in structuring designs but do not necessarily provide guidance in design lifecycles - where less detailed designs are used to guide the description of more detailed designs. The second half of this paper summarises an example of this form of guidance.
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
A. W. Bowles, D. Robertson, W. W. Vasconcelos, M. Vargas-Vera, and D. Bental. Applying Prolog Programming Techniques. International Journal of Human-Computer Studies, 41(3):329–350, September 1994. Also as Research Paper 641, Dept of Artificial Intelligence, University of Edinburgh.
V. Brilhante. Inform-logic: A system for representing uncertainty in ecological models. Technical report, Department of Artificial Intelligence, University of Edinburgh, 1996. MSc Thesis.
T.S. Gegg-Harrison. Basic Prolog schemata. Technical Report CS-1989-20, Department of Computer Science, Duke University, September 1989.
J. Goguen. Principles of parameterised programming. In A. Biggerstaff and A. Perlis, editors, Software Reusability Volume 1: Concepts and Models, pages 159–225. Addison Wesley, 1989.
J. Hesketh, D. Robertson, N. Fuchs, and A. Bundy. Lightweight formalisation in support of requirements engineering. Journal of Automated Software Engineering, 5(2):183–210, 1998.
M. Kirschenbaum, A. Lakhotia, and L.S. Sterling. Skeletons and techniques for Prolog programming. Tr 89-170, Case Western Reserve University, 1989.
D. Robertson. Distributed specification. In Proceedings of the 12th European Conference on Artificial Intelligence, Budapest, Hungary, August 1996.
D. Robertson. An empirical study of the LSS specification toolkit in use. In Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, Nevada, USA. Knowledge Systems Institute,Illinois, 1996. ISBN 0-9641699-3-2.
D. Robertson, A. Bundy, R. Muetzelfeldt, M. Haggith, and M Uschold. Eco-Logic: Logic-Based Approaches to Ecological Modelling. MIT Press (Logic Programming Series), 1991. ISBN 0-262-18143-6.
D.T. Sannella and L.A. Wallen. A calculus for the construction of modular Prolog programs. Journal of Logic Programming, 12:147–177, 1992.
F. van Harmelen and M. Aben. Structure-preserving specification languages for knowledge-based systems. International Journal of Human-Computer Studies, 44:187–212, 1996.
F. van Harmelen and J.R. Balder. (ML)2: A formal language for kads models of expertise. Knowledge Acquisition, 4(1), 1992.
B. J. Wielinga, A. Th. Schreiber, and J. A. Breuker. KADS: A modelling approach to knowledge engineering. Knowledge Acquistion Journal, 4(1):5–53, 1992. Special issue ‘The KADS approach to knowledge engineering’. Reprinted in: Buchanan, B. and Wilkins, D. editors (1992), Readings in Knowledge Acquisition and Learning, San Mateo, California, Morgan Kaufmann, pp. 92-116.
L.U. Yalcinalp and L.S. Sterling. Uncertainty reasoning in Prolog with layered meta-interpreters. Technical Report TR 90-110, Center for Automation and Intelligent Systems Research, Case Western Reserve University, Ohio,USA, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Robertson, D., AgustÃ, J. (1999). Pragmatics in the Synthesis of Logic Programs. In: Flener, P. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 1998. Lecture Notes in Computer Science, vol 1559. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48958-4_3
Download citation
DOI: https://doi.org/10.1007/3-540-48958-4_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65765-1
Online ISBN: 978-3-540-48958-0
eBook Packages: Springer Book Archive