Parallel Constraint Logic Programming System
GDCC