Abstract
The aim of this presentation is to show how logic programming can be used to make formal specifications. This approach is illustrated by the project of standard Prolog, as discussed in the ISO working group, which has been completely described by a formal specification.
This work is partly supported by the GRECO-programmation and the MRT.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Apt, K. R., Blair, H., Walker, A.: Toward a theory of declarative Knowledge. LITP, RR 86-10 (Fed. 1986)
Deransart, P.: Proof Methods of Declarative Properties of Definite Programs. RR 1248, INRIA-Rocquencourt, (June 1990) 64p (to appear in TCS).
Deransart, P., Ferrand, G.: Proof Method of Partial Correctness and Partial Completeness for Normal Logic Programs. RR 92-4, LIFO, University of Orléans, (April 1992) 12p. To appear in ICLP'92 proceedings (Washington DC, Nov 1992).
Deransart, P., Ferrand, G.: An Operational Formal Definition of Prolog: A Specification Method and its Application. New Generation Computing 10 (1992) 121–171.
Ed-Dbali, A., Deransart, P., Scowen, R. (ed.): Prolog, A guide to the executable specification. ISO/IEC JTC1 SC22 WG17 N71, (Jan 1991)
Lloyd, J. W.: Foundations of logic programming (First ed.). Springer-Verlag, Berlin, (1984)
Renault, S.: Logic Programs Validation (in French). DEA Repport, University of Paris 7, (September 1991) 65p.
Scowen, R. (ed.): Prolog Part 1 — General Core. ISO/IEC JTC1 SC22 WG17 N92 (March 1992)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ed-Dbali, A., Deransart, P. (1992). Software formal specification by logic programming: The example of standard Prolog. In: Comyn, G., Fuchs, N.E., Ratcliffe, M.J. (eds) Logic Programming in Action. LPSS 1992. Lecture Notes in Computer Science, vol 636. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55930-2_19
Download citation
DOI: https://doi.org/10.1007/3-540-55930-2_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55930-6
Online ISBN: 978-3-540-47312-1
eBook Packages: Springer Book Archive