Contents of Report

[Data of Report]

Report Number:: TR0537
Date of Registration:: 1909.02
English Title:: CAL;A Theoretical Background of Constraint Logic Programming and its Applications(Revised)
Japanese Title:: ***
English Author:: K.Sakai,A.Aiba
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tr0537.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	.... 5
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	.... 11
7.1	Language and Domain	.... 12
7.2	Boolean Grobner Bases	.... 12
7.3	Program Example	.... 13
8	Conclusion	.... 13
	References	.... 14
	End	.... 15

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