Skip to main content
SpringerLink
Log in

Translating algebraic specifications to Prolog programs: A comparative study

  • Submitted Papers
  • Conference paper
  • First Online:
Algebraic and Logic Programming (ALP 1988)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 343))

Included in the following conference series:

Abstract

Abstract programming includes two important approaches which are called functional and relational. We choose algebraic specification and the programming language Prolog as representatives of the two approaches to study the relation between them.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bandes, R.G.: Algebraic Specification and Prolog, Technical Report 82-12-02, Dept. of Comp. Science, Univ. of Washington, Seattle, 1982

    Google Scholar 

  2. Bergman, M. / Deransart, P.: Abstract Data Types and Rewriting Systems: Application to the Programming of Abstract Data Types in Prolog, Proc. 6th CAAP (E. Astesiano / C. Boehm, eds.), LNCS 112, Springer-Verlag, Berlin, 1981

    Google Scholar 

  3. Colmerauer, A. / Kanoui, H. / Roussel, P. / Pasero, R.: Un Systeme de Communication Homme — Machine en Francais, Rapport de Recherche, Groupe d'Intelligence Artificielle, Univ. d'Aix-Marseille, 1973

    Google Scholar 

  4. Clocksin, W.F. / Mellish, C.S.: Programming in Prolog, Springer-Verlag, Berlin, 1981

    MATH  Google Scholar 

  5. Drosten, K. / Ehrich, H.-D.: Translating Algebraic Specifications to Prolog Programs, Informatik-Bericht Nr. 84-08, TU Braunschweig, 1984

    Google Scholar 

  6. Drosten, K.: On Extensions of Term Rewriting Systems and their Application to Rapid Prototyping of Algebraic Specifications (in German), Dissertation, TU Braunschweig, 1988

    Google Scholar 

  7. Ehrich, H.-D.: On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types, Journal ACM 29(1), 1982

    Google Scholar 

  8. van Emden, M.H. / Yukawa, K.: Equational Logic Programming, Technical Report, Dept. of Comp. Science, Univ. of Waterloo, 1986

    Google Scholar 

  9. Gaube, W. / Lockemann, P.C. / Mayr, H.C.: ORS-Spezifikationslabor: Generierung von Prolog Programmen aus Definitionen abstrakter Datentypen, Technical Report 15/84, Univ. Karlsruhe, 1984

    Google Scholar 

  10. Gaube, W. / Lockemann, P.C. / Mayr, H.C.: ORS-Spezifikationslabor: Generierung von Prolog Programmen aus Definitionen abstrakter Datentypen, Technical Report 15/84, Univ. Karlsruhe, 1984

    Google Scholar 

  11. Goguen, J.A. / Meseguer, J.: Equality, Types, Modules, and (Why not?) Generics for Logic Programming, Journal of Logic Programming 1(2), 1984

    Google Scholar 

  12. Goguen, J.A. / Thatcher, J.B. / Wagner, E.G.: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types, Current Trends in Programming Methodology IV (R.T. Yeh, ed.), Prentice Hall, Englewood Cliffs, 1978

    Google Scholar 

  13. Kowalski, R.: Predicate Logic as a Programming Language, Information Processing 74 (J.L. Rosenfeld, ed.), North-Holland, Amsterdam, 1974

    Google Scholar 

  14. Lloyd, J.W.: Foundations of Logic Programming, Springer-Verlag, Berlin, 1984

    Book  MATH  Google Scholar 

  15. Petzsch, H.: Automatic Prototyping of Algebraic Specifications Using Prolog, Technical Report, Lehrstuhl für Informatik II, RWTH Aachen, 1985

    Google Scholar 

  16. Robinson, J.A.: A Machine-Oriented Logic Based on the Resolution Principle, Journal ACM 12(1), 1965

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. GMD-IPSI, Dolivostr. 15, 6100, Darmstadt

    K. Drosten

Authors
  1. K. Drosten
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. Grabowski P. Lescanne W. Wechler

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Akademie-Verlag Berlin

About this paper

Cite this paper

Drosten, K. (1988). Translating algebraic specifications to Prolog programs: A comparative study. In: Grabowski, J., Lescanne, P., Wechler, W. (eds) Algebraic and Logic Programming. ALP 1988. Lecture Notes in Computer Science, vol 343. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50667-5_65

Download citation

  • DOI: https://doi.org/10.1007/3-540-50667-5_65

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50667-6

  • Online ISBN: 978-3-540-46063-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation