Skip to main content
SpringerLink
Log in

Software formal specification by logic programming: The example of standard Prolog

  • Conference paper
  • First Online:
Book cover Logic Programming in Action (LPSS 1992)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 636))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Apt, K. R., Blair, H., Walker, A.: Toward a theory of declarative Knowledge. LITP, RR 86-10 (Fed. 1986)

    Google Scholar 

  2. Deransart, P.: Proof Methods of Declarative Properties of Definite Programs. RR 1248, INRIA-Rocquencourt, (June 1990) 64p (to appear in TCS).

    Google Scholar 

  3. 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).

    Google Scholar 

  4. Deransart, P., Ferrand, G.: An Operational Formal Definition of Prolog: A Specification Method and its Application. New Generation Computing 10 (1992) 121–171.

    Google Scholar 

  5. Ed-Dbali, A., Deransart, P., Scowen, R. (ed.): Prolog, A guide to the executable specification. ISO/IEC JTC1 SC22 WG17 N71, (Jan 1991)

    Google Scholar 

  6. Lloyd, J. W.: Foundations of logic programming (First ed.). Springer-Verlag, Berlin, (1984)

    Google Scholar 

  7. Renault, S.: Logic Programs Validation (in French). DEA Repport, University of Paris 7, (September 1991) 65p.

    Google Scholar 

  8. Scowen, R. (ed.): Prolog Part 1 — General Core. ISO/IEC JTC1 SC22 WG17 N92 (March 1992)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIFO, Université d'Orléans, B.P. 6759, 45067, Orleans Cedex 2, France

    AbdelAli Ed-Dbali

  2. Projet ChLoÉ Domaine de Voluceau, INRIA, B.P. 105, 78153, Le Chesnay Cedex

    AbdelAli Ed-Dbali & Pierre Deransart

Authors
  1. AbdelAli Ed-Dbali
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pierre Deransart
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to AbdelAli Ed-Dbali or Pierre Deransart .

Editor information

G. Comyn N. E. Fuchs M. J. Ratcliffe

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation