Contents of Report

[Data of Report]

1	序論	.... 7
2	論理型言語戸その処理方式	.... 13
2.1	言語の構造	.... 15
2.2	ユニフィケーション	.... 20
2.3	バックトラック	.... 34
2.4	基本的な最適化	.... 43
2.5	ESP/KL0	.... 49
2.6	KL1	.... 51
3	推論マシンのアーキテクチャ	.... 53
3.1	インタプリタ方式による逐次型推論マシン(PSI-I)	.... 57
3.2	コンパイル方式による逐次型推論マシン(PSI-II)	.... 85
3.3	パイプライン方式による逐次型推論マシン(PSI-III)	.... 125
3.4	並列推論マシン	.... 151
4	最適化手法	.... 157
4.1	組込述語の最適化	.... 159
4.2	バックトラックの最適化	.... 165
4.3	例外処理の最適化	.... 181
5	評価	.... 189
5.1	実行速度	.... 190
5.2	最適化の効果	.... 206
5.3	メモリ・アクセスの特性	.... 213
6	結論	.... 225
7	謝辞	.... 229
8	発表論文一覧	.... 231
	参考文献	.... 233
付録A	ESP/KL0	.... 243
付録B	KL1	.... 270
付録C	WAM命令一覧	.... 284
付録D	WAMの実行例	.... 292
	End	.... 310

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