(88) Parallel Constraint Logic Programming System
			 : GDCC (KLIC version)



	Machine:     UNIX machine
	Environment: UNIX, KLIC
	Language:    KL1, C
	Source Code: 6 MB
	Documents:   Manual (English / Japanese )

Overview

GDCC (KLIC version) is a parallel constraint logic programming language, which is highly declarative, flexible and efficient, and can deal with various constraints including non-linear polynomial equations.

Features

Parallel constraint logic programming system GDCC has various constraint solver libraries and the language processor which translates GDCC programs to KL1. To provide a more flexible and efficient language, GDCC parallelizes both logic language and constraint solvers. This system enables you to describe what (declarative knowledge) without how (procedural knowledge).

Function

Various constraint solvers :
The GDCC system has two parallel constraint solevrs : (1) an algebraic constraint solver, (2) a boolean constraint solver. If you have to solve the other domain problem, you can construct the new constraint solver within the interface rules of GDCC.
Block:
The block is the meta control mechanism that will provide the following facilities : (1)to handle multiple environments, (2) to localize constraint failure, and (3)to specify a certain constraint set on evaluating a goal.
Two level parallelism :
GDCC provides a more flexible and efficient language by parallelizing both the logic language and constraint solvers.
Finding real roots :
GDCC provides a facility that computes the real roots of the univariate equations and returns all root combinations.

GDCC programs are translated to KL1 by the language processor of GDCC and then compiled and linked with the constraint solver library by C compiler. Therefore GDCC became more portable and efficient.

FTP

www-admin@icot.or.jp