An execution scheme for interactive problem-solving in concurrent constraint logic programming languages