BINDING TECHNIQUES AND GARBAGE COLLECTION FOR OR-PARALLEL CLP SYSTEMS

ElipSys is the first system combining in one environment OR-parallel execution facilities, advanced AND-execution paradigms such as coroutining and constraints satisfaction on finite domains and a complete garbage collector. This paper reports on the issues involved in combining these features into one system. A data structure called consecutively updatable field is depicted which fulfills the concomitant requirements of OR-parallelism, non left-to-right computation rules and garbage collection.