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:
- Problem solving using a conventional programming language
1. Problem analysis
2. Finding relationships between objects
3. Finding a solution method
4. Programming as a procedure to solve the problem
- Problem solving using a Constraint Logic Programming language
1. Problem analysis
2. Finding relationships between objects
3. Programming as a set of constraints that hold in the prob-
lem
How to solve 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 -