Shared Prolog(ID:6621/sha007)

Lanugage with Prolog as its sequential component: a Shared Prolog program is composed of a set of logic agents (Prolog programs) that communicate associatively via a shared workspace called Blackboard
Related languages
Linda => Shared Prolog   Implementation
Prolog => Shared Prolog   Adaptation of
References:
  • Ciancarini, P. "Specifying and Prototyping Software Engineering Environments", PhD Thesis (in Italian), Universita di Pisa, 1988. view details
  • Brogi, A. Ciancarini, P. "The Concurrent Language Shared Prolog", TR. 11-89. Dip. di Informatica, Universid di Pisa, 1989, pp.24 view details
  • Ciancarini, P."Blackboard Programming in Shared Prolog" view details
          in Gelernter, D. A.Nicolau, D.Padua, (eds.), Procs. 2nd Workshop on Parallel Languages and Compilers, in the series Research Monograph in Parallel and Distributed Computing, Pitman, 1989 view details
  • Ambriola, V.; Ciancarini, P.; Danelutto, M. "Design and distributed implementation of the parallel logic language shared Prolog" view details Abstract: The parallel logic language Shared Prolog embeds Prolog as its sequential component. A program is Shared Prolog is composed of a set of logic agents, i.e. Prolog programs, that communicate associatively via a shared workspace called blackboard. The distinct features that characterize Shared Prolog with respect to other parallel (logic) languages are: scheduling of agents and granularity of parallelism explicitly controlled; Prolog embedded in the language; intrinsic modularity; associative send/receive of messages among agents with a simple operational semantics in terms of assert/retract of clauses. The model of communication puts Shared Prolog in the Linda family of parallel languages. The current prototype implementation is exposed. The architecture of the system is a distributed network of extended Prolog interpreters running under Unix and communicating via Internet sockets, and was obtained refining a specification written in SP itself. DOI
          in [SIGPLAN] SIGPLAN Notices 25(03) The Second ACM SIGPLAN Symp on Principles and Practices of Parallel Programming, March 1990 view details
  • Ciancarini, P. "Coordination Languages for Open System Programming", Proceedings IEEE Int. Conf. on Programming Languages, New Orleans, 1990. view details
          in [SIGPLAN] SIGPLAN Notices 25(03) The Second ACM SIGPLAN Symp on Principles and Practices of Parallel Programming, March 1990 view details