Contents of Report

[Data of Report]

Report Number:: TR0215
Date of Registration:: 1986.11
English Title:: ***
Japanese Title:: 自然言語処理のための単一化の拡張と遅延的実行制御
English Author:: K.Mukai
Japanese:: 向井　国昭
Name of Organization to which author belongs:: ICOT
PDF:: tr0215.pdf

[Contents]

	内容	.... 2
1	はじめに	.... 3
2	オブジェクトと制約	.... 3
3	ロジック・プログラミング	.... 3
4	部分的に指定された項	.... 5
5	単一化	.... 7
6	遅延的実行制御	.... 7
7	CIL の諸記法	.... 7
8	関連研究等	.... 8
9	おわりに	.... 8
	謝辞	.... 8
	参考文献	.... 8
付録1	CIL のプログラム例題	.... 10
付録2	部分的に指定された項の意味論	.... 16
付録3	遅延型論理演算に基づく制約型プログラミング	.... 34
	End	.... 37

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

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