Contents of Report

[Data of Report]

Report Number:: TR0713
Date of Registration:: 1991.11
English Title:: The Concurrent Constraint Language GDCC and Its Parallel Constraint Solver
Japanese Title:: ***
English Author:: David Hawley
Japanese:: ***
Name of Organization to which author belongs:: ICOT
PDF:: tr0713.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Constraints in Logic Programming	.... 3
3	GDCC	.... 5
4	Solving Rational Polyomial Constraints	.... 7
4.1	Parallel Constraints Solver	.... 8
4.2	Implementation and Results	.... 11
5	Conclusion	.... 13
6	Reference	.... 13
A	Source for Ellipse Example	.... 15
B	Result of Compiling Ellipse Example	.... 17
	End	.... 18

目次をクリックすると、PDFファイルが表示されます。