1. GDCC LANGUAGE AND SYSTEM 

Purposes of the system 

1) To provide a Highly Declarative Language based on Constraint Logic Pro-
   gramming Paradigms 
2) To provide a Powerful and Flexible Problem Solving Framework 
3) To provide an Efficient Problem Solving Framework by Employing Paral-
   lelism 

Problem Solving in Constraint Logic Programming 

Constraints are relations that hold in a problem. Problem solving using 
Constraint Logic Programming is different from that using conventional pro-
gramming languages: 

How to solve double right arrow What to solve
Features of GDCC 1) Two levels of parallelism To realize a flexible and efficient constraint logic programming language, GDCC employs two levels of parallelism: one is the parallelization of the language and the other is the parallelization of constraint solvers. 2) Multiple constraint solvers 1. Algebraic constraint solver 2. Rational/Integer linear constraint solver 3. Constraint solver for truth values - 102 -