Sciweavers

ICLP
1995
Springer

Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems

13 years 6 months ago
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to it. This approach is very attractive in that by adding a few primitives any logic programming system can be turned into a generic constraint logic programming system in which constraint solving can be user defined, and at source level – an extreme example of the “glass box” approach. In this paper we propose a different and novel use for the concept of attributed variables: developing a generic parallel/concurrent (constraint) logic programming system, using the same “glass box” flavor. We argue that a system which implements attributed variables and a few additional primitives can be easily customized at source level to implement many of the languages and execution models of parallelism and concurrency currently proposed, in both shared memory and distributed systems. We illustrate this through...
Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where ICLP
Authors Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro
Comments (0)