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 primi- tives 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” favor.
Read the rest of this entry »