Advertisement

Constraints for synchronizing coarse-grained sequential logic processes

  • Antonio Brogi
  • Maurizio Gabbrielli
Session: Constraint Logic Programming
Part of the Lecture Notes in Computer Science book series (LNCS, volume 528)

Abstract

We present a constraint based language designed to support the parallel execution of sequential logic theories. Each sequential computation is embedded in a (coarse-grained) process. According to the concurrent constraint paradigm, the parallel execution of processes is performed by using constraints for inter-process communication and synchronization. The operational semantics of the language is modelled according to the true concurrency approach.

Keywords

Logic Program Logic Programming Operational Semantic Constraint System Parallel Execution 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    R. Bahgat and S. Gregory. Pandora: Non-deterministic Parallel Logic Programming. In G. Levi and M. Martelli, editors, Proc. Sixth Int'l Conf. on Logic Programming, pages 471–486. The MIT Press, Cambridge, Mass., 1989.Google Scholar
  2. [2]
    A. Brogi and P. Ciancarini. The Concurrent Language Shared Prolog. ACM Transactions on Programming Languages and Systems, 1(1), 1991.Google Scholar
  3. [3]
    A. Brogi, R. Filippi, M. Gaspari, and F. Turini. An Expert System for Data Fusion based on a Blackboard Architecture. In Proc. of Eight Int'l Workshop on Expert Systems and their Applications, pages 147–166, Avignon, 1988.Google Scholar
  4. [4]
    A. Brogi and R. Gorrieri. A Distributed, Net Oriented Semantics for Delta Prolog. In J. Diaz and F. Orejas, editors, Proc. of TAPSOFT-CAAP'89, volume 351 of Lecture Notes in Computer Science, pages 637–654. The MIT Press, Cambridge, Mass., 1989.Google Scholar
  5. [5]
    P. Degano and U. Montanari. Concurrent Histories: a Basis for Observing Distributed Systems. Journal of Computer and System Science, 34:442–461, 1987.Google Scholar
  6. [6]
    R. Engelmore and T. Morgan. Blackboard Systems. Addison-Wesley, 1988.Google Scholar
  7. [7]
    M. Gabbrielli and G. Levi. Unfolding and Fixpoint Semantics of Concurrent Constraint Programs. In H. Kirchner and W. Wechler, editors, Proc. Second Int'l Conf. on Algebraic and Logic Programming, volume 463 of Lecture Notes in Computer Science, pages 204–216. Springer-Verlag, Berlin, 1990. Extended version to appear in Theoretical Computer Science.Google Scholar
  8. [8]
    M. Gabbrielli and G. Levi. Modeling Answer Constraints in Constraint Logic Programs. In K. Furukawa, editor, Proc. Eighth Int'l Conf. on Logic Programming. The MIT Press, Cambridge, Mass., 1991.Google Scholar
  9. [9]
    S. Haridi and S. Janson. Kernel Andorra Prolog and its computation model. In D. H. D. Warren and P. Szeredi, editors, Proc. Seventh Int'l Conf. on Logic Programming, pages 31–48. The MIT Press, Cambridge, Mass., 1990.Google Scholar
  10. [10]
    J. Jaffar and J.-L. Lassez. Constraint Logic Programming. In Proc. Fourteenth Annual ACM Symp. on Principles of Programming Languages, pages 111–119. ACM, 1987.Google Scholar
  11. [11]
    J. Jaffar and J.-L. Lassez. Constraint Logic Programming. Technical report, Department of Computer Science, Monash University, June 1986.Google Scholar
  12. [12]
    G. Plotkin. A structured approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.Google Scholar
  13. [13]
    V. A. Saraswat. GHC: operational semantics, problems and relationship with CP (↓, ¦). In IEEE Int'l Symp. on Logic Programming, pages 347–358. IEEE, 1987.Google Scholar
  14. [14]
    V. A. Saraswat. Concurrent Constraint Programming Languages. PhD thesis, Carnegie-Mellon University, January 1989.Google Scholar
  15. [15]
    V. A. Saraswat and M. Rinard. Concurrent constraint programming. In Proc. Seventeenth Annual ACM Symp. on Principles of Programming Languages. ACM, 1990.Google Scholar
  16. [16]
    E. Y. Shapiro. The family of concurrent logic programming languages. ACM Computing Surveys, 21(3):412–510, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Antonio Brogi
    • 1
  • Maurizio Gabbrielli
    • 1
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly

Personalised recommendations