Contents of Report

[Data of Report]

	はじめに	.... 3
	処理コストの基準について	.... 5
1	unificationについて	.... 7
2	組み込み述語関係	.... 9
3	ゴールのサスペンド	.... 11
4	種々のサイズの影響	.... 13
5	priorityの使用によるもの	.... 15
6	ゴール,データのPE間の受け渡し	.... 17
7	MRB(Multiple Reference Bit)について	.... 25
8	マージャについて	.... 27
9	その他	.... 29
	参考文献	.... 29
	End	.... 30

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