Skip to main content
Springer Nature Link
Log in

Process specification of logic programs

  • Session 1 Specification And Programming
  • Conference paper
  • First Online:
Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1984)

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

  • 121 Accesses

Abstract

In this paper, we show that logic programs serve as a specification language for distributed processes. This is achieved by defining refutations with a view to use AND-parallelism and proving them sound and complete with respect to the standard semantics of logic programs given by van Emden and Kowalski.

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.

Similar content being viewed by others

6. References

  1. Apt K.R. and M.H. van Emden: Contributions to the theory of logic programming, JACM, Vol.29, No.3, Oct. 1982.

    Google Scholar 

  2. Bellia M., P. Degano and G. Levi: Applicative Communicating Processes in First-Order Logic, Symposium on Programming, LNCS 137 (Springer-Verlag 1982).

    Google Scholar 

  3. Clark K.L. and S.A. Tarnlund (eds.): Logic Programming, Academic Press, (London, 1982).

    Google Scholar 

  4. Clark K.L. and S. Gregory: PARLOG: a parallel logic programming language, Imperial College Tech. Rep. (May 1983).

    Google Scholar 

  5. Kahn G: The semantics of a simple language for parallel programming, in J.L. Rosenfeld (ed), IFIP74, Amsterdam, 471–475 (North Holland, 1974).

    Google Scholar 

  6. Lassez J.L. and M.J. Maher: Closure and fairness in the semantics of programming logic, to appear in Theoretical Computer Science (1984).

    Google Scholar 

  7. Shapiro E: A subset of Concurrent Prolog and its interpreter, ICOT (Jan. 1983).

    Google Scholar 

  8. R. Ramanujam and R.K. Shyamasundar: Logic Programs for Specifying Dynamic Networks of Processes, submitted for publication, Apr. 1984.

    Google Scholar 

  9. van Emden M.H. and F. Lucena Filho: Predicate Logic as a Language for Parallel Programming, in Clark and Tarnlund 82.

    Google Scholar 

  10. van Emden M.H. and R.A. Kowalski: The semantics of Predicate Logic as a Programming Language, JACM, Vol.23, No. 4, (Dec. 1976).

    Google Scholar 

  11. Zwiers J., A de Bruin and WP de Roever: A proof system for partial correctness of dynamic networks of processes, Proceedings of the 2nd Workshop on Logics of Programs, D. Kozen and E. Clarke (eds.), LNCS 164 Springer-Verlag (Heidelberg 1983).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Group, Tata Institute of Fundamental Research, Homi Bhabha Road, 400 005, Bombay

    R. Ramanujam & R. K. Shyamasundar

Authors
  1. R. Ramanujam
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. K. Shyamasundar
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Mathai Joseph Rudrapatna Shyamasundar

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ramanujam, R., Shyamasundar, R.K. (1984). Process specification of logic programs. In: Joseph, M., Shyamasundar, R. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1984. Lecture Notes in Computer Science, vol 181. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-13883-8_63

Download citation

  • DOI: https://doi.org/10.1007/3-540-13883-8_63

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-13883-9

  • Online ISBN: 978-3-540-39087-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation