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.
rnThe 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.
rnThe 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.
并行逻辑语言Shared Prolog将Prolog嵌入为其顺序组件。程序是Shared Prolog由一组逻辑代理(即Prolog程序)组成,它们通过称为黑板的共享工作区进行关联通信。 P> rn
Shared Prolog相对于其他并行(逻辑)特性的独特功能)语言是:代理程序的调度和并行度的粒度受到明确控制; Prolog嵌入在语言中;内在的模块化;就子句的断言/缩回而言,具有简单操作语义的代理之间的消息的关联发送/接收。通信模型将Shared Prolog放入了Linda并行语言家族。 P> rn
当前的原型实现已公开。该系统的体系结构是一个扩展的Prolog解释器的分布式网络,该解释器在Unix下运行并通过Internet套接字进行通信,并且是通过完善用SP本身编写的规范获得的。 P>
Dipartimento di Informatica - Universit� di Pisa and Dipartimento di Matematica e Informatica - Universit� di Udine, Italy;
Dipartimento di Informatica - Universit� di Pisa;
机译:分层分布式共享内存并行系统的工作量分解策略及其与高级并行语言集成的实现
机译:分层分布式共享内存并行系统的工作量分解策略及其与高级并行语言集成的实现
机译:用于分层分布式共享内存并行系统的工作负载分解策略及其实现,具有高级并行语言的集成
机译:用于并行ProloL实施的非共享绑定方案
机译:分布式共享内存多处理器上的高性能并行逻辑编程。
机译:共享和分布式内存架构并行FDTD方法的性能:应用脚踏电磁
机译:OR并行优化Prolog系统:POPS在并行Prolog中的设计与实现