Skip to main content
SpringerLink
Log in

Logic Programming Tailored for Office Procedure Automation

  • Chapter
Languages for Automation

Part of the book series: Management and Information Systems ((MIS))

Abstract

The design of the experimental logic programming language PLOP (predicative language for office procedure automation) and an associated application-oriented programming environment aims at a proper integration of office databases and office procedure programming in a distributed environment, without being principally confined to office applications.

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

Access this chapter

Log in via an institution
eBook
USD 16.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. B. Baumgarten, F. Lorenz, and P. Ochsenschlager, Distsys—Ein System zur Übersetzung funktionaler Programme in kommunizierende parallele Prozesse, Internal Report Gmd/Ifv, 1982, 43 pages.

    Google Scholar 

  2. B. Baumgarten and P. OchsenschlÄGer, Checkpoint/Restart-Verfahren gegen Komponentenausfall und Leitungsfehler in verteilten Systemen, Arbeitspapiere der Gmd, No. 13, 1983, 26 pages.

    Google Scholar 

  3. M. Van Caneghan, Ed., Proc. First International Logic Programming Conference,Marseille, France, 1982; see also “Logic Programming Conferences” of subsequent years.

    Google Scholar 

  4. J.-M. Chang and S.-K. Chang, Database alerting techniques for office activities management, TEEE Trans. Commun., Com-30(1), 74–81 (1982).

    Article  Google Scholar 

  5. J. Clifford and D. S. Warren, Formal semantics for time in databases, ACM Tods, 8 (2), 214–254 (1983).

    Article  Google Scholar 

  6. W. F. Clocksin and C. S. Mellish, Programming in Prolog, Springer-Verlag, Berlin, 1981.

    MATH  Google Scholar 

  7. E. F. CoDD, Extending the database relational model to capture more meaning, ACM Tods, 4 (4), 397–434 (1979).

    Google Scholar 

  8. K. D. GÜNther, Basic concepts of Plop—A predicative programming language for office procedure automation, Arbeitspapiere der Gmd, No. 52, 1983, 37 pages.

    Google Scholar 

  9. K. D. GÜNther, Syntax der prädikatenlogischen Programmiersprache Plop, Arbeitspapiere der Gmd, No. 53, 1983, 71 pages; and more recent versions (English version in preparation).

    Google Scholar 

  10. K. D. GÜNther, Database requirements of computer-aided office procedures, Arbeitspapiere der Gmd, No. 54, 1983, 6 pages.

    Google Scholar 

  11. K. D. GÜNther, Plop-A predicative programming language for office procedure automation, Proceedings TEEE Workshop on Languages for Automation, TEEE Computer Society Press, New York, 1983, 94–101.

    Google Scholar 

  12. W. Kent, Data and Reality, North-Holland, Amsterdam, 1978.

    Google Scholar 

  13. R. A. Kowalski, Predicate Logic as Programming Language, Information Processing 74, North-Holland, Amsterdam, 1974, pp. 569–574.

    Google Scholar 

  14. R. A. Kowalski, Algorithm = logic + control, Commun. ACM, 22 (7), 424–436 (1979).

    Article  MATH  Google Scholar 

  15. R. A. Kowalski, Logic for Problem Solving, Elsevier North-Holland, New York, 1979.

    MATH  Google Scholar 

  16. P. Materna and J. Pokorny, Applying simple theory of types to databases, Inf. Syst 6 (4), 283–300 (1981).

    Article  MATH  Google Scholar 

  17. M. M. Zloof, Query by Example, in: Afips Conference Proceedings 1975 Ncc,431–437.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Gesellschaft für Mathematik und Datenverarbeitung, Institut für Systemtechnik, Rheinstrasse 75, D-6100, Darmstadt, Federal Republic of Germany

    Klaus D. Günther

Authors
  1. Klaus D. Günther
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electrical and Computer Engineering, Illinois Institute of Technology, Chicago, Illinois, USA

    Shi-Kuo Chang

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer Science+Business Media New York

About this chapter

Cite this chapter

Günther, K.D. (1985). Logic Programming Tailored for Office Procedure Automation. In: Chang, SK. (eds) Languages for Automation. Management and Information Systems. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-1388-6_2

Download citation

  • DOI: https://doi.org/10.1007/978-1-4757-1388-6_2

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4757-1390-9

  • Online ISBN: 978-1-4757-1388-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation