Concurrent_constraint_logic_programming loading ...