Contents of Report

[Data of Report]

Report Number:: TR0364
Date of Registration:: 1988.04
English Title:: CAL;A Theoretical Background of Constraint Logic Programming and its Applications
Japanese Title:: ***
English Author:: K.Sakai,A.Aiba
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tr0364.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	CLP on Many Sorted Algebra	.... 3
3	Functional Interpretation of a Program	.... 4
4	Operational Interpretation of Programs	.... 6
5	Constraint Solving and Canonical Forms	.... 7
6	CAL(Contrainte avec Logique)	.... 7
6.1	Language and Domain	.... 8
6.2	Constraint Solver;Buchberger Algorithm and Grobner Bases	.... 8
6.3	Program Example	.... 9
7	Boolean CAL	.... 12
7.1	Language and Domain	.... 12
7.2	Blooean Grobner Bases	.... 12
8	Conclusion	.... 13
	References	.... 14
	End	.... 15

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