Towards a high-level implementation of flexible parallelism primitives for symbolic languages

摘要: The advent of multicore processors is bringing renewed interest in parallelism and, accordingly, the development languages and tools to simplify task writing parallel programs. This especially important for complex, non-regular algorithms often found software which performs non-trivial symbolic tasks. Such can benefit from being written a high-level language whose nature as well, since this narrows gap between conceptual definition be performed code executes it. In our case we will use concreteness logic-based multiparadigm language, Ciao [1], based on logic-programming kernel flexible mechanism whereby multiple extensions are built supporting Prolog, functional programming, constraint other systemand user-level languages. base system features dynamic typing, higher-order capabilities, polymorphism, static type inference checking (also properties, such computational complexity). capabilities largely orthogonal parallelism; however, way expressed combines seamlessly with rest language. An advantage (and, general, declarative languages) that their clean semantics highlevel makes it possible perform automatic parallelization more easily [4, 2]. At same time, runtime