Contents of Report


[Data of Report]

Report Number:
TR0750
Date of Registration:
1992.03
English Title:
Parallel Constraint Logic Programming Language GDCC and its Parallel Constraint Solvers
Japanese Title:
***
English Author:
S.Terasaki,David.J.Hawley,H.Sawada,K.Satoh,S.Menju,T.Kawaguchi,N.Iwayama,A.Aiba
Japanese:
***
Name of Organization to which author belongs:
IOCT,ICOT,ICOT,ICOT,ICOT,ICOT,ICOT,ICOT
PDF:
tr0750.pdf

[Contents]

Abstract.... 2
1Introduction.... 2
2Parallel CLP Language.... 3
2.1GDCC Language.... 3
2.2GDCC Sysytem.... 4
2.3Block.... 4
3Parallel Constraint Solvers.... 5
3.1Algebraic Solver.... 5
3.2Boolean Constraint Solver.... 10
3.3Integer Linear Constraint Solver.... 12
4GDCC Program Examples.... 15
5Conclusion.... 17
Acknowledgements.... 17
References.... 17
End.... 18


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

ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports