%0 Conference Proceedings
%T Coordination and Concurrency in Multi-engine Prolog
%+ University of North Texas (UNT)
%A Tarau, Paul
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 13th Conference on Coordination Models and Languages (COORDINATION)
%C Reykjavik, Iceland
%Y Wolfgang Meuter
%Y Gruia-Catalin Roman
%I Springer
%3 Coordination Models and Languages
%V LNCS-6721
%P 157-171
%8 2011-06-06
%D 2011
%R 10.1007/978-3-642-21464-6_11
%K multi-engine Prolog
%K agent coordination
%K high-level multi-threading
%K coroutining Linda blackboards
%K publish/subscribe
%K Java-based Prolog system
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X We discuss the impact of the separation of logic engines (independent logic processing units) and multi-threading on the design of coordination mechanisms for a Prolog based agent infrastructure.We advocate a combination of coroutining constructs with focus on expressiveness and a simplified, multi-threading API that ensures optimal use available parallelism.In this context, native multi-threading is made available to the application programmer as a set of high-level primitives with a declarative flavor while cooperative constructs provide efficient and predictable coordination mechanisms. As illustrations of our techniques, a parallel fold operation as well as cooperative implementations of Linda blackboards and publish/subscribe are described.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01582990/document
%2 https://inria.hal.science/hal-01582990/file/978-3-642-21464-6_11_Chapter.pdf
%L hal-01582990
%U https://inria.hal.science/hal-01582990
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-6721