Skip to main content
SpringerLink
Log in

A Linda-based runtime system for a distributed logic language

  • Conference paper
  • First Online:
Languages and Compilers for Parallel Computing (LCPC 1992)

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

  • 133 Accesses

Abstract

We describe an application of the Linda coordination language in the design and distributed implementation of a parallel logic language called ESP. This is a logic language that includes a concept of Multiple Tuple Spaces, so it effectively extends Linda and moreover it integrates it with the logic programming paradigm. The implementation that we describe uses a Linda-based network server as the kernel of the ESP distributed run-time system.

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. Almgren, J., Andersson, S., Flood, L., Frisk, C., Nilsson, H., and Sundberg, J. SICStus Prolog Library Manual. Swedish Institute of Computer Science, October 1991.

    Google Scholar 

  2. Ambriola, V., Ciancarini, P., and Montangero, C. Enacting software processes in Oikos. In Proceedings of ACM SIGSOFT Conf. on Software Development Environments (1990), vol. 15:6 of ACM SIGSOFT Software Engineering Notes, pp. 12–23.

    Google Scholar 

  3. Andreoli, J., Ciancarini, P., and Pareschi, R. Interaction Abstract Machines. In Trends in Object-Based Concurrent Computing, G. Agha, P. Wegner, and A. Yonezawa, Eds. MIT Press, 1992, to appear.

    Google Scholar 

  4. Arango, M., Berndt, M., Carriero, N., Gelernter, D., and Gilmore, D. Adventures with Network Linda. Supercomputing Review 10, 3 (October 1990), 42–46.

    Google Scholar 

  5. Brogi, A., and Ciancarini, P. The concurrent language Shared Prolog. ACM Trans. on Programming Languages and Systems 13, 1 (1991), 99–123.

    Google Scholar 

  6. Bucci, A., Ciancarini, P., and Montangero, C. Extended Shared Prolog: A multiple tuple spaces logic language. In Proceedings of the 10thJapanese Logic Programming Conference (1991, to appear), Lecture Notes in Computer Science, Springer.

    Google Scholar 

  7. Carriero, N.Implementing Tuple Space Machines. PhD thesis, Dept. of Computer Science, Yale University, New Haven, Connecticut, 1987.

    Google Scholar 

  8. Carriero, N., and Gelernter, D. Coordination languages and their significance. Communications of the ACM 35, 2 (February 1992), 97–107.

    Google Scholar 

  9. Castagnetti, T., and Ciancarini, P. Static Analysis of a Parallel Logic Language Based on the Blackboard Model. Journal of Parallel and Distributed Computing 13, 12 (December 1991), 412–423.

    Google Scholar 

  10. Ciancarini, P. Parallel Logic Programming Using the Linda Model of Computation. In Research Directions in High-Level Parallel Programming Languages (Mont Saint-Michel, France, June 1991), J. Banatre and D. LeMetayer, Eds., vol. 574 of Lecture Notes in Computer Science, pp. 110–125.

    Google Scholar 

  11. Ciancarini, P. Coordinating Rule-Based Software Processes in ESP. Dipartimento di Informatica, Univ. of Pisa, Italy, August 1992.

    Google Scholar 

  12. Ciancarini, P., Jensen, K., and Yankelewich, D. The Semantics of a Parallel Language Based on a Shared Dataspace. Tech. Rep. TR26-92, Dip. di Informatica, University of Pisa, September 1992.

    Google Scholar 

  13. Gelernter, D. A note on systems programming in Concurrent Prolog. In Proc. Int. Symp. Logic Programming (1984), IEEE, pp. 76–82.

    Google Scholar 

  14. Gelernter, D. Generative communication in Linda. ACM Trans. on Programming Languages and Systems 7, 1 (1985), 80–112.

    Google Scholar 

  15. Gelernter, D. Multiple tuple spaces in Linda. In Proceedings of PARLE '89 (1989), E. Odijk, M. Rem, and J. Syre, Eds., vol. 365 of Lecture Notes in Computer Science, pp. 20–27.

    Google Scholar 

  16. Hewitt, C. Offices are open systems. ACM Trans. on Office Information Systems 4, 3 (July 1986), 271–287.

    Google Scholar 

  17. Lusk, E., Warren, D., and Alii. The Aurora OR-parallel Prolog System. In Proc. Int. Conf. on 5th Generation Computer Systems (1988), ICOT, pp. 819–830.

    Google Scholar 

  18. Matsuoka, S., and Kawai, S. Using tuple-space communication in distributed object-oriented architectures. In Proc. OOPSLA '88 (November 1988), vol. 23:11 of ACM SIGPLAN Notices, pp. 276–284.

    Google Scholar 

  19. Pereira, L., and Nasr, R. DeltaProlog: A distributed logic programming language. In Proc. of the Int. Conf. on Fifth Generation Computer Systems (1984), pp. 283–291.

    Google Scholar 

  20. Scientific Computing Associates, Inc.C-Linda Reference Manual. New Haven, CT, 1990.

    Google Scholar 

  21. Shapiro, E. Embedding Linda and other joys of concurrent logic programming. Communications of the ACM 33, 10 (October 1989), 1240–1258.

    Google Scholar 

  22. Shapiro, E. The Family of Concurrent Logic Languages. ACM Computing Surveys 21, 3 (September 1989).

    Google Scholar 

  23. Sterling, L., and Shapiro, E. The Art of Prolog. MIT Press, 1986.

    Google Scholar 

  24. Sutcliffe, G., and Pinakis, J. Prolog-D-Linda. Tech. Rep. TR91/7, Dept. of CS, Univ. of Western Australia, Nedlands, Western Australia, 1992.

    Google Scholar 

  25. Szeredi, P. Using Dynamic Predicates in an Or-Parallel Prolog System. In Proc. Int. Symposium on Logic Programming (SanDiego, USA, 1991), V. Saraswat and K. Ueda, Eds., MIT Press, pp. 355–371.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Bologna, Bologna, Italy

    P. Ciancarini

Authors
  1. P. Ciancarini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Utpal Banerjee David Gelernter Alex Nicolau David Padua

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ciancarini, P. (1993). A Linda-based runtime system for a distributed logic language. In: Banerjee, U., Gelernter, D., Nicolau, A., Padua, D. (eds) Languages and Compilers for Parallel Computing. LCPC 1992. Lecture Notes in Computer Science, vol 757. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57502-2_58

Download citation

  • DOI: https://doi.org/10.1007/3-540-57502-2_58

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57502-3

  • Online ISBN: 978-3-540-48201-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation