Contents of Report

[Data of Report]

Report Number:: TM0464
Date of Registration:: 1988.02
English Title:: ***
Japanese Title:: 制約論理プログラミングの理論と実例
English Author:: K.Sakai,R.Aiba
Japanese:: 坂井　公,相場　亮
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tm0464.pdf

[Contents]

	概要	.... 2
1	はじめに	.... 2
2	多ソート代数上のCLPとその論理的解釈	.... 3
3	プログラムの関数的解釈	.... 4
4	プログラムの操作的解釈	.... 5
5	制約的解釈と標準形	.... 6
6	CAL	.... 6
7	Boole式のためのCAL	.... 8
8	拡張の構想	.... 9
	参考文献	.... 9
	End	.... 10

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

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda